diff options
author | Sébastien Dailly <sebastien@chimrod.com> | 2017-11-07 15:44:40 +0100 |
---|---|---|
committer | Sébastien Dailly <sebastien@chimrod.com> | 2017-11-08 14:05:56 +0100 |
commit | 6f6ff0e39eb6d771ef5336394079646ccdc18bd5 (patch) | |
tree | f06907f88972e8e87c5924de8eb225362a4a775b /Makefile | |
parent | 50c16c8fc79d349f9db9d7975d1ae4e57050b648 (diff) |
Use Zarith instead of Num for computing numbers
Diffstat (limited to 'Makefile')
-rwxr-xr-x | Makefile | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -1,5 +1,5 @@ OCAMLBUILD ?= ocamlbuild
-PACKAGES=dynlink,num,curses,camlzip,ezxmlm,text,str,menhirLib
+PACKAGES=dynlink,curses,camlzip,ezxmlm,text,str,menhirLib,zarith
PATHS=.,odf
MENHIR=-use-menhir
@@ -18,7 +18,7 @@ stub: $(MAKE) -C stub LIB=$(LIB)
deps:
- opam install ocamlbuild curses camlzip ezxmlm ounit text menhir
+ opam install ocamlbuild curses camlzip ezxmlm ounit text menhir zarith
byte: stub
$(OCAMLBUILD) -pkgs $(PACKAGES) $(STUB_OPTIONS) $(MENHIR) -Is $(PATHS) main.byte
|