backend/tools/build

40 lines
678 B
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(
"--output-directory",
"-o",
type = str,
default = "build",
help = "output directory",
)
argument_parser.add_argument(
"--tests",
"-t",
action = "store_true",
default = False,
help = "whether to also build the test routines",
)
args = argument_parser.parse_args()
## exec
targets = []
targets.append("main")
if args.tests:
targets.append("test")
_os.system(
"make dir_build=%s --file=tools/makefile %s"
% (
args.output_directory,
" ".join(targets),
)
)
main()