diff --git a/cosmo-muon/Dockerfile b/cosmo-muon/Dockerfile index 7fe886a..2084baf 100644 --- a/cosmo-muon/Dockerfile +++ b/cosmo-muon/Dockerfile @@ -47,6 +47,6 @@ RUN : \ FROM scratch AS runner COPY --chmod=0755 --from=localhost/notwa-util /nu/busybox /bin/busybox -COPY --chmod=0755 --from=builder /cosmopolitan/dist/def/ape.elf /bin/ape +COPY --chmod=0755 --from=builder /cosmopolitan/bin/ape /bin/ape COPY --chmod=0755 --from=builder /muon/build/muon.com /muon/build/muon.com.dbg /bin/ ENTRYPOINT ["/bin/ape", "/bin/muon.com"] diff --git a/cosmo-yices/Dockerfile b/cosmo-yices/Dockerfile index 8202074..333c98d 100644 --- a/cosmo-yices/Dockerfile +++ b/cosmo-yices/Dockerfile @@ -119,7 +119,7 @@ RUN : \ FROM scratch AS runner COPY --chmod=0755 --from=localhost/notwa-util /nu/busybox /bin/busybox -COPY --chmod=0755 --from=builder /cosmopolitan/dist/def/ape.elf /bin/ape +COPY --chmod=0755 --from=builder /cosmopolitan/bin/ape /bin/ape COPY --from=builder /yices/config.cache /yices/config.log /yices/config.status /var/local/ COPY --from=builder /yices/dist/bin /bin COPY --chmod=0755 --from=builder /kissat/build/kissat.com /kissat/build/kissat.com.dbg /bin/