This shows you the differences between two versions of the page.
| Both sides previous revisionPrevious revisionNext revision | Previous revision | ||
| build [2025/05/31 19:38] – [3. Create a Makefile] admin | build [2025/07/29 17:34] (current) – admin | ||
|---|---|---|---|
| Line 12: | Line 12: | ||
| === When does it run? === | === When does it run? === | ||
| - | This build process runs automatically **after a successful push** from //Git Winch//. The `build.bat` file in the repository is triggered and can invoke GNU Make to execute post-push file actions. | + | This build process runs automatically **after a successful push** from //Git Winch//. The `build.bat` file in the repository is triggered and can invoke GNU Make to execute post-push file actions. |
| + | |||
| + | **Caution**\\ | ||
| + | If you have an anti-virus installed, make sure that it allows the execution of the `build.bat` file. | ||
| === How does it work? === | === How does it work? === | ||
| Line 18: | Line 21: | ||
| ==== 0. Prerequisite: | ==== 0. Prerequisite: | ||
| - | - Download `make.exe` (Windows 32-bit) from a trusted GNU source.\\ | + | - Download `make.exe` (Windows 32-bit) from https:// |
| - Place it in `C: | - Place it in `C: | ||
| - Add this path to your **System PATH environment variable** so `make` can be used globally. | - Add this path to your **System PATH environment variable** so `make` can be used globally. | ||