"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
