Docker container misses /tmp

[h3ssto]

Thanks to @uulm-janbaudisch, I was pointed towards https://github.com/SoftVarE-Group/d-dnnf-reasoner/pkgs/container/ddnnife.

However, following the documentation, namely

• docker pull ghcr.io/softvare-group/ddnnife:heuristics-command-amd64
• docker run -v <local/directory>:/work ddnnife:main /work/<file.ddnnf> count

yields a confusing error

thread 'main' panicked at /build/8hcf3cvbaincxaykvk6jy30xad24y7g8-source/ddnnife/src/parser.rs:81:34:
Failed to create temporary d-DNNF file.: Custom { kind: NotFound, error: PathError { path: "/tmp/.tmpnPGxOj", err: Os { code: 2, kind: NotFound, message: "No such file or directory" } } }
note: run with `RUST_BACKTRACE=1` environment variable to display a backtrace

Apparently, the /tmp directory ist not created within the container. However, running:
docker run -v <some_dir>:/tmp -v <local/directory>:/work ddnnife:main /work/<file.ddnnf> count works.