infra-praesi/tools/build
2024-07-12 11:19:40 +02:00

56 lines
1.1 KiB
Python
Executable file

#!/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 = "<output-directory>",
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()