diff options
| author | Karel Kočí <cynerd@email.cz> | 2015-05-05 11:45:40 +0200 |
|---|---|---|
| committer | Karel Kočí <cynerd@email.cz> | 2015-05-05 11:45:40 +0200 |
| commit | 289b0ce128cdca79676307646eef3d56c25c6dd2 (patch) | |
| tree | eec45ee5fd958a94731fa554ef7c690f6f14ecce | |
| parent | 20caa5bb744b543b4a55ef7b2d8432e758bb26bb (diff) | |
| download | linux-conf-perf-289b0ce128cdca79676307646eef3d56c25c6dd2.tar.gz linux-conf-perf-289b0ce128cdca79676307646eef3d56c25c6dd2.tar.bz2 linux-conf-perf-289b0ce128cdca79676307646eef3d56c25c6dd2.zip | |
Add minisat config
| -rw-r--r-- | conf.py | 1 | ||||
| -rw-r--r-- | scripts/solution.py | 4 |
2 files changed, 3 insertions, 2 deletions
@@ -55,6 +55,7 @@ nbscript = 'scripts/nbscript' parse_kconfig = 'scripts/parse_kconfig/parse' write_config = 'scripts/write_config/write' novaboot = 'scripts/novaboot/novaboot' +minisat = 'minisat' absroot = os.path.dirname(os.path.realpath(__file__)) diff --git a/scripts/solution.py b/scripts/solution.py index a09257a..649e3d2 100644 --- a/scripts/solution.py +++ b/scripts/solution.py @@ -54,10 +54,10 @@ def generate(): # Execute minisat if conf.minisat_output: - subprocess.call(['minisat', w_file.name, sf(conf.solution_file)] + subprocess.call([conf.minisat, w_file.name, sf(conf.solution_file)] + conf.minisat_args) else: - subprocess.call(['minisat', w_file.name, sf(conf.solution_file)] + subprocess.call([conf.minisat, w_file.name, sf(conf.solution_file)] + conf.minisat_args, stdout=subprocess.DEVNULL) os.remove(w_file.name) |