Skip to content

Instantly share code, notes, and snippets.

@brousch
Last active May 27, 2024 01:08
Show Gist options
  • Save brousch/56925ad41056f204f74e to your computer and use it in GitHub Desktop.
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
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