Merge pull request #214 from Wenzel/ci/fix_fdp_compilation

ci: FDP on Linux links with rt
Wenzel · Sep 6, 2021 · 7d483ad · 7d483ad
2 parents c57d9b7 + b63210f
commit 7d483ad
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -158,7 +158,7 @@ jobs:
       - name: Compile and install FDP library
         run: |
           cd icebox/src/FDP
-          g++ -std=c++11 -shared -fPIC FDP.cpp -o libFDP.so
+          g++ -std=c++11 -shared -fPIC FDP.cpp -o libFDP.so -lrt
           sudo cp include/* /usr/local/include
           sudo cp libFDP.so /usr/local/lib
       - name: install stable toolchain with clippy
@@ -299,7 +299,7 @@ jobs:
 
       - name: install VirtualBox's FDP headers
         run: |
-          g++ -std=c++11 -shared -fPIC FDP.cpp -o libFDP.so
+          g++ -std=c++11 -shared -fPIC FDP.cpp -o libFDP.so -lrt
           sudo cp include/* /usr/local/include
           sudo cp libFDP.so /usr/local/lib
         working-directory: icebox/src/FDP

diff --git a/python/Dockerfile b/python/Dockerfile
@@ -35,7 +35,7 @@ RUN git clone https://github.com/bitdefender/libkvmi.git \
 # libFDP.so
 RUN git clone --depth 1 https://github.com/thalium/icebox \
     && cd icebox/src/FDP \
-    && g++ -std=c++11 -shared -fPIC FDP.cpp -o libFDP.so \
+    && g++ -std=c++11 -shared -fPIC FDP.cpp -o libFDP.so -lrt \
     && mv include/* /usr/local/include/ \
     && mv libFDP.so /usr/local/lib/ \
     && cd - \