Fixed optimsat installation

pysmt · Jan 21, 2019 · dad5148 · dad5148
1 parent f36107c
commit dad5148
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 2 deletions.
diff --git a/pysmt/cmd/install.py b/pysmt/cmd/install.py
@@ -62,7 +62,9 @@ def check_installed(required_solvers, install_dir, bindings_dir, mirror_link):
     """Checks which solvers are visible to pySMT."""
 
     # Check which solvers are accessible from the Factory
-    pypath_solvers = get_env().factory.all_solvers()
+    pypath_solvers = list(get_env().factory.all_solvers())
+    if 'optimsat' in get_env().factory.all_optimizers():
+        pypath_solvers.append('optimsat')
 
     global_solvers_status = []
     print("Installed Solvers:")

diff --git a/pysmt/cmd/installers/optimsat.py b/pysmt/cmd/installers/optimsat.py
@@ -59,7 +59,7 @@ def compile(self):
         # Run setup.py to compile the bindings
         SolverInstaller.mv(os.path.join(self.python_bindings_dir, 'mathsat_python_wrap.c'),
                            os.path.join(self.python_bindings_dir, 'mathsat_python_wrap.cpp'))
-        SolverInstaller.run_python("./setup.py build", self.python_bindings_dir)
+        SolverInstaller.run_python("./setup.py build_ext -R $ORIGIN", self.python_bindings_dir)
 
 
     def move(self):