def run(self):
"""
Download, patch and compile SAT solvers before building.
"""
# download and compile solvers
prepare.do(to_install)
# now, do standard build
distutils.command.build.build.run(self)
def run(self):
"""
Download, patch and compile SAT solvers before building.
"""
# download and compile solvers
if platform.system() != 'Windows':
prepare.do(to_install)
# now, do standard build
distutils.command.build.build.run(self)
cpplib = []
# C extensions: pycard and pysolvers
#==============================================================================
pycard_ext = Extension('pycard',
sources=['cardenc/pycard.cc'],
extra_compile_args=compile_flags,
include_dirs=['cardenc'],
language='c++',
libraries=cpplib,
library_dirs=[])
pysolvers_sources = ['solvers/pysolvers.cc']
if platform.system() == 'Windows':
prepare.do(to_install)
with chdir('solvers'):
for solver in to_install:
with chdir(solver):
for filename in glob.glob('*.c*'):
pysolvers_sources += ['solvers/%s/%s' % (solver, filename)]
for filename in glob.glob('*/*.c*'):
pysolvers_sources += ['solvers/%s/%s' % (solver, filename)]
libraries = []
library_dirs = []
else:
libraries = to_install + cpplib
library_dirs = list(map(lambda x: os.path.join('solvers', x), to_install))
pysolvers_ext = Extension('pysolvers',
sources=pysolvers_sources,
