From 591461d6697e84ca3be9e38a7a366cc8ca90104f Mon Sep 17 00:00:00 2001
From: Yann Herklotz <git@yannherklotz.com>
Date: Tue, 2 Aug 2022 12:25:02 +0100
Subject: Add '-package num' to Makefile

Using nix, the num package needs to be added explicitly to the list of
dependencies.
---
 src/extraction/Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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)
-- 
cgit