ivaldi/tools/build

#!/usr/bin/env python3

import os as _os
import argparse as _argparse


def main():
	argument_parser = _argparse.ArgumentParser(
	)
	argument_parser.add_argument(
		"-o",
		"--output-directory",
		type = str,
		default = "/tmp/ivaldi",
		metavar = "<output-directory>",
	)
	args = argument_parser.parse_args()
	
	if True:
		_os.system(
			"make dir_build=%s --file=tools/makefile"
			% (
				args.output_directory
			)
		)
	

main()