diff options
| author | Martin Nowack <m.nowack@imperial.ac.uk> | 2019-02-28 11:56:19 +0000 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2019-03-10 20:10:32 +0000 |
| commit | cf930214e12b49e89be4674043d9f461d667baae (patch) | |
| tree | 90de5ea1c643d0d7ad2c5cf55e862d309e605d48 /scripts/build/v-uclibc.inc | |
| parent | b4d8fe0301b82e8abff0336bf6d1347dff11a853 (diff) | |
| download | klee-cf930214e12b49e89be4674043d9f461d667baae.tar.gz | |
Updated dependency build system for KLEE
Provide a single `scripts/build/build.sh` file to build KLEE and its dependencies.
Diffstat (limited to 'scripts/build/v-uclibc.inc')
| -rw-r--r-- | scripts/build/v-uclibc.inc | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/scripts/build/v-uclibc.inc b/scripts/build/v-uclibc.inc new file mode 100644 index 00000000..e7a2f720 --- /dev/null +++ b/scripts/build/v-uclibc.inc @@ -0,0 +1,17 @@ +required_variables_uclibc=( + "UCLIBC_VERSION" + "LLVM_VERSION" +) + +artifact_dependency_uclibc(){ + # Add llvm if needed; otherwise only use clang package +# TODO this is quite distribution specific; should be handled in a more general case + local LLVM_VERSION_MAJOR="${LLVM_VERSION/.*/}" + local LLVM_VERSION_MINOR="${LLVM_VERSION/*./}" + # Check versions: no support for LLVM < 3.5 + if [[ "${LLVM_VERSION_MAJOR}" -eq 3 ]]; then + [[ "${LLVM_VERSION_MINOR}" -lt 5 ]] && echo "llvm" + fi + + echo "clang" +} \ No newline at end of file |