Lines Matching refs:output
19 parser.add_option("-o", "--output", dest="output",
20 help="output file", metavar="FILE")
45 if options.output == None:
46 parser.error("Require an output filename.")
53 output_dir = os.path.dirname(options.output)
56 with open(options.output, "w") as output:
63 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(" directories\n")
86 output.write(" \"%s\"\n" % i)
88 output.write(" theories [quick_and_dirty]\n")
90 output.write(" theories\n")
95 output.write(" \"%s\"\n" % thy)