From 4e6b8666735834b6078981325465cc5013767122 Mon Sep 17 00:00:00 2001 From: Connor Olding Date: Tue, 11 Oct 2022 12:01:17 -0700 Subject: [PATCH] muon, yices: fix copying for non-default builds --- cosmo-muon/Dockerfile | 2 +- cosmo-yices/Dockerfile | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) 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/