Fixed dependency in shippable for Yices.

pysmt · Feb 25, 2015 · af0e6fe · af0e6fe
1 parent ed99be4
commit af0e6fe
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 1 deletion.
diff --git a/install.py b/install.py
@@ -280,7 +280,6 @@ def install_yices(options):
 
     # Build pyices
     os.system("export YICES_PATH=\"%s\"; cd %s; python setup.py install --user" % (yices_path, pyices_dir_path))
-    os.system('cd %s; python setup.py build' % pyices_dir_path)
 
     # Save the paths
     PATHS.append("%s/build/lib.linux-%s-%s" % (pyices_dir_path, get_architecture(), get_python_version()))

diff --git a/shippable.sh b/shippable.sh
@@ -27,6 +27,7 @@ fi
 
 if [ "$1" == "yices" ]
 then
+    pip install ctypesgen
     ./install.py --confirm-agreement --yices
 fi