Makefile to Batch

This is a simple tool to convert a GNU Makefile into a Windows Batch file.

Usage

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'

Contributing

For more information on how to contribute, go to the file CONTRIBUTING.md