xcoding-to-test.sh
author Walther Neuper <walther.neuper@jku.at>
Fri, 12 Mar 2021 15:22:39 +0100
changeset 60173 c2cc411ddc5f
parent 59320 4549c6062b30
permissions -rwxr-xr-x
Isabelle2020->21: declare "thy_load (isac_example)" to Scala, partially

would involve IntelliJ IDEA;
see https://lists.cam.ac.uk/pipermail/cl-isabelle-users/2021-March/msg00047.html
wneuper@59295
     1
# switches isac from coding-mode to test-mode:
wneuper@59295
     2
# this makes additional functions in signatures visible for tests.
wneuper@59295
     3
wneuper@59295
     4
cd src/Tools/isac
wneuper@59295
     5
find . -type f -exec sed -i s/'--- ! aktivate for Test_Isac BEGIN ---\\\* )'/'--- ! aktivate for Test_Isac BEGIN ---\\\*)'/g {} \;
wneuper@59295
     6
find . -type f -exec sed -i s/'( \*\\--- ! aktivate for Test_Isac END ---'/'(\*\\--- ! aktivate for Test_Isac END ---'/g {} \;
wneuper@59320
     7
cd ../../../  # go back to ~~/.