Files
MP-SPDZ/Scripts/compile-run.py
Marcel Keller 6cc3fccef0 Maintenance.
2023-05-09 14:50:53 +10:00

24 lines
531 B
Python
Executable File

#!/usr/bin/env python3
import os, sys
sys.path.insert(0, os.path.dirname(sys.argv[0]) + '/..')
from Compiler.compilerLib import Compiler
try:
split = sys.argv.index('--')
except ValueError:
split = len(sys.argv)
compiler_args = sys.argv[1:split]
runtime_args = sys.argv[split + 1:]
compiler = Compiler(execute=True, custom_args=compiler_args)
compiler.prep_compile()
prog = compiler.compile_file()
if prog.options.hostfile:
compiler.remote_execution(runtime_args)
else:
compiler.local_execution(runtime_args)