Replace minisat with picosat

[linux-conf-perf.git] / conf.py

diff --git a/conf.py b/conf.py
index 833f64bd232e298b262f014d1e107527374544bf..36e7487d2d8b1d19308fa409415e6c3467aa2268 100644 (file)
--- a/conf.py
+++ b/conf.py
@@ -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__))