Merge pull request #94 from amutake/feature/check-so

Check shared libraries installed

branch-saphe/Dockerfile

@@ -46,6 +46,14 @@ RUN apt-get update && \
     apt-get install -y git wget unzip && \
     rm -rf /var/lib/apt/lists/*
 
+# Check all shared libraries installed
+RUN for bin in satysfi saphe; do \
+    ldd $(which $bin) | grep "not found"; \
+    if [ $? -eq 0 ]; then \
+    exit 1; \
+    fi; \
+    done
+
 # Setup build directory
 RUN mkdir /satysfi
 WORKDIR /satysfi

branch/Dockerfile

@@ -50,6 +50,14 @@ COPY --from=build-env /satyrographos-revision /satyrographos-revision
 
 RUN date --iso-8601=seconds > /build-date
 
+# Check all shared libraries installed
+RUN for bin in satysfi satyrographos; do \
+    ldd $(which $bin) | grep "not found"; \
+    if [ $? -eq 0 ]; then \
+    exit 1; \
+    fi; \
+    done
+
 # Setup build directory
 RUN mkdir /satysfi
 WORKDIR /satysfi

opam-slim/Dockerfile

@@ -61,6 +61,14 @@ RUN git clone --depth=1 https://github.com/ocaml/opam-repository.git \
 COPY --from=build-env /satysfi /usr/local/bin/satysfi
 COPY --from=build-env /satyrographos /usr/local/bin/satyrographos
 
+# Check all shared libraries installed
+RUN for bin in satysfi satyrographos; do \
+      ldd $(which $bin) | grep "not found"; \
+      if [ $? -eq 0 ]; then \
+      exit 1; \
+      fi; \
+      done
+
 # Install satysfi-dist
 RUN opam install satysfi-dist.${SATYSFI_VERSION} \
       && opam clean -a -c -r --logs --unused-repositories \

slim/Dockerfile

@@ -23,6 +23,14 @@ COPY --from=build-env /root/.satysfi /usr/local/share/satysfi
 COPY --from=build-env /satysfi /usr/local/bin/satysfi
 COPY --from=build-env /satyrographos /usr/local/bin/satyrographos
 
+# Check all shared libraries installed
+RUN for bin in satysfi satyrographos; do \
+  ldd $(which $bin) | grep "not found"; \
+  if [ $? -eq 0 ]; then \
+  exit 1; \
+  fi; \
+  done
+
 # Setup build directory
 RUN mkdir /satysfi
 WORKDIR /satysfi