From f2c96381dc6eed4c325be08e5d9b24650cb86dcd Mon Sep 17 00:00:00 2001 From: Konstantinos Chatzilygeroudis Date: Tue, 17 Sep 2024 00:18:07 +0300 Subject: [PATCH] Build/install dartpy as well --- ci/install_dart_latest.sh | 2 ++ 1 file changed, 2 insertions(+) diff --git a/ci/install_dart_latest.sh b/ci/install_dart_latest.sh index 3ea48327..cbc4e66b 100755 --- a/ci/install_dart_latest.sh +++ b/ci/install_dart_latest.sh @@ -42,7 +42,9 @@ else cmake -DDART_TREAT_WARNINGS_AS_ERRORS=OFF -DBUILD_SHARED_LIBS=ON -DCMAKE_BUILD_TYPE=$BUILD_TYPE -DCMAKE_INSTALL_PREFIX=${PREFIX} .. fi make -j4 +make -j4 dartpy ${SUDOCMD} make install +${SUDOCMD} make install dartpy # We are inside the CI if [ "$PREFIX" = "/home/runner/.dart_install" ]; then