diff --git a/Makefile b/Makefile
index 25aee272cdd31eb45ca13c409a63c21ff8639289..8a2ae613a55cc59eda81f41660fe804bac8a5c02 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