make-to-batch 0.1.1

A Makefile to Batch converter.

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] [-i INPUT] [-o OUTPUT]

Convert a Makefile to a Batch (Windows) file.

optional arguments:
  -h, --help            show this help message and exit
  -i INPUT, --input INPUT
                        The makefile to be converted. Defaults to './Makefile'
  -o OUTPUT, --output OUTPUT
                        The name of the output batch file. Defaults to
                        './make.bat'