From 1e892e16bd13d4b7325c765f0428a00fe94eaadf Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Thorsten=20Wi=C3=9Fmann?= <edu@thorsten-wissmann.de>
Date: Tue, 28 Jan 2014 14:02:10 +0100
Subject: [PATCH] Temporarily disable gmlmip.ml

It's, because the repo lacks it.
---
 CoAlgLogics.ml | 2 +-
 Makefile       | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/CoAlgLogics.ml b/CoAlgLogics.ml
index 6f5c034..16962b8 100644
--- a/CoAlgLogics.ml
+++ b/CoAlgLogics.ml
@@ -5,7 +5,7 @@
 
 open CoAlgMisc
 open CoAlgLogicUtils
-open Gmlmip
+(* open Gmlmip *)
 
 module S = MiscSolver
 
diff --git a/Makefile b/Makefile
index 303c93a..e3b3c63 100644
--- a/Makefile
+++ b/Makefile
@@ -100,7 +100,7 @@ gmlmip.cmxa: gmlmip.cmx gmlmip_stub.o $(GMLOBJS)
 	$(OCAMLOPT) -a -o $@ $^ -cclib -lbdd -cclib -lm -cclib -lglpk
 
 # Object files... sorted topologically by their dependency...
-COALG_OBJS := minisat$(SUFFIXLIB) gmlmip$(SUFFIXLIB) \
+COALG_OBJS := minisat$(SUFFIXLIB) \
               genAndComp$(SUFFIX) MiscSolver$(SUFFIX) altGenlex$(SUFFIX) HashConsing$(SUFFIX) \
               ALCFormula$(SUFFIX) ALCMisc$(SUFFIX) ALCGraph$(SUFFIX) \
               CoAlgFormula$(SUFFIX) \
-- 
GitLab