equal
deleted
inserted
replaced
136 |
136 |
137 ex: $(BIN)/HOL $(EX_FILES) |
137 ex: $(BIN)/HOL $(EX_FILES) |
138 echo 'exit_use"ex/ROOT.ML";quit();' | $(LOGIC) |
138 echo 'exit_use"ex/ROOT.ML";quit();' | $(LOGIC) |
139 |
139 |
140 #Full test. (IOA has been removed temporarily) |
140 #Full test. (IOA has been removed temporarily) |
141 test: $(BIN)/HOL IMP Integ Subst Lambda MiniML ex |
141 test: $(BIN)/HOL IMP Integ Subst Lambda MiniML IOA ex |
142 echo 'Test examples ran successfully' > test |
142 echo 'Test examples ran successfully' > test |
143 |
143 |
144 .PRECIOUS: $(BIN)/Pure $(BIN)/HOL |
144 .PRECIOUS: $(BIN)/Pure $(BIN)/HOL |