ofile = args.output_file + "/" + ofile else: ofile = args.output_file output_files = [ofile] + output_files iparser = instalparser.makeInstalParser() instal_compile_file(args, mode, ifile, ofile, iparser) if mode == "composite": all_lists[iparser.names["institution"]] = [ iparser.exevents, iparser.inevents, iparser.vievents, iparser.fluents, iparser.obligation_fluents, iparser.noninertial_fluents, ] iparser.instal_input.close() if args.bridge_file: ofile = os.path.basename(args.bridge_file) ofile = ofile.replace(".ial", ".lp") ofile = args.output_file + "/" + ofile output_files = [ofile] + output_files bparser = bridgeparser.makeInstalParser() bparser.all_lists = all_lists instal_compile_file(args, "composite", args.bridge_file, ofile, bparser) return output_files if __name__ == "__main__": args, _ = getargs() instal_compile(args)