From 48e6299b6002ace51df6b873e56ba979570ce6ea Mon Sep 17 00:00:00 2001
From: Hans-Peter Deifel <hans-peter.deifel@fau.de>
Date: Thu, 16 Mar 2017 18:33:45 +0100
Subject: [PATCH] Remove GMLMIP from INSTALL file

It's not needed any more
---
 INSTALL | 15 ---------------
 1 file changed, 15 deletions(-)

diff --git a/INSTALL b/INSTALL
index d6399d8..08ee78e 100644
--- a/INSTALL
+++ b/INSTALL
@@ -13,13 +13,6 @@ Dependencies:
   - ocamlgraph (package ocaml-ocamlgraph)
   - readline
   - minisat (at least minisat 2)
-  - Dependencies for GMLMIP-0.1:
-    * A current version ov GNU LPK (glpk). Tested with glpk 4.54
-      (Previously you needed GNU LPK with version about 4.35)
-    * Flex
-    * Bison
-    * Googlesparsehash package
-    * BuDDy BDD package.
 
 On Debian or Ubuntu, install the following packages:
 
@@ -27,11 +20,6 @@ On Debian or Ubuntu, install the following packages:
   - build-essential
   - oasis
   - libocamlgraph-ocaml-dev
-  - libglpk-dev
-  - flex
-  - bison
-  - sparsehash or libsparsehash-dev
-  - libbdd-dev
   - libreadline-dev
   - minisat
 
@@ -94,9 +82,6 @@ To see a longer list of example formulas, just run the testsuite:
 
   ./cool-testsuite.native
 
-(Note: The tests for GML and PML will fail due to a version change
-in the GNU LPK library.)
-
 Coalition Logic
 ~~~~~~~~~~~~~~~
 Some formulas are
-- 
GitLab