Skip to content
Snippets Groups Projects
Commit 1e892e16 authored by Thorsten Wißmann's avatar Thorsten Wißmann :guitar:
Browse files

Temporarily disable gmlmip.ml 

It's, because the repo lacks it.
parent 17ed0ef0
Branches
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
CoAlgLogics.ml
+ 1
− 1
View file @ 1e892e16
...@@ -5,7 +5,7 @@ ...@@ -5,7 +5,7 @@
open CoAlgMisc open CoAlgMisc
open CoAlgLogicUtils open CoAlgLogicUtils
open Gmlmip (* open Gmlmip *)
module S = MiscSolver module S = MiscSolver
......
Makefile
+ 1
− 1
View file @ 1e892e16
...@@ -100,7 +100,7 @@ gmlmip.cmxa: gmlmip.cmx gmlmip_stub.o $(GMLOBJS) ...@@ -100,7 +100,7 @@ gmlmip.cmxa: gmlmip.cmx gmlmip_stub.o $(GMLOBJS)
$(OCAMLOPT) -a -o $@ $^ -cclib -lbdd -cclib -lm -cclib -lglpk $(OCAMLOPT) -a -o $@ $^ -cclib -lbdd -cclib -lm -cclib -lglpk
# Object files... sorted topologically by their dependency... # 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) \ genAndComp$(SUFFIX) MiscSolver$(SUFFIX) altGenlex$(SUFFIX) HashConsing$(SUFFIX) \
ALCFormula$(SUFFIX) ALCMisc$(SUFFIX) ALCGraph$(SUFFIX) \ ALCFormula$(SUFFIX) ALCMisc$(SUFFIX) ALCGraph$(SUFFIX) \
CoAlgFormula$(SUFFIX) \ CoAlgFormula$(SUFFIX) \
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment