brownplt · progval · Jul 21, 2014 · Jul 21, 2014 · Jul 25, 2014
diff --git a/INSTALL b/INSTALL
@@ -17,14 +17,7 @@ What we ran on (approximate system requirements):
 
 To build S5, you need to build the ocamlgraph library and copy some files to
 the right spot.  All the source is included in this tarball, but you need to
-run the following:
-
-1. cd src/ocamlgraph-1.8.1
-2. ./configure
-3. make
-4. cp graph.cmi graph.cma ../../lib/
-5. cd ..
-6. make
+run the following: opam install ocamlgraph
 
 Before you can run anything, you need to make sure that bin/js is linked to an
 appropriate executable for your OS.  The default is js-1.8.5-Linux-i686, which

diff --git a/lib/ocamlgraph/builder.mli b/lib/ocamlgraph/builder.mli
diff --git a/lib/ocamlgraph/classic.mli b/lib/ocamlgraph/classic.mli
diff --git a/lib/ocamlgraph/cliquetree.mli b/lib/ocamlgraph/cliquetree.mli
diff --git a/lib/ocamlgraph/coloring.mli b/lib/ocamlgraph/coloring.mli
diff --git a/lib/ocamlgraph/components.mli b/lib/ocamlgraph/components.mli