From 65b89a6b06b5ff2e26883800702cda19d2d980df Mon Sep 17 00:00:00 2001
From: Frédéric Besson
Date: Tue, 17 Sep 2019 18:09:06 +0200
Subject: Improved handling of micromega caches

- Specialised hash and equality functions.
  Avoid collisions in extreme scenarios.
- Flags to disable the use of the caches.

fixes #10772
---
 Makefile.build | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'Makefile.build')

diff --git a/Makefile.build b/Makefile.build
index 610af5fe40..f2e1ca4ea0 100644
--- a/Makefile.build
+++ b/Makefile.build
@@ -581,7 +581,7 @@ bin/votour.byte: $(VOTOURCMO)
 ###########################################################################
 
 CSDPCERTCMO:=clib/clib.cma $(addprefix plugins/micromega/, \
-  mutils.cmo 	micromega.cmo \
+  micromega.cmo mutils.cmo 	 \
   sos_types.cmo sos_lib.cmo sos.cmo 	csdpcert.cmo )
 
 $(CSDPCERT): $(call bestobj, $(CSDPCERTCMO))
-- 
cgit v1.2.3