diff options
author | Karel Kočí <cynerd@email.cz> | 2015-05-05 17:41:23 +0200 |
---|---|---|
committer | Karel Kočí <cynerd@email.cz> | 2015-05-05 17:41:23 +0200 |
commit | 85a82310f73ddf212c297505248a59e0898b1204 (patch) | |
tree | d90e02d01b3f38074ca79b79b6b0fb8ef3718c8e /conf.py | |
parent | 7906fa5b78abc6a176f4f5e5014afef4aa34ee7a (diff) | |
download | linux-conf-perf-85a82310f73ddf212c297505248a59e0898b1204.tar.gz linux-conf-perf-85a82310f73ddf212c297505248a59e0898b1204.tar.bz2 linux-conf-perf-85a82310f73ddf212c297505248a59e0898b1204.zip |
Replace minisat with picosat
Picosat is distributed with this project.
Diffstat (limited to 'conf.py')
-rw-r--r-- | conf.py | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -6,7 +6,7 @@ ARCH = SRCARCH linux_make_args = ['-j8'] novaboot_args = ['--qemu=qemu-system-x86_64'] -minisat_args = [] +picosat_args = [] # Programs output show/hide parse_kconfig_output = False minisat_output = False @@ -55,7 +55,7 @@ nbscript = 'scripts/nbscript' parse_kconfig = 'scripts/parse_kconfig/parse' write_config = 'scripts/write_config/write' novaboot = 'scripts/novaboot/novaboot' -minisat = 'minisat' +picosat = 'scripts/picosat-959/picosat' absroot = os.path.dirname(os.path.realpath(__file__)) |