Merge pull request #425 from secure-software-engineering/f-WorkaroundLinkingIssue

pdschubert · web-flow · commit 023e31f73cd7 · 2021-10-20T15:48:33.000+02:00
Fixes linking issue, where PTS requires getNumGlobals
diff --git a/lib/DB/CMakeLists.txt b/lib/DB/CMakeLists.txt
@@ -5,8 +5,6 @@ include_directories(
 )
 
 set(PHASAR_LINK_LIBS
-  phasar_pointer
-  phasar_typehierarchy
   phasar_passes
   phasar_utils
 )
diff --git a/lib/DB/phasar_db-config.cmake b/lib/DB/phasar_db-config.cmake
@@ -11,8 +11,6 @@ list(APPEND
 
 list(APPEND
   PHASAR_DB_DEPS
-  pointer
-  typehierarchy
   passes
   utils
 )
diff --git a/lib/PhasarLLVM/Pointer/CMakeLists.txt b/lib/PhasarLLVM/Pointer/CMakeLists.txt
@@ -2,6 +2,7 @@ file(GLOB_RECURSE POINTER_SRC *.h *.cpp)
 
 set(PHASAR_LINK_LIBS
   phasar_utils
+  phasar_db
 )
 
 set(LLVM_LINK_COMPONENTS
diff --git a/lib/PhasarLLVM/Pointer/phasar_pointer-config.cmake b/lib/PhasarLLVM/Pointer/phasar_pointer-config.cmake
@@ -11,6 +11,7 @@ list(APPEND
 
 list(APPEND
   PHASAR_POINTER_DEPS
+  db
   utils
 )
 

Original file line number	Diff line number	Diff line change
`@@ -2,6 +2,7 @@ file(GLOB_RECURSE POINTER_SRC .h .cpp)`
`2`	`2`
`3`	`3`	`set(PHASAR_LINK_LIBS`
`4`	`4`	`phasar_utils`
	`5`	`+ phasar_db`
`5`	`6`	`)`
`6`	`7`
`7`	`8`	`set(LLVM_LINK_COMPONENTS`