diff options
-rw-r--r-- | src/extraction/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/extraction/Makefile b/src/extraction/Makefile index 399c5cf..3de32db 100644 --- a/src/extraction/Makefile +++ b/src/extraction/Makefile @@ -35,7 +35,7 @@ USERCMX=$(USERML:%.ml=%.cmx) OCAMLC=ocamlc OCAMLOPT=ocamlopt OCAMLFIND=ocamlfind -OCAMLFINDLIB=-I +threads -package zarith +OCAMLFINDLIB=-I +threads -package zarith -package num all: $(LIB) $(PROGRAM) |