From 672e60fa9a5cc94ae0331696e2c244813e75e6e6 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Thorsten=20Wi=C3=9Fmann?= <uni@thorsten-wissmann.de>
Date: Wed, 15 Jan 2014 12:08:25 +0100
Subject: [PATCH] Remove graphlib from repo
---
Makefile | 18 ------------------
1 file changed, 18 deletions(-)
diff --git a/Makefile b/Makefile
index 25aee27..8a2ae61 100644
--- a/Makefile
+++ b/Makefile
@@ -65,7 +65,6 @@ minisat.cmxa: minisat.cmx minisat_stub.o
# Object files... sorted topologically by their dependency...
COALG_OBJS := minisat$(SUFFIXLIB) \
- lib/ocamlgraph-1.8.3/graph$(SUFFIX) \
genAndComp$(SUFFIX) MiscSolver$(SUFFIX) altGenlex$(SUFFIX) HashConsing$(SUFFIX) \
ALCFormula$(SUFFIX) ALCMisc$(SUFFIX) ALCGraph$(SUFFIX) \
CoAlgFormula$(SUFFIX) \
@@ -103,23 +102,6 @@ clean:
$(RM) -f .depend
$(RM) -f $(PROGS)
$(RM) -f *.a
- $(RM) -rf lib/
-
-GRAPHLIBTAR := lib/ocamlgraph-1.8.3.tar.gz
-
-$(GRAPHLIBTAR):
- mkdir -p lib/
- wget -O $@ http://ocamlgraph.lri.fr/download/ocamlgraph-1.8.3.tar.gz
-
-lib/ocamlgraph-1.8.3/src/graphml.ml: $(GRAPHLIBTAR)
- tar xf $(GRAPHLIBTAR) -C lib/
- touch $@
-
-
-lib/ocamlgraph-1.8.3/graph$(SUFFIX): lib/ocamlgraph-1.8.3/src/graphml.ml
- cd lib/ocamlgraph-1.8.3/ ; ./configure
- make -C lib/ocamlgraph-1.8.3/
-
.PHONY: depend
depend: .depend
--
GitLab