
Hi Johannes, I set the mount point when running the container via apptainer. As far as I can tell, the corresponding path does not need to exist in the container, so that shouldn't be an issue. Best Florian
Hi Florian,
the container needs a mount point? in order to make this work:
docker run -v ./data:/mnt:Z,ro --rm -it jwaldmann/termcomp2025-mbox:21-07-2025 solver /mnt/Zantema/z001.srs
You can do the mount when running (apptainer does it?) but the name "/mnt" must exist in the container? so it has to be known when building the container? (a super minimal container ("FROM scratch") might not have it)
- Johannes.
NB: I managed to build a nice small container (20 MB compressed - about the same size as the zip file for starexec) with the two-stage approach described here https://jpetazzo.github.io/2020/02/01/quest-minimal-docker-images-part-1/ (busybox:glibc)