def install_yicespy(self):
yicespy_git_version = self.yicespy_git_version
yicespy_base_name = "yicespy"
yicespy_archive_name = "%s.tar.gz" % yicespy_base_name
yicespy_archive = os.path.join(self.base_dir, yicespy_archive_name)
yicespy_dir_path = os.path.join(
self.base_dir, yicespy_base_name + "-" + yicespy_git_version)
yicespy_download_link = "https://codeload.github.com/pyomt/yicespy/tar.gz/%s" % (
yicespy_git_version)
SolverInstaller.do_download(yicespy_download_link, yicespy_archive)
SolverInstaller.clean_dir(yicespy_dir_path)
SolverInstaller.untar(yicespy_archive, self.base_dir)
# Build yicespy
SolverInstaller.run_python(
"setup.py --yices-dir=%s -- build_ext bdist_wheel --dist-dir=%s " %
(self.yices_path, self.base_dir),
directory=yicespy_dir_path)
wheel_file = glob.glob(
os.path.join(self.base_dir, "yicespy") + "*.whl")[0]
SolverInstaller.unzip(wheel_file, self.bindings_dir)
def compile(self):
if self.os_name == "windows":
libdir = os.path.join(self.python_bindings_dir, "../lib")
incdir = os.path.join(self.python_bindings_dir, "../include")
gmp_h_url = "https://github.com/mikand/tamer-windows-deps/raw/master/gmp/include/gmp.h"
mpir_dll_url = "https://github.com/Legrandin/mpir-windows-builds/blob/master/mpir-2.6.0_VS2015_%s/mpir.dll?raw=true" % self.bits
mpir_lib_url = "https://github.com/Legrandin/mpir-windows-builds/blob/master/mpir-2.6.0_VS2015_%s/mpir.lib?raw=true" % self.bits
setup_py_win_url = "https://github.com/pyomt/solvers_patches/raw/master/mathsat/setup-win.py"
SolverInstaller.do_download(gmp_h_url, os.path.join(incdir, "gmp.h"))
SolverInstaller.do_download(mpir_dll_url, os.path.join(libdir, "mpir.dll"))
SolverInstaller.do_download(mpir_lib_url, os.path.join(libdir, "mpir.lib"))
# Overwrite setup.py with the patched version
setup_py = os.path.join(self.python_bindings_dir, "setup.py")
SolverInstaller.mv(setup_py, setup_py + ".original")
SolverInstaller.do_download(setup_py_win_url, setup_py)
# Run setup.py to compile the bindings
SolverInstaller.run_python("./setup.py build", self.python_bindings_dir)