aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--conf.py1
-rw-r--r--scripts/solution.py4
2 files changed, 3 insertions, 2 deletions
diff --git a/conf.py b/conf.py
index b07265c..833f64b 100644
--- a/conf.py
+++ b/conf.py
@@ -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)