From 725a98ea6133fe7741ac1ada32d53f7978bfede0 Mon Sep 17 00:00:00 2001 From: Sébastien Dailly Date: Fri, 20 Apr 2018 20:27:29 +0200 Subject: Update dependencies --- Makefile | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) (limited to 'Makefile') diff --git a/Makefile b/Makefile index 347d7d5..4adbf07 100755 --- a/Makefile +++ b/Makefile @@ -1,6 +1,7 @@ PREFIX=/usr/local BINDIR=$(PREFIX)/bin -PACKAGES=dynlink,curses,camlzip,xmlm,text,str,menhirLib,zarith,base +OCAMLBUILD ?= ocamlbuild +PACKAGES=dynlink,curses,camlzip,xmlm,text,str,menhirLib,zarith,base,string_dict PATHS=src,src/odf,src/tree,src/expressions TARGET=licht OCB=ocamlbuild -pkgs $(PACKAGES) $(STUB_OPTIONS) $(MENHIR) -Is $(PATHS) @@ -21,7 +22,7 @@ stub: $(MAKE) -C stub LIB=$(LIB) deps: - opam install ocamlfind ocamlbuild curses camlzip xmlm ounit text menhir zarith base + opam install ocamlbuild curses camlzip xmlm ounit text menhir zarith string_dict byte: stub $(OCB) main.byte -- cgit v1.2.3