Last active
May 27, 2024 01:08
-
-
Save brousch/56925ad41056f204f74e to your computer and use it in GitHub Desktop.
A Windows batch file to install GNU Make into the current dir and/or run Make once it's installed
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| IF EXIST %~dp0\make\bin\make.exe (GOTO makeinstalled) ELSE (GOTO installmake) | |
| :installmake | |
| bitsadmin.exe /transfer GetGNUMakeBinaries http://downloads.sourceforge.net/project/gnuwin32/make/3.81/make-3.81-bin.zip %~dp0\makebins.zip | |
| unzip makebins.zip -d make | |
| del makebins.zip | |
| bitsadmin.exe /transfer GetGNUMakeDependencies http://downloads.sourceforge.net/project/gnuwin32/make/3.81/make-3.81-dep.zip %~dp0\makedeps.zip | |
| unzip makedeps.zip -d make | |
| del makedeps.zip | |
| :makeinstalled | |
| %~dp0\make\bin\make.exe %* |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
This script has it all folks: a Windows batch file, downloading unknown binaries from Sourceforge, GOTO statements. What's not to love?