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

Merge branch 'umm_types_relative'

This commit is contained in:
Achim D. Brucker 2024-01-22 11:12:14 +00:00
parent 582d7750e8 76dbb29e7e
commit b61b2c370a
1 changed files with 5 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
tools/c-parser/calculate_state.ML
View File

@ -480,8 +480,12 @@ fun mk_thy_types cse install thy = let
val thy = List.foldl rcddecls_phase0 thy sorted_structs
val abs_outfilnameN = (if Path.is_absolute (Path.explode outfilnameN)
then outfilnameN
else (Path.implode o Path.expand)
(Path.append (Resources.master_directory thy) (Path.explode outfilnameN)))
(* Yuck, sorry *)
val _ = gen_umm_types_file cse outfilnameN
val _ = gen_umm_types_file cse abs_outfilnameN
val arrays = List.filter (fn (_, sz) => sz <> 0)
(Binaryset.listItems (get_array_mentions cse))