def main(args): logging.basicConfig(level=logging.INFO) parser = argparse.ArgumentParser(description=__doc__) parser.add_argument("api_files", nargs="+") parser.add_argument("--z3py-output-dir", dest="z3py_output_dir", default=None) parser.add_argument("--dotnet-output-dir", dest="dotnet_output_dir", default=None) pargs = parser.parse_args(args) if not mk_genfile_common.check_files_exist(pargs.api_files): logging.error('One or more API files do not exist') return 1 count = 0 if pargs.z3py_output_dir: if not mk_genfile_common.check_dir_exists(pargs.z3py_output_dir): return 1 output = mk_genfile_common.mk_z3consts_py_internal(pargs.api_files, pargs.z3py_output_dir) logging.info('Generated "{}"'.format(output)) count += 1 if pargs.dotnet_output_dir: if not mk_genfile_common.check_dir_exists(pargs.dotnet_output_dir): return 1 output = mk_genfile_common.mk_z3consts_dotnet_internal( pargs.api_files, pargs.dotnet_output_dir) logging.info('Generated "{}"'.format(output)) count += 1 if count == 0: logging.info('No files generated. You need to specific an output directory' ' for the relevant langauge bindings') # TODO: Add support for other bindings return 0
def main(args): logging.basicConfig(level=logging.INFO) parser = argparse.ArgumentParser(description=__doc__) parser.add_argument("api_files", nargs="+") parser.add_argument("--z3py-output-dir", dest="z3py_output_dir", default=None) parser.add_argument("--dotnet-output-dir", dest="dotnet_output_dir", default=None) parser.add_argument("--java-output-dir", dest="java_output_dir", default=None) parser.add_argument( "--java-package-name", dest="java_package_name", default=None, help="Name to give the Java package (e.g. ``com.microsoft.z3``).") pargs = parser.parse_args(args) if not mk_genfile_common.check_files_exist(pargs.api_files): logging.error('One or more API files do not exist') return 1 count = 0 if pargs.z3py_output_dir: if not mk_genfile_common.check_dir_exists(pargs.z3py_output_dir): return 1 output = mk_genfile_common.mk_z3consts_py_internal( pargs.api_files, pargs.z3py_output_dir) logging.info('Generated "{}"'.format(output)) count += 1 if pargs.dotnet_output_dir: if not mk_genfile_common.check_dir_exists(pargs.dotnet_output_dir): return 1 output = mk_genfile_common.mk_z3consts_dotnet_internal( pargs.api_files, pargs.dotnet_output_dir) logging.info('Generated "{}"'.format(output)) count += 1 if pargs.java_output_dir: if pargs.java_package_name == None: logging.error('Java package name must be specified') return 1 if not mk_genfile_common.check_dir_exists(pargs.java_output_dir): return 1 outputs = mk_genfile_common.mk_z3consts_java_internal( pargs.api_files, pargs.java_package_name, pargs.java_output_dir) for generated_file in outputs: logging.info('Generated "{}"'.format(generated_file)) count += 1 if count == 0: logging.info( 'No files generated. You need to specific an output directory' ' for the relevant langauge bindings') # TODO: Add support for other bindings return 0
def main(args): logging.basicConfig(level=logging.INFO) parser = argparse.ArgumentParser(description=__doc__) parser.add_argument("api_files", nargs="+") parser.add_argument("--z3py-output-dir", dest="z3py_output_dir", default=None) parser.add_argument("--dotnet-output-dir", dest="dotnet_output_dir", default=None) parser.add_argument("--java-output-dir", dest="java_output_dir", default=None) parser.add_argument("--java-package-name", dest="java_package_name", default=None, help="Name to give the Java package (e.g. ``com.microsoft.z3``).") pargs = parser.parse_args(args) if not mk_genfile_common.check_files_exist(pargs.api_files): logging.error('One or more API files do not exist') return 1 count = 0 if pargs.z3py_output_dir: if not mk_genfile_common.check_dir_exists(pargs.z3py_output_dir): return 1 output = mk_genfile_common.mk_z3consts_py_internal(pargs.api_files, pargs.z3py_output_dir) logging.info('Generated "{}"'.format(output)) count += 1 if pargs.dotnet_output_dir: if not mk_genfile_common.check_dir_exists(pargs.dotnet_output_dir): return 1 output = mk_genfile_common.mk_z3consts_dotnet_internal( pargs.api_files, pargs.dotnet_output_dir) logging.info('Generated "{}"'.format(output)) count += 1 if pargs.java_output_dir: if pargs.java_package_name == None: logging.error('Java package name must be specified') return 1 if not mk_genfile_common.check_dir_exists(pargs.java_output_dir): return 1 outputs = mk_genfile_common.mk_z3consts_java_internal( pargs.api_files, pargs.java_package_name, pargs.java_output_dir) for generated_file in outputs: logging.info('Generated "{}"'.format(generated_file)) count += 1 if count == 0: logging.info('No files generated. You need to specific an output directory' ' for the relevant langauge bindings') # TODO: Add support for other bindings return 0
def main(args): logging.basicConfig(level=logging.INFO) parser = argparse.ArgumentParser(description=__doc__) parser.add_argument("destination_dir", help="destination directory") parser.add_argument("deps", help="file with header file names to parse") pargs = parser.parse_args(args) if not mk_genfile_common.check_dir_exists(pargs.destination_dir): return 1 if not mk_genfile_common.check_files_exist([pargs.deps]): return 1 with open(pargs.deps, 'r') as f: lines = f.read().split('\n') h_files_full_path = [os.path.abspath(header_file) for header_file in lines if header_file] if not mk_genfile_common.check_files_exist(h_files_full_path): return 1 output = mk_genfile_common.mk_install_tactic_cpp_internal( h_files_full_path, pargs.destination_dir ) logging.info('Generated "{}"'.format(output)) return 0
def main(args): logging.basicConfig(level=logging.INFO) parser = argparse.ArgumentParser(description=__doc__) parser.add_argument("api_files", nargs="+") parser.add_argument("--z3py-output-dir", dest="z3py_output_dir", default=None) pargs = parser.parse_args(args) if not mk_genfile_common.check_files_exist(pargs.api_files): logging.error('One or more API files do not exist') return 1 count = 0 if pargs.z3py_output_dir: if not mk_genfile_common.check_dir_exists(pargs.z3py_output_dir): return 1 output = mk_genfile_common.mk_z3consts_py_internal(pargs.api_files, pargs.z3py_output_dir) logging.info('Generated "{}"'.format(output)) count += 1 if count == 0: logging.info('No files generated. You need to specific an output directory' ' for the relevant langauge bindings') # TODO: Add support for other bindings return 0
def main(args): logging.basicConfig(level=logging.INFO) parser = argparse.ArgumentParser(description=__doc__) parser.add_argument("destination_dir", help="destination directory") parser.add_argument("source_dirs", nargs="+", help="One or more source directories to search") pargs = parser.parse_args(args) if not mk_genfile_common.check_dir_exists(pargs.destination_dir): return 1 for source_dir in pargs.source_dirs: if not mk_genfile_common.check_dir_exists(source_dir): return 1 output = mk_genfile_common.mk_gparams_register_modules_internal( pargs.source_dirs, pargs.destination_dir) logging.info('Generated "{}"'.format(output)) return 0
def main(args): logging.basicConfig(level=logging.INFO) parser = argparse.ArgumentParser(description=__doc__) parser.add_argument("destination_dir", help="destination directory") parser.add_argument("source_dirs", nargs="+", help="One or more source directories to search") pargs = parser.parse_args(args) if not mk_genfile_common.check_dir_exists(pargs.destination_dir): return 1 for source_dir in pargs.source_dirs: if not mk_genfile_common.check_dir_exists(source_dir): return 1 output = mk_genfile_common.mk_install_tactic_cpp_internal( pargs.source_dirs, pargs.destination_dir ) logging.info('Generated "{}"'.format(output)) return 0
def main(args): logging.basicConfig(level=logging.INFO) parser = argparse.ArgumentParser(description=__doc__) parser.add_argument("destination_dir", help="destination directory") parser.add_argument("header_files", nargs="+", help="One or more header files to parse") pargs = parser.parse_args(args) if not mk_genfile_common.check_dir_exists(pargs.destination_dir): return 1 h_files_full_path = [] for header_file in pargs.header_files: h_files_full_path.append(os.path.abspath(header_file)) output = mk_genfile_common.mk_mem_initializer_cpp_internal( h_files_full_path, pargs.destination_dir) logging.info('Generated "{}"'.format(output)) return 0
def main(args): logging.basicConfig(level=logging.INFO) parser = argparse.ArgumentParser(description=__doc__) parser.add_argument("pyg_file", help="pyg file") parser.add_argument("destination_dir", help="destination directory") pargs = parser.parse_args(args) if not os.path.exists(pargs.pyg_file): logging.error('"{}" does not exist'.format(pargs.pyg_file)) return 1 if not mk_genfile_common.check_dir_exists(pargs.destination_dir): return 1 pyg_full_path = os.path.abspath(pargs.pyg_file) destination_dir_full_path = os.path.abspath(pargs.destination_dir) logging.info('Using {}'.format(pyg_full_path)) output = mk_genfile_common.mk_hpp_from_pyg(pyg_full_path, destination_dir_full_path) logging.info('Generated "{}"'.format(output)) return 0
def main(args): logging.basicConfig(level=logging.INFO) parser = argparse.ArgumentParser(description=__doc__) parser.add_argument("destination_dir", help="destination directory") parser.add_argument("header_files", nargs="+", help="One or more header files to parse") pargs = parser.parse_args(args) if not mk_genfile_common.check_dir_exists(pargs.destination_dir): return 1 h_files_full_path = [] for header_file in pargs.header_files: h_files_full_path.append(os.path.abspath(header_file)) output = mk_genfile_common.mk_mem_initializer_cpp_internal( h_files_full_path, pargs.destination_dir ) logging.info('Generated "{}"'.format(output)) return 0