From 289b0ce128cdca79676307646eef3d56c25c6dd2 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Karel=20Ko=C4=8D=C3=AD?= Date: Tue, 5 May 2015 11:45:40 +0200 Subject: Add minisat config --- conf.py | 1 + scripts/solution.py | 4 ++-- 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) -- cgit v1.2.3