"and use partially qualified names that differ depending " + "on which files have been Required, not absolutizing constants " + "may cause name resolution to fail.")) parser.add_argument('--coqbin', metavar='COQBIN', dest='coqbin', type=str, default='', help='The path to a folder containing the coqc and coqtop programs.') parser.add_argument('--coqc', metavar='COQC', dest='coqc', type=str, default='coqc', help='The path to the coqc program.') parser.add_argument('--coqtop', metavar='COQTOP', dest='coqtop', type=str, default=DEFAULT_COQTOP, help=('The path to the coqtop program (default: %s).' % DEFAULT_COQTOP)) parser.add_argument('--coqc-args', metavar='ARG', dest='coqc_args', type=str, nargs='?', help='Arguments to pass to coqc; e.g., " -indices-matter" (leading and trailing spaces are stripped)') parser.add_argument('--coqtop-args', metavar='ARG', dest='coqtop_args', type=str, nargs='?', help='Arguments to pass to coqtop; e.g., " -indices-matter" (leading and trailing spaces are stripped)') parser.add_argument('--coq_makefile', metavar='COQ_MAKEFILE', dest='coq_makefile', type=str, default='coq_makefile', help='The path to the coq_makefile program.') add_libname_arguments(parser) add_logging_arguments(parser) if __name__ == '__main__': args = process_logging_arguments(parser.parse_args()) env = { 'verbose': args.verbose, 'log': args.log, 'coqc': (args.coqc if args.coqbin == '' else os.path.join(args.coqbin, args.coqc)), 'absolutize': args.absolutize, 'as_modules': args.wrap_modules, 'fast': args.fast_merge_imports, 'coq_makefile': args.coq_makefile, 'walk_tree': args.walk_tree }
parser.add_argument( '--coqtop-args', metavar='ARG', dest='coqtop_args', type=str, nargs='?', help= 'Arguments to pass to coqtop; e.g., " -indices-matter" (leading and trailing spaces are stripped)' ) parser.add_argument('--coq_makefile', metavar='COQ_MAKEFILE', dest='coq_makefile', type=str, default='coq_makefile', help='The path to the coq_makefile program.') add_libname_arguments(parser) def make_logger(log_files): def log(text): for i in log_files: i.write(str(text) + '\n') i.flush() if i.fileno() > 2: # stderr os.fsync(i.fileno()) return log DEFAULT_VERBOSITY = 1