adbrucker
/
lh-l4v
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

gen_isabelle_root: add option for session dirs 

Signed-off-by: Gerwin Klein <gerwin.klein@data61.csiro.au>
This commit is contained in:
Gerwin Klein 2020-03-21 15:59:22 +08:00 committed by Gerwin Klein
parent 3076f7ffcf
commit f15fbf1e4b
1 changed files with 7 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
misc/scripts/gen_isabelle_root.py
View File

@ -34,6 +34,9 @@ parser.add_option("-q", "--quick-and-dirty", dest="quick_and_dirty",
parser.add_option("-T", "--generate-theory", dest="theory_file",
action="store_true", default=False,
help="Generate a theory file instead of a ROOT file.")
parser.add_option("--dir", dest="dirs",
help="additional session directory", action="append",
default=[], metavar="NAME")
(options, args) = parser.parse_args()
# Check arguments
@ -77,6 +80,10 @@ with open(options.output, "w") as output:
output.write(" sessions\n")
for i in options.session_dependencies:
output.write(" \"%s\"\n" % i)
if options.dirs:
output.write(" directories\n")
for i in options.dirs:
output.write(" \"%s\"\n" % i)
if options.quick_and_dirty:
output.write(" theories [quick_and_dirty]\n")
else: