From a6f9f99fadd649e7d2683dd5436e9b6ad2fb60e8 Mon Sep 17 00:00:00 2001
From: Hans-Peter Deifel <hans-peter.deifel@fau.de>
Date: Thu, 23 Mar 2017 11:09:54 +0100
Subject: [PATCH] Remove libbdd and libglpk from C linker command

Now that GMLMIP is removed, those are not needed any more. Now cool
can really be built without GMLMIPs dependencies (as is now advertised
by the INSTALL file).
---
 _oasis | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/_oasis b/_oasis
index 028e499..7e6f9aa 100644
--- a/_oasis
+++ b/_oasis
@@ -17,7 +17,7 @@ Library libcool
   CompiledObject:   native
   Path:             src/lib
   BuildTools:       ocamlbuild
-  CCLib: -lminisat -lstdc++ -lbdd -lm -lglpk
+  CCLib: -lminisat -lstdc++
 
   # Warning: we use C++ sources in .c files because oasis does not recognize
   # cpp-files
-- 
GitLab