diff options
Diffstat (limited to 'src/parser')
| -rw-r--r-- | src/parser/CMakeLists.txt | 4 | ||||
| -rw-r--r-- | src/parser/cvc/CMakeLists.txt | 0 | ||||
| -rw-r--r-- | src/parser/smt1/CMakeLists.txt | 0 | ||||
| -rw-r--r-- | src/parser/smt2/CMakeLists.txt | 0 | ||||
| -rw-r--r-- | src/parser/tptp/CMakeLists.txt | 0 |
5 files changed, 4 insertions, 0 deletions
diff --git a/src/parser/CMakeLists.txt b/src/parser/CMakeLists.txt new file mode 100644 index 000000000..dcb580d8f --- /dev/null +++ b/src/parser/CMakeLists.txt @@ -0,0 +1,4 @@ +add_subdirectory(cvc) +add_subdirectory(smt1) +add_subdirectory(smt2) +add_subdirectory(tptp) diff --git a/src/parser/cvc/CMakeLists.txt b/src/parser/cvc/CMakeLists.txt new file mode 100644 index 000000000..e69de29bb --- /dev/null +++ b/src/parser/cvc/CMakeLists.txt diff --git a/src/parser/smt1/CMakeLists.txt b/src/parser/smt1/CMakeLists.txt new file mode 100644 index 000000000..e69de29bb --- /dev/null +++ b/src/parser/smt1/CMakeLists.txt diff --git a/src/parser/smt2/CMakeLists.txt b/src/parser/smt2/CMakeLists.txt new file mode 100644 index 000000000..e69de29bb --- /dev/null +++ b/src/parser/smt2/CMakeLists.txt diff --git a/src/parser/tptp/CMakeLists.txt b/src/parser/tptp/CMakeLists.txt new file mode 100644 index 000000000..e69de29bb --- /dev/null +++ b/src/parser/tptp/CMakeLists.txt |