Update CI paths

This commit is contained in:
Thomas Krijnen
2025-08-29 09:26:23 +02:00
parent 01ea1f627d
commit 51ae3f4c5e
+5 -2
View File
@@ -80,6 +80,8 @@ jobs:
cd rocksdb
mkdir build && cd build
cmake -DFAIL_ON_WARNINGS=Off \
-DCMAKE_BUILD_TYPE=Release \
-DCMAKE_INSTALL_PREFIX=/usr/local \
-DWITH_TESTS=OFF \
-DWITH_TOOLS=OFF \
-DWITH_GFLAGS=OFF \
@@ -87,6 +89,7 @@ jobs:
-DWITH_CORE_TOOLS=OFF \
-DROCKSDB_BUILD_SHARED=Off \
-DCMAKE_POSITION_INDEPENDENT_CODE=On \
-DUSE_RTTI=On \
..
sudo make -j$(nproc) install
@@ -119,8 +122,8 @@ jobs:
-DMPFR_LIBRARY_DIR=/usr/lib/x86_64-linux-gnu \
-DHDF5_INCLUDE_DIR=/usr/include/hdf5/serial \
-DEIGEN_DIR=/usr/include/eigen3 \
-DROCKSDB_INCLUDE_DIR=/usr/include \
-DROCKSDB_LIBRARY_DIR=/usr/lib/x86_64-linux-gnu \
-DROCKSDB_INCLUDE_DIR=/usr/local/include \
-DROCKSDB_LIBRARY_DIR=/usr/local/lib \
-DWITH_ROCKSDB=On \
../cmake
sudo make -j $(nproc)