Fixed bug in installer of MathSAT5 SMT Solver

pysmt · Feb 20, 2015 · a5750a0 · a5750a0
1 parent 93f650b
commit a5750a0
Showing 1 changed file with 1 addition and 2 deletions.
diff --git a/install.py b/install.py
@@ -152,8 +152,7 @@ def install_msat(options):
 
     # Save the paths
     PATHS.append("%s/python" % dir_path)
-    PATHS.append("%s/build/lib.linux-%s-%s" % (dir_path, get_architecture(), get_python_version()))
-
+    PATHS.append("%s/python/build/lib.linux-%s-%s" % (dir_path, get_architecture(), get_python_version()))
 
 
 def install_z3(options):