blob: f0d370cfd94a6af2f1ff1260648c5ebfde9cf90e (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
|
commit 726e8d6e31224eb70f75655579da9a374e910b98
Author: Jean-Christophe Filliatre <Jean-Christophe.Filliatre@lri.fr>
Date: Mon Feb 13 08:41:58 2017 +0100
fixed 'make check'
diff --git a/Makefile.in b/Makefile.in
index 58b9e9c..9ce40df 100644
--- a/Makefile.in
+++ b/Makefile.in
@@ -360,7 +360,7 @@ bin/testunix.opt: $(CMXA) myTest/testunix.ml
$(OCAMLOPT) -unsafe -inline 100 -o $@ unix.cmxa $^
check: $(CMA) tests/check.ml bin/test-ts
- ocaml $(CMA) tests/test_clique.ml tests/check.ml
+ ocaml -I . $(CMA) tests/test_clique.ml tests/check.ml
bin/test-ts 10
# Additional rules
|
GitWeb
