From cb7505bb8bd946d828489c0db3ed05de299ad811 Mon Sep 17 00:00:00 2001 From: Konstantinos Chatzilygeroudis Date: Tue, 17 Sep 2024 10:30:22 +0300 Subject: [PATCH] I do not understand --- ci/install_dart_latest.sh | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/ci/install_dart_latest.sh b/ci/install_dart_latest.sh index 6d01ba4f..d12b2bb8 100755 --- a/ci/install_dart_latest.sh +++ b/ci/install_dart_latest.sh @@ -41,10 +41,13 @@ cmake -DDART_TREAT_WARNINGS_AS_ERRORS=OFF -DDART_BUILD_DARTPY=ON -DBUILD_SHARED_ else cmake -DDART_TREAT_WARNINGS_AS_ERRORS=OFF -DBUILD_SHARED_LIBS=ON -DCMAKE_BUILD_TYPE=$BUILD_TYPE -DCMAKE_INSTALL_PREFIX=${PREFIX} .. fi +# First C++ lib make -j4 +${SUDOCMD} make install + +# Then dartpy make -j4 dartpy ${SUDOCMD} make install -${SUDOCMD} make install dartpy # We are inside the CI if [ "$PREFIX" = "/home/runner/.dart_install" ]; then