Update ocamlgraph setup for the QBF subdirectory

This solution using "topfind" seems to be a lot simpler and appears to work reliably on recent OCamls.
jrh13 · Apr 6, 2024 · 4460d84 · 4460d84
1 parent 85987b1
commit 4460d84
Showing 1 changed file with 3 additions and 2 deletions.
diff --git a/QBF/make.ml b/QBF/make.ml
@@ -2,8 +2,9 @@
 (* Ondrej Kuncar's HOL Light QBF code.                                       *)
 (* ========================================================================= *)
 
-#load "ocamlgraph/graph.cma";;
-#directory "+ocamlgraph";;
+#use "topfind";;
+#require "ocamlgraph";;
+
 loads "Minisat/make.ml";;
 loads "QBF/mygraph.ml";;
 loads "QBF/qbfr.ml";;