fix runtime paths for KLEE

staticafi · Feb 2, 2019 · fe2d4ed · fe2d4ed
1 parent 9bbfec9
commit fe2d4ed
Showing 1 changed file with 3 additions and 2 deletions.
diff --git a/lib/symbioticpy/symbiotic/tools/kleebase.py b/lib/symbioticpy/symbiotic/tools/kleebase.py
@@ -106,8 +106,9 @@ def set_environment(self, env, opts):
         if opts.devel_mode:
             env.prepend('PATH', '{0}/klee/build-{1}/bin'.\
                         format(env.symbiotic_dir, llvm_version))
-
-        prefix = '{0}/install'.format(env.symbiotic_dir)
+            prefix = '{0}/install'.format(env.symbiotic_dir)
+        else:
+            prefix = '{0}'.format(env.symbiotic_dir)
 
         if opts.is32bit:
             env.prepend('KLEE_RUNTIME_LIBRARY_PATH',