Lines Matching refs:output
23 parser.add_option("-o", "--output", dest="output",
24 help="output file", metavar="FILE")
46 if options.output == None:
47 parser.error("Require an output filename.")
54 output_dir = os.path.dirname(options.output)
57 with open(options.output, "w") as output:
64 session_name = os.path.splitext(os.path.basename(options.output))[0]
66 return os.path.splitext(os.path.relpath(file, os.path.dirname(options.output)))[0]
69 output.write("theory %s imports\n" % session_name)
72 output.write(" \"%s\"\n" % import_name(i))
73 output.write("begin\n")
74 output.write("\n")
75 output.write("end\n")
78 output.write("session \"%s\" = \"%s\" +\n" % (options.session_name, options.base_session))
80 output.write(" sessions\n")
82 output.write(" \"%s\"\n" % i)
84 output.write(" theories [quick_and_dirty]\n")
86 output.write(" theories\n")
91 output.write(" \"%s\"\n" % thy)