diff --git a/pull-and-compile-tooling b/pull-and-compile-tooling index 02aced0..3b6ad5b 100755 --- a/pull-and-compile-tooling +++ b/pull-and-compile-tooling @@ -11,10 +11,12 @@ rm -rf build) (cd fetch-indexes-cpp && rm -rf build; mkdir build && (cd build && -cmake .. -DCMAKE_PREFIX_PATH="/srv/lubuntu-ci/repos/ci-tools;${CMAKE_PREFIX_PATH}" && make -j$(nproc)) && -mv build/fetch-indexes ../ && rm -rf build) +cmake .. -DCMAKE_PREFIX_PATH="/srv/lubuntu-ci/repos/ci-tools;${CMAKE_PREFIX_PATH}" && +make -j$(nproc) && cmake --install . --prefix /srv/lubuntu-ci/repos/ci-tools) && +rm -rf build) (cd build-packages-cpp && rm -rf build; mkdir build && (cd build && -cmake .. -DCMAKE_PREFIX_PATH="/srv/lubuntu-ci/repos/ci-tools;${CMAKE_PREFIX_PATH}" && make -j$(nproc)) && -mv build/build-packages ../ && rm -rf build) +cmake .. -DCMAKE_PREFIX_PATH="/srv/lubuntu-ci/repos/ci-tools;${CMAKE_PREFIX_PATH}" && +make -j$(nproc) && cmake --install . --prefix /srv/lubuntu-ci/repos/ci-tools) && +rm -rf build)