From a88e3b3b6ad01a9b85c828b9a1225732275affee Mon Sep 17 00:00:00 2001 From: ckeller Date: Mon, 11 Mar 2019 20:25:35 +0100 Subject: V8.8 (#42) * Towards 8.8 * Towards 8.8 * Towards 8.8 * Towards 8.8 * Towards 8.8 * Towards 8.8 * Towards 8.8 * Organization structures * 8.8 ok with standard coq --- src/versions/standard/Make | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/versions/standard/Make') diff --git a/src/versions/standard/Make b/src/versions/standard/Make index 543d6f0..e275b8f 100644 --- a/src/versions/standard/Make +++ b/src/versions/standard/Make @@ -33,7 +33,7 @@ -I versions/standard/Int63 -I versions/standard/Array --I "$(shell $(COQBIN)coqc -where)/plugins/micromega" +# -I "$(shell $(COQBIN)coqc -where)/plugins/micromega" -extra "test" "" "cd ../unit-tests; make" -extra "ztest" "" "cd ../unit-tests; make zchaff" -- cgit