equal
deleted
inserted
replaced
16 ex/ILL/ILL_kleene_lemmas.ML \ |
16 ex/ILL/ILL_kleene_lemmas.ML \ |
17 $(ILL_NAMES:%=ex/ILL/%.thy) $(ILL_NAMES:%=ex/ILL/%.ML) |
17 $(ILL_NAMES:%=ex/ILL/%.thy) $(ILL_NAMES:%=ex/ILL/%.ML) |
18 |
18 |
19 $(OUT)/Sequents: $(OUT)/Pure $(FILES) |
19 $(OUT)/Sequents: $(OUT)/Pure $(FILES) |
20 @$(ISATOOL) usedir -b $(OUT)/Pure Sequents |
20 @$(ISATOOL) usedir -b $(OUT)/Pure Sequents |
21 @chmod -w $@ |
|
22 |
21 |
23 $(OUT)/Pure: |
22 $(OUT)/Pure: |
24 @cd ../Pure; $(ISATOOL) make |
23 @cd ../Pure; $(ISATOOL) make |
25 |
24 |
26 test: $(OUT)/Sequents $(EX_FILES) |
25 test: $(OUT)/Sequents $(EX_FILES) |