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

Compare commits

base: adbrucker:11a4043cf779c6964c9f6a39af70e3f82571a4d6
Branches Tags
adbrucker:master
adbrucker:autogenerated_parser
adbrucker:cpp_wrapper
adbrucker:renaming_Word_Lib
adbrucker:cpp_path_relative
adbrucker:isabelle2023
adbrucker:umm_types_relative
...
compare: adbrucker:a66eb63f32ce90946cd4291d45a10fcfff0ebb8a
Branches Tags
adbrucker:master
adbrucker:autogenerated_parser
adbrucker:cpp_wrapper
adbrucker:renaming_Word_Lib
adbrucker:cpp_path_relative
adbrucker:isabelle2023
adbrucker:umm_types_relative

3 Commits
11a4043cf7 ... a66eb63f32

Author SHA1 Message Date
Achim D. Brucker a66eb63f32 Added description of branch cpp_wrapper. 2023-09-26 06:10:58 +01:00
Achim D. Brucker f18f610be8 Merge branch 'cpp_wrapper' 2023-09-26 06:07:36 +01:00
Achim D. Brucker 3ee2f3e284 Added OS check to allow use of script on all supported operating systems. 2023-09-26 06:06:52 +01:00
2 changed files with 11 additions and 1 deletions
Show Stats Expand all files Collapse all files

6
README.md
View File

@ -25,3 +25,9 @@ AutoCorres with the AFP being registered as an Isabelle component.
## Branch "isabelle2023"
This branch provides a port of AutoCorres (and AutoCorres only) to Isabelle 2023.
## Branch "cpp_wrapper"
This branch adds an OS check to the cpp-wrapper script. This allows using the cpp wrapper
on all supported operating systems, allowing a uniform ``declare [[cpp_path = "..."]]``
across all supported operating systems.

6
misc/scripts/cpp
View File

@ -10,4 +10,8 @@
#
export L4CPP="-DTARGET=ARM -DTARGET_ARM -DPLATFORM=Sabre -DPLATFORM_Sabre"
llvm-gcc -Wno-invalid-pp-token -E -x c $@
if [[ "$OSTYPE" == "darwin"* ]]; then
llvm-gcc -Wno-invalid-pp-token -E -x c $@
else
cpp -Wno-invalid-pp-token -E -x c $@
fi