coq: install .vo files to #{lib}/coq

This seems slightly more preferred, as per coq/coq#15452 (comment)
JasonGross · Feb 27, 2024 · 6f05954 · 6f05954
1 parent 7e63a7e
commit 6f05954
Showing 1 changed file with 5 additions and 2 deletions.
diff --git a/Formula/c/coq.rb b/Formula/c/coq.rb
@@ -36,17 +36,20 @@ def install
     ENV.prepend_path "OCAMLPATH", Formula["ocaml-findlib"].opt_lib/"ocaml"
     system "./configure", "-prefix", prefix,
                           "-mandir", man,
-                          "-libdir", HOMEBREW_PREFIX/"lib/ocaml/coq",
+                          "-libdir", HOMEBREW_PREFIX/"lib/coq",
                           "-docdir", pkgshare/"latex"
     system "make", "dunestrap"
     system "dune", "build", "-p", "coq-core,coq-stdlib,coqide-server,coq"
     system "dune", "install", "--prefix=#{prefix}",
                               "--mandir=#{man}",
                               "--libdir=#{lib}/ocaml",
                               "coq-core",
-                              "coq-stdlib",
                               "coqide-server",
                               "coq"
+    system "dune", "install", "--prefix=#{prefix}",
+                              "--mandir=#{man}",
+                              "--libdir=#{lib}",
+                              "coq-stdlib"
   end
 
   test do