diff options
Diffstat (limited to 'src/lib/CMakeLists.txt')
| -rw-r--r-- | src/lib/CMakeLists.txt | 12 |
1 files changed, 0 insertions, 12 deletions
diff --git a/src/lib/CMakeLists.txt b/src/lib/CMakeLists.txt deleted file mode 100644 index ffebfed82..000000000 --- a/src/lib/CMakeLists.txt +++ /dev/null @@ -1,12 +0,0 @@ -set(replacements_src_files - clock_gettime.c - clock_gettime.h - ffs.c - ffs.h - replacements.h - strtok_r.c - strtok_r.h -) - -add_library(replacements ${replacements_src_files}) -target_compile_definitions(replacements PRIVATE -D__BUILDING_CVC4LIB) |