A Makefile to Batch converter.
Makefile to Batch
This is a simple tool to convert a GNU Makefile into a Windows Batch file.
Install the tool by using PyPI using the following command:
pip install make-to-batch
You can also install by downloading the source code:
cd path/to/source/ python setup.py install
The tool provides only a command,
make-to-batch, that converts a Makefile in
the current directory to a batch file in the same directory. The tool behaviour
can be customized using some options: here is the help of the tool.
$ make-to-batch -h usage: make-to-batch [-h] [-v] [-i INPUT] [-o OUTPUT] Convert a Makefile to a Batch (Windows) file. optional arguments: -h, --help show this help message and exit -v, --version show program's version number and exit -i INPUT, --input INPUT set the makefile to be converted. Defaults is './Makefile' -o OUTPUT, --output OUTPUT set he name of the output batch file. Defaults is './make.bat'
For more information on how to contribute, go to the file CONTRIBUTING.md
Download the file for your platform. If you're not sure which to choose, learn more about installing packages.
|Filename, size||File type||Python version||Upload date||Hashes|
|Filename, size make-to-batch-0.2.0.tar.gz (6.3 kB)||File type Source||Python version None||Upload date||Hashes View hashes|