From ce375958df9ab7c7a27c365c7c3c3e4c83ba5476 Mon Sep 17 00:00:00 2001
From: Fabian Vu <Fabian.Vu@hhu.de>
Date: Fri, 20 Sep 2024 08:56:51 +0200
Subject: [PATCH] Fix CMakeLists

---
 CMakeLists.txt | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/CMakeLists.txt b/CMakeLists.txt
index 9132e02a2..619c1eaf1 100644
--- a/CMakeLists.txt
+++ b/CMakeLists.txt
@@ -4,5 +4,5 @@ enable_language(CXX)
 
 include_directories ("${PROJECT_SOURCE_DIR}/btypes_primitives")
 include_directories ("${PROJECT_SOURCE_DIR}/btypes_big_integer")
-install (FILES "${PROJECT_SOURCE_DIR}/btypes_primitives/src/main/cpp/BBoolean.hpp" "${PROJECT_SOURCE_DIR}/btypes_primitives/src/main/cpp/BInteger.hpp" "${PROJECT_SOURCE_DIR}/btypes_primitives/src/main/cpp/BObject.hpp" "${PROJECT_SOURCE_DIR}/btypes_primitives/src/main/cpp/BRelation.hpp" "${PROJECT_SOURCE_DIR}/btypes_primitives/src/main/cpp/BSet.hpp" "${PROJECT_SOURCE_DIR}/btypes_primitives/src/main/cpp/BString.hpp" "${PROJECT_SOURCE_DIR}/btypes_primitives/src/main/cpp/BStruct.hpp" "${PROJECT_SOURCE_DIR}/btypes_primitives/src/main/cpp/BTuple.hpp" "${PROJECT_SOURCE_DIR}/btypes_primitives/src/main/cpp/BUtils.hpp" "${PROJECT_SOURCE_DIR}/btypes_primitives/src/main/cpp/PreconditionOrAssertionViolation.hpp" "${PROJECT_SOURCE_DIR}/btypes_primitives/src/main/cpp/StateNotReachableError.hpp" DESTINATION include/btypes_primitives "${PROJECT_SOURCE_DIR}/btypes_primitives/src/main/cpp/VariantViolation.hpp" DESTINATION include/btypes_primitives "${PROJECT_SOURCE_DIR}/btypes_primitives/src/main/cpp/LoopInvariantViolation.hpp" DESTINATION include/btypes_primitives)
-install (FILES "${PROJECT_SOURCE_DIR}/btypes_big_integer/src/main/cpp/BBoolean.hpp" "${PROJECT_SOURCE_DIR}/btypes_big_integer/src/main/cpp/BInteger.hpp" "${PROJECT_SOURCE_DIR}/btypes_big_integer/src/main/cpp/BObject.hpp" "${PROJECT_SOURCE_DIR}/btypes_big_integer/src/main/cpp/BRelation.hpp" "${PROJECT_SOURCE_DIR}/btypes_big_integer/src/main/cpp/BSet.hpp" "${PROJECT_SOURCE_DIR}/btypes_big_integer/src/main/cpp/BString.hpp" "${PROJECT_SOURCE_DIR}/btypes_big_integer/src/main/cpp/BStruct.hpp" "${PROJECT_SOURCE_DIR}/btypes_big_integer/src/main/cpp/BTuple.hpp" "${PROJECT_SOURCE_DIR}/btypes_big_integer/src/main/cpp/BUtils.hpp" "${PROJECT_SOURCE_DIR}/btypes_big_integer/src/main/cpp/PreconditionOrAssertionViolation.hpp" "${PROJECT_SOURCE_DIR}/btypes_big_integer/src/main/cpp/StateNotReachableError.hpp" DESTINATION include/btypes_big_integer "${PROJECT_SOURCE_DIR}/btypes_big_integer/src/main/cpp/VariantViolation.hpp" DESTINATION include/btypes_big_integer "${PROJECT_SOURCE_DIR}/btypes_big_integer/src/main/cpp/LoopInvariantViolation.hpp" DESTINATION include/btypes_big_integer)
\ No newline at end of file
+install (FILES "${PROJECT_SOURCE_DIR}/btypes_primitives/src/main/cpp/BBoolean.hpp" "${PROJECT_SOURCE_DIR}/btypes_primitives/src/main/cpp/BInteger.hpp" "${PROJECT_SOURCE_DIR}/btypes_primitives/src/main/cpp/BObject.hpp" "${PROJECT_SOURCE_DIR}/btypes_primitives/src/main/cpp/BRelation.hpp" "${PROJECT_SOURCE_DIR}/btypes_primitives/src/main/cpp/BSet.hpp" "${PROJECT_SOURCE_DIR}/btypes_primitives/src/main/cpp/BString.hpp" "${PROJECT_SOURCE_DIR}/btypes_primitives/src/main/cpp/BStruct.hpp" "${PROJECT_SOURCE_DIR}/btypes_primitives/src/main/cpp/BTuple.hpp" "${PROJECT_SOURCE_DIR}/btypes_primitives/src/main/cpp/BUtils.hpp" "${PROJECT_SOURCE_DIR}/btypes_primitives/src/main/cpp/PreconditionOrAssertionViolation.hpp" "${PROJECT_SOURCE_DIR}/btypes_primitives/src/main/cpp/StateNotReachableError.hpp" "${PROJECT_SOURCE_DIR}/btypes_primitives/src/main/cpp/VariantViolation.hpp" "${PROJECT_SOURCE_DIR}/btypes_primitives/src/main/cpp/LoopInvariantViolation.hpp" DESTINATION include/btypes_primitives)
+install (FILES "${PROJECT_SOURCE_DIR}/btypes_big_integer/src/main/cpp/BBoolean.hpp" "${PROJECT_SOURCE_DIR}/btypes_big_integer/src/main/cpp/BInteger.hpp" "${PROJECT_SOURCE_DIR}/btypes_big_integer/src/main/cpp/BObject.hpp" "${PROJECT_SOURCE_DIR}/btypes_big_integer/src/main/cpp/BRelation.hpp" "${PROJECT_SOURCE_DIR}/btypes_big_integer/src/main/cpp/BSet.hpp" "${PROJECT_SOURCE_DIR}/btypes_big_integer/src/main/cpp/BString.hpp" "${PROJECT_SOURCE_DIR}/btypes_big_integer/src/main/cpp/BStruct.hpp" "${PROJECT_SOURCE_DIR}/btypes_big_integer/src/main/cpp/BTuple.hpp" "${PROJECT_SOURCE_DIR}/btypes_big_integer/src/main/cpp/BUtils.hpp" "${PROJECT_SOURCE_DIR}/btypes_big_integer/src/main/cpp/PreconditionOrAssertionViolation.hpp" "${PROJECT_SOURCE_DIR}/btypes_big_integer/src/main/cpp/StateNotReachableError.hpp" "${PROJECT_SOURCE_DIR}/btypes_big_integer/src/main/cpp/VariantViolation.hpp" "${PROJECT_SOURCE_DIR}/btypes_big_integer/src/main/cpp/LoopInvariantViolation.hpp" DESTINATION include/btypes_big_integer)
\ No newline at end of file
-- 
GitLab