-
Notifications
You must be signed in to change notification settings - Fork 5
/
findtools.py
45 lines (31 loc) · 1.27 KB
/
findtools.py
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
""" This module defines the paths that Whoop will use
to run the various tools that it depends on.
These paths must be absolute paths.
"""
import sys
rootDir = "/Users/pantazis/workspace/whoop"
# path to the directory containing the Whoop project
whoopDir = rootDir + "/whoop"
# path to the llvm source directory
llvmSrcDir = rootDir + "/llvm_and_clang/src"
# path to the llvm binary directory
llvmBinDir = rootDir + "/llvm_and_clang/build/bin"
# path containing the llvm libraries
llvmLibDir = rootDir + "/llvm_and_clang/build/lib"
# path to the directory containing the chauffeur clang tool
chauffeurDir = rootDir + "/chauffeur/build"
# path to the SMACK libraries
smackSrcDir = rootDir + "/smack/install/include"
# path to the directory where the SMACK executable can be found
smackBinDir = rootDir + "/smack/install/bin"
# path to the directory where the Corral executable can be found
corralBinDir = rootDir + "/corral/bin/debug"
# path to the directory containing the Whoop binaries
whoopBinDir = rootDir + "/whoop/Binaries"
# path to the directory containing the z3 executable
z3BinDir = rootDir + "/z3/build"
# path to the directory containing the cvc4 executable
cvc4BinDir = rootDir + "/cvc4/install/bin"
def init(prefixPath):
"""This method does nothing"""
pass