diff --git a/ci/Dockerfile b/ci/Dockerfile index 29a0286..06c1576 100755 --- a/ci/Dockerfile +++ b/ci/Dockerfile @@ -50,10 +50,9 @@ RUN --mount=type=secret,id=gitea_token \ #----------------------------------------------------------------------- WORKDIR /opt/moos-ivp -RUN ./build-moos.sh -m --with-proj=off -j"$(nproc)" && \ +RUN ./build-moos.sh -m -j"$(nproc)" && \ make -C build/MOOS/MOOSCore install && \ - make -C build/MOOS/MOOSGeodesy install && \ - ./build-ivp.sh -n -u -j"$(nproc)" && \ + ./build-ivp.sh -n -j"$(nproc)" && \ make -C build/ivp install && \ ldconfig