blob: 6d96d94dfc34504dbe6d5e8c81f442ff700cd613 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
|
commit f29bc64ee3d8b36758d17e1f5d50812e0c93063b
Author: Vincent Laporte <Vincent.Laporte@fondation-inria.fr>
Date: Thu Nov 29 08:59:22 2018 +0000
Make explicit dependency to num
diff --git a/Make b/Make
index 550dc6a..8aa1309 100644
--- a/Make
+++ b/Make
@@ -9,7 +9,7 @@ src/logger.ml
src/munify.mli
src/munify.ml
src/unitactics.mlg
-src/unicoq.mllib
+src/unicoq.mlpack
theories/Unicoq.v
test-suite/munifytest.v
test-suite/microtests.v
diff --git a/Makefile.local b/Makefile.local
new file mode 100644
index 0000000..88be365
--- /dev/null
+++ b/Makefile.local
@@ -0,0 +1 @@
+CAMLPKGS += -package num
diff --git a/src/unicoq.mllib b/src/unicoq.mllib
deleted file mode 100644
index 2b84e2d..0000000
--- a/src/unicoq.mllib
+++ /dev/null
@@ -1,3 +0,0 @@
-Logger
-Munify
-Unitactics
diff --git a/src/unicoq.mlpack b/src/unicoq.mlpack
new file mode 100644
index 0000000..2b84e2d
--- /dev/null
+++ b/src/unicoq.mlpack
@@ -0,0 +1,3 @@
+Logger
+Munify
+Unitactics
|
