From 824f2987d47e87d58ee2a4a96d7be417aad6aeab Mon Sep 17 00:00:00 2001 From: Sébastien Dailly Date: Wed, 31 Jan 2018 13:20:20 +0100 Subject: API refactoring : made the GADT abstract, provide contructor for each case, and deported the expression with evaluation with module functors --- Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'Makefile') diff --git a/Makefile b/Makefile index 3df5d6a..a412946 100755 --- a/Makefile +++ b/Makefile @@ -1,6 +1,6 @@ OCAMLBUILD ?= ocamlbuild PACKAGES=dynlink,curses,camlzip,ezxmlm,text,str,menhirLib,zarith,base -PATHS=src,src/odf,src/tree +PATHS=src,src/odf,src/tree,src/expressions MENHIR=-use-menhir -- cgit v1.2.3