backend/tools/build

41 lines
678 B
Text
Raw Normal View History

2024-05-12 11:30:43 +02:00
#!/usr/bin/env python3
2024-05-10 19:40:02 +02:00
2024-05-12 11:30:43 +02:00
import os as _os
import argparse as _argparse
2024-05-10 19:40:02 +02:00
2024-05-12 11:30:43 +02:00
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),
)
)
2024-04-22 10:02:34 +02:00
2024-05-12 11:30:43 +02:00
main()