From 8af9dbdcc27934deda35f6c8fbdecdfe869b09c5 Mon Sep 17 00:00:00 2001
From: Emilio Jesus Gallego Arias
Date: Wed, 4 Mar 2020 14:29:10 -0500
Subject: [micromega] Add numerical compatibility layer.

Only significant change is in gcd / lcm which now are typed in `Z.t`
---
 Makefile.build | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'Makefile.build')

diff --git a/Makefile.build b/Makefile.build
index 9e0a402730..2bb32dc6c2 100644
--- a/Makefile.build
+++ b/Makefile.build
@@ -570,8 +570,8 @@ bin/votour.byte: $(VOTOURCMO) $(LIBCOQRUN)
 ###########################################################################
 
 CSDPCERTCMO:=clib/clib.cma $(addprefix plugins/micromega/, \
-  micromega.cmo mutils.cmo 	 \
-  sos_types.cmo sos_lib.cmo sos.cmo 	csdpcert.cmo )
+  micromega.cmo numCompat.cmo mutils.cmo \
+  sos_types.cmo sos_lib.cmo sos.cmo csdpcert.cmo )
 
 $(CSDPCERT): $(call bestobj, $(CSDPCERTCMO))
 	$(SHOW)'OCAMLBEST -o $@'
-- 
cgit v1.2.3