diff options
author | Aina Niemetz <aina.niemetz@gmail.com> | 2018-08-16 18:56:03 -0700 |
---|---|---|
committer | Mathias Preiner <mathias.preiner@gmail.com> | 2018-09-22 16:30:59 -0700 |
commit | 107a5ec2da13a459794acb2d1d9b96dec724156c (patch) | |
tree | a5faf0c90a8e46dc45642e4cfabd3bb8d52f2c2e /src/main | |
parent | 3b308863cc79e853175be573a636190d2407601c (diff) |
cmake: Add support for CxxTest.
Diffstat (limited to 'src/main')
-rw-r--r-- | src/main/CMakeLists.txt | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/main/CMakeLists.txt b/src/main/CMakeLists.txt index b49a28223..9d69abbcd 100644 --- a/src/main/CMakeLists.txt +++ b/src/main/CMakeLists.txt @@ -1,4 +1,6 @@ set(libmain_src_files + command_executor.cpp + driver_unified.cpp interactive_shell.cpp interactive_shell.h main.h @@ -14,8 +16,6 @@ if(USE_READLINE) endif() set(cvc4main_src_files - command_executor.cpp - driver_unified.cpp main.cpp ) |