Enable Python venv via PYTHONPATH (#6)

cvc5 · Feb 5, 2024 · adae0d8 · adae0d8
1 parent 0f42185
commit adae0d8
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/Formula/cvc5.rb b/Formula/cvc5.rb
@@ -27,12 +27,13 @@ def install
     venv = virtualenv_create(buildpath/"venv", "python3")
     venv.pip_install resources
 
+    ENV.prepend_path "PYTHONPATH", buildpath/"venv"/Language::Python.site_packages("python3")
+
     command_line = [
       "./configure.sh",
       "--auto-download",
       "--static",
       "--prefix=#{prefix}",
-      "-DPython_EXECUTABLE=#{buildpath}/venv/bin/python",
     ]
 
     command_line << "--java-bindings" if build.with? "java-bindings"