Updated syscall_intercept dependecy

Moved Syscall intercept project from pmem to
alpha-unito/syscall_intercept

Author: Marco Edoardo Santimaria

.github/workflows/ci-tests.yaml

@@ -122,7 +122,6 @@ jobs:
       - name: "Install packages"
         run: |
           sudo apt install -y \
-            libcapstone-dev \
             libopenmpi-dev \
             ninja-build \
             openmpi-bin \

Dockerfile

@@ -39,7 +39,6 @@ ENV LD_LIBRARY_PATH="/usr/local/lib"
 
 RUN apt update                                                \
  && apt install -y --no-install-recommends                    \
-        libcapstone4                                          \
         openmpi-bin                                           \
         openssh-server                                        \
  && rm -rf /var/lib/apt/lists/*                               \

src/posix/syscall_intercept/CMakeLists.txt

@@ -14,12 +14,13 @@ include(ExternalProject)
 # Import external project from git
 #####################################
 ExternalProject_Add(syscall_intercept
-        GIT_REPOSITORY https://github.com/pmem/syscall_intercept.git
-        GIT_TAG ca4b13531f883597c2f04a40e095f76f6c3a6d22
+        GIT_REPOSITORY https://github.com/alpha-unito/syscall_intercept.git
+        GIT_TAG b05ff8037de2eb7b44dfb7fa372cfe08d565ba84
         PREFIX ${CMAKE_CURRENT_BINARY_DIR}
         CMAKE_ARGS
+        -DSTATIC_CAPSTONE=ON
         -DBUILD_TESTS=OFF
         -DBUILD_EXAMPLES=OFF
         -DCMAKE_BUILD_TYPE=${CMAKE_BUILD_TYPE}
         -DCMAKE_INSTALL_PREFIX:PATH=<INSTALL_DIR>
-)
+)