about summary refs log tree commit diff homepage
path: root/runtime/klee-eh-cxx/CMakeLists.txt
AgeCommit message (Collapse)Author
2020-11-04[cmake] Add support to generate arbitrary runtime library configurationsMartin Nowack
Every runtime library can be build with multiple configurations. Replace the Makefile-based setup by cmake one. Currently, we generate 32bit and 64bit libraries simultaneously and can link against them.