diff options
author | Sébastien Dailly <sebastien@chimrod.com> | 2017-11-01 10:40:44 +0100 |
---|---|---|
committer | Sébastien Dailly <sebastien@chimrod.com> | 2017-11-01 22:10:21 +0100 |
commit | 397f2878434d1a1a3ea2091f309ae03c58c6c4db (patch) | |
tree | 429bac44f0158bf3a46c38e69b5469bd71f4b31e /Makefile | |
parent | 041426ccc1b8c46578de38cd5a816a38158a51db (diff) |
Added splaytree
Diffstat (limited to 'Makefile')
-rwxr-xr-x | Makefile | 5 |
1 files changed, 4 insertions, 1 deletions
@@ -1,5 +1,5 @@ OCAMLBUILD ?= ocamlbuild
-PACKAGES=num,curses,camlzip,ezxmlm,text,str,menhirLib
+PACKAGES=dynlink,num,curses,camlzip,ezxmlm,text,str,menhirLib
PATHS=.,odf
MENHIR=-use-menhir
@@ -33,6 +33,9 @@ doc: test.byte: stub
$(OCAMLBUILD) -pkgs $(PACKAGES),oUnit -cflag -g -lflag -g $(STUB_OPTIONS) $(MENHIR) -Is $(PATHS),tests,tests/odf $@
+%.cmxs: stub
+ $(OCAMLBUILD) -use-ocamlfind -tags optimize\(3\) -pkgs $(PACKAGES) $(MENHIR) -Is $(PATHS) $@
+
test: test.byte
./test.byte
|