Skip to content

Instantly share code, notes, and snippets.

@brousch

brousch/make.bat

Last active September 10, 2015 14:59
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save brousch/56925ad41056f204f74e to your computer and use it in GitHub Desktop.
Save brousch/56925ad41056f204f74e to your computer and use it in GitHub Desktop.
Download ZIP
A Windows batch file to install GNU Make into the current dir and/or run Make once it's installed
Raw
make.bat
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 %*
@brousch
Copy link
Author

brousch commented Sep 10, 2015

This script has it all folks: a Windows batch file, downloading unknown binaries from Sourceforge, GOTO statements. What's not to love?

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment