diff options
| author | Martin Nowack <m.nowack@imperial.ac.uk> | 2020-12-03 11:43:02 +0000 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2020-12-04 21:05:57 +0000 |
| commit | 199bd43deffc614b2915f4de26475ca43d22e2ae (patch) | |
| tree | 395276ea008407f9902eb0e0817b7df5f1020c31 /runtime | |
| parent | f9b7c9032db07ba2d811c3bf16a100cc3adfc67e (diff) | |
| download | klee-199bd43deffc614b2915f4de26475ca43d22e2ae.tar.gz | |
Only build 32bit runtime libraries if supported by platform
Automatically detect if 32bit bitcode files can be built. In this case, build runtime library with 32bit as well.
Diffstat (limited to 'runtime')
| -rw-r--r-- | runtime/CMakeLists.txt | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/runtime/CMakeLists.txt b/runtime/CMakeLists.txt index ea8335de..54521f8b 100644 --- a/runtime/CMakeLists.txt +++ b/runtime/CMakeLists.txt @@ -11,8 +11,12 @@ add_subdirectory(Runtest) # Handle bitcode libraries # Define the different configurations to be compiled and made available using a specific suffix +set(bc_architectures 64) -set(bc_architectures 32 64) +# Compile 32bit support if available +if (M32_SUPPORTED) + list(APPEND bc_architectures "32") +endif () set(LIB_BC_SUFFIX "") |