diff --git a/ci/deps.sh b/ci/deps.sh index bb0ec352..17424a25 100755 --- a/ci/deps.sh +++ b/ci/deps.sh @@ -8,7 +8,12 @@ for repo in $(jq -r 'keys[]' "$ROOT/deps.json"); do gh release download "$ver" -R "array2d/$repo" -p "${repo}-abi-*-linux-x86_64.tar.gz" -D "$tmp" tar xzf "$tmp"/*.tar.gz -C "$tmp" --strip-components=1 if [ -d "$tmp/include" ]; then sudo cp -r "$tmp/include/"* /usr/include/; fi - sudo cp "$tmp/lib/"*.so* /usr/lib/ + if [ "$repo" = "kvspace-c" ] || [ "$repo" = "kvspace-durable" ]; then + sudo mkdir -p /usr/lib/kvspace + sudo cp "$tmp/lib/"*.so* /usr/lib/kvspace/ + else + sudo cp "$tmp/lib/"*.so* /usr/lib/ + fi rm -rf "$tmp" done echo "✅ ABI deps → /usr/lib + /usr/include"