#!/usr/bin/env python3 import os as _os import argparse as _argparse def main(): ## args argument_parser = _argparse.ArgumentParser( ) argument_parser.add_argument( "-c", "--clear", action = "store_true", dest = "clear", default = False ) argument_parser.add_argument( "-r", "--include-resources", action = "store_true", dest = "include_resources", default = False, ) argument_parser.add_argument( "-v", "--verbose", action = "store_true", dest = "verbose", default = False, ) argument_parser.add_argument( "-o", "--output-directory", type = str, dest = "output_directory", metavar = "", default = "build" ) args = argument_parser.parse_args() ## exec make_args = [] make_args.append("dir_build=%s" % args.output_directory) if args.include_resources: make_args.append("coin_args='-r'") if not args.verbose: make_args.append("latex_args='-interaction batchmode'") if args.clear: make_args.append("clear") make_args.append("all") _os.system("make -f tools/makefile %s" % " ".join(make_args)) main()