diff options
Diffstat (limited to 'src/versions/standard/Make')
-rw-r--r-- | src/versions/standard/Make | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/versions/standard/Make b/src/versions/standard/Make index 4325d32..9e7b56b 100644 --- a/src/versions/standard/Make +++ b/src/versions/standard/Make @@ -43,6 +43,9 @@ CAMLLEX = $(CAMLBIN)ocamllex CAMLYACC = $(CAMLBIN)ocamlyacc versions/standard/Int63/Int63.v +versions/standard/Int63/Int63Lib.v +versions/standard/Int63/Cyclic63.v +versions/standard/Int63/Ring63.v versions/standard/Int63/Int63Native.v versions/standard/Int63/Int63Op.v versions/standard/Int63/Int63Axioms.v |