author | wenzelm |
Wed, 22 Sep 2010 18:21:48 +0200 | |
changeset 39616 | 8052101883c3 |
parent 39544 | 3a07bbc264b2 |
child 39655 | 8ad7fe9d6f0b |
permissions | -rw-r--r-- |
39616
8052101883c3
renamed setmp_noncritical to Unsynchronized.setmp to emphasize its meaning;
wenzelm
parents:
39544
diff
changeset
|
1 |
use_thys [ |
8052101883c3
renamed setmp_noncritical to Unsynchronized.setmp to emphasize its meaning;
wenzelm
parents:
39544
diff
changeset
|
2 |
"Predicate_Compile_Examples", |
8052101883c3
renamed setmp_noncritical to Unsynchronized.setmp to emphasize its meaning;
wenzelm
parents:
39544
diff
changeset
|
3 |
"Predicate_Compile_Quickcheck_Examples", |
8052101883c3
renamed setmp_noncritical to Unsynchronized.setmp to emphasize its meaning;
wenzelm
parents:
39544
diff
changeset
|
4 |
"Specialisation_Examples", |
8052101883c3
renamed setmp_noncritical to Unsynchronized.setmp to emphasize its meaning;
wenzelm
parents:
39544
diff
changeset
|
5 |
"IMP_1", |
8052101883c3
renamed setmp_noncritical to Unsynchronized.setmp to emphasize its meaning;
wenzelm
parents:
39544
diff
changeset
|
6 |
"IMP_2", |
8052101883c3
renamed setmp_noncritical to Unsynchronized.setmp to emphasize its meaning;
wenzelm
parents:
39544
diff
changeset
|
7 |
"IMP_3", |
8052101883c3
renamed setmp_noncritical to Unsynchronized.setmp to emphasize its meaning;
wenzelm
parents:
39544
diff
changeset
|
8 |
"IMP_4"]; |
8052101883c3
renamed setmp_noncritical to Unsynchronized.setmp to emphasize its meaning;
wenzelm
parents:
39544
diff
changeset
|
9 |
|
39544
3a07bbc264b2
replacing temporary hack by checking for environment settings of the component
bulwahn
parents:
39225
diff
changeset
|
10 |
if getenv "EXEC_SWIPL" = "" andalso getenv "EXEC_YAP" = "" then |
39616
8052101883c3
renamed setmp_noncritical to Unsynchronized.setmp to emphasize its meaning;
wenzelm
parents:
39544
diff
changeset
|
11 |
(warning "No prolog system found - skipping some example theories"; ()) |
39544
3a07bbc264b2
replacing temporary hack by checking for environment settings of the component
bulwahn
parents:
39225
diff
changeset
|
12 |
else |
39616
8052101883c3
renamed setmp_noncritical to Unsynchronized.setmp to emphasize its meaning;
wenzelm
parents:
39544
diff
changeset
|
13 |
(use_thys [ |
8052101883c3
renamed setmp_noncritical to Unsynchronized.setmp to emphasize its meaning;
wenzelm
parents:
39544
diff
changeset
|
14 |
"Code_Prolog_Examples", |
8052101883c3
renamed setmp_noncritical to Unsynchronized.setmp to emphasize its meaning;
wenzelm
parents:
39544
diff
changeset
|
15 |
"Context_Free_Grammar_Example", |
8052101883c3
renamed setmp_noncritical to Unsynchronized.setmp to emphasize its meaning;
wenzelm
parents:
39544
diff
changeset
|
16 |
"Hotel_Example", |
8052101883c3
renamed setmp_noncritical to Unsynchronized.setmp to emphasize its meaning;
wenzelm
parents:
39544
diff
changeset
|
17 |
"Lambda_Example", |
8052101883c3
renamed setmp_noncritical to Unsynchronized.setmp to emphasize its meaning;
wenzelm
parents:
39544
diff
changeset
|
18 |
"List_Examples"]; |
8052101883c3
renamed setmp_noncritical to Unsynchronized.setmp to emphasize its meaning;
wenzelm
parents:
39544
diff
changeset
|
19 |
Unsynchronized.setmp quick_and_dirty true use_thys ["Reg_Exp_Example"]); |
8052101883c3
renamed setmp_noncritical to Unsynchronized.setmp to emphasize its meaning;
wenzelm
parents:
39544
diff
changeset
|
20 |