src/HOL/Predicate_Compile_Examples/ROOT.ML
author bulwahn
Tue, 03 Aug 2010 08:23:08 +0200 (2010-08-03)
changeset 38132 d9955b3b06fe
parent 38117 5ae05823cfd9
child 38730 5bbdd9a9df62
permissions -rw-r--r--
only test prolog code examples if environment variable is set
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
36033
7106f079bd05 adding specialisation examples of the predicate compiler
bulwahn
parents: 35955
diff changeset
     1
use_thys ["Predicate_Compile_Examples", "Predicate_Compile_Quickcheck_Examples", "Specialisation_Examples"];
38132
d9955b3b06fe only test prolog code examples if environment variable is set
bulwahn
parents: 38117
diff changeset
     2
if getenv "PROLOG_HOME" = "" then () else use_thys ["Code_Prolog_Examples"];