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,