CI:禁用 PROJ/UTM(MOOSGeodesy 的 CPM 从 github 拉取 PROJ 被墙导致构建失败)
build-test-deploy / ci (push) Has been cancelled
build-test-deploy / ci (push) Has been cancelled
This commit is contained in:
+2
-2
@@ -56,10 +56,10 @@ RUN set -eux; \
|
|||||||
#-----------------------------------------------------------------------
|
#-----------------------------------------------------------------------
|
||||||
WORKDIR /opt/moos-ivp
|
WORKDIR /opt/moos-ivp
|
||||||
|
|
||||||
RUN ./build-moos.sh -m -j"$(nproc)" && \
|
RUN ./build-moos.sh -m --with-proj=off -j"$(nproc)" && \
|
||||||
make -C build/MOOS/MOOSCore install && \
|
make -C build/MOOS/MOOSCore install && \
|
||||||
make -C build/MOOS/MOOSGeodesy install && \
|
make -C build/MOOS/MOOSGeodesy install && \
|
||||||
./build-ivp.sh -n -j"$(nproc)" && \
|
./build-ivp.sh -n -u -j"$(nproc)" && \
|
||||||
make -C build/ivp install && \
|
make -C build/ivp install && \
|
||||||
ldconfig
|
ldconfig
|
||||||
|
|
||||||
|
|||||||
Reference in New Issue
Block a user