diff options
Diffstat (limited to 'src/versions/native/Make')
| -rw-r--r-- | src/versions/native/Make | 7 |
1 files changed, 3 insertions, 4 deletions
diff --git a/src/versions/native/Make b/src/versions/native/Make index a9e60e4..f45eb72 100644 --- a/src/versions/native/Make +++ b/src/versions/native/Make @@ -37,10 +37,9 @@ -I versions/native --custom "cd ../unit-tests; make" "" "test" --custom "cd ../unit-tests; make zchaff" "" "ztest" --custom "cd ../unit-tests; make verit" "" "vtest" --custom "cd ../unit-tests; make lfsc" "" "lfsctest" +-custom "cd ../unit-tests; make vernac" "" "test" +-custom "cd ../unit-tests; make zchaffv" "" "ztest" +-custom "cd ../unit-tests; make veritv" "" "vtest" -custom "$(CAMLLEX) $<" "%.mll" "%.ml" -custom "$(CAMLYACC) $<" "%.mly" "%.ml %.mli" |