ci: Fix prefix for Linux binary release build

diff --git a/ci/build-binary b/ci/build-binary
index cd3b1c76ec0ee614868d92f922febe37a508f401..2da74555f514df64d5824c2038277d077f8fa961 100755 (executable)
--- a/ci/build-binary
+++ b/ci/build-binary
@@ -10,11 +10,10 @@ cmake \
     -D CMAKE_BUILD_TYPE=Release \
     -D DEPS=DOWNLOAD \
     -D ENABLE_TESTING=OFF \
-    -D CMAKE_INSTALL_PREFIX=$(pwd)/../install \
     ${CMAKE_PARAMS} \
     ..
 cmake --build .
-cmake --install . --strip
+DESTDIR=$(pwd)/../install cmake --install . --strip
 
 cd ..
 find install -ls

diff --git a/ci/build-docs b/ci/build-docs
index 07540a9049d579e0f34c8e5151c15864344630fc..abf32e03061dc53d3990ac9a36b44ee6e7b57b70 100755 (executable)
--- a/ci/build-docs
+++ b/ci/build-docs
@@ -3,5 +3,5 @@
 set -eux
 
 dir=build
-cmake -B "${dir}" -D CMAKE_INSTALL_PREFIX="$(pwd)/install"
-ninja -C "${dir}" doc/install
+cmake -B "${dir}"
+DESTDIR=$(pwd)/install ninja -C "${dir}" doc/install