Symbiotic tool-info: update paths for Symbiotic 6
We switched to LLVM 4.0.1
@@ -3,7 +3,7 @@ BenchExec is a framework for reliable benchmarking.
This file is part of BenchExec.
Copyright (C) 2007-2015 Dirk Beyer
-Copyright (C) 2016-2017 Marek Chalupa
+Copyright (C) 2016-2018 Marek Chalupa
All rights reserved.
@@ -49,6 +49,14 @@ class Tool(OldSymbiotic):
"llvm-3.9.1",
]
+ REQUIRED_PATHS_6_0_0 = [
+ "bin",
+ "include",
+ "specs",
+ "lib",
+ "llvm-4.0.1",
+ ]
+
def executable(self):
"""
Find the path to the executable file that will get executed.
@@ -65,7 +73,9 @@ class Tool(OldSymbiotic):
def program_files(self, executable):
installDir = joinpath(dirname(executable), '..')
- if self._version_newer_than('5.0.0'):
+ if self._version_newer_than('6.0.0'):
+ paths = self.REQUIRED_PATHS_6_0_0
+ elif self._version_newer_than('5.0.0'):
paths = self.REQUIRED_PATHS_5_0_0
elif self._version_newer_than('4.0.1'):
paths = self.REQUIRED_PATHS_4_0_1
