diff options
| author | Marc Coquand <marcc@fastmail.fr> | 2023-12-04 19:57:50 -0600 |
|---|---|---|
| committer | Marc Coquand <marcc@fastmail.fr> | 2023-12-04 19:57:50 -0600 |
| commit | b3934d3e16fa847b308a7f07c51dd48733f31744 (patch) | |
| tree | 67225b79565f100983d982a7674443f8db61805f | |
| parent | f01b869a35bff1638625edd9f98c1fca017e98d9 (diff) | |
| download | wormhole-b3934d3e16fa847b308a7f07c51dd48733f31744.tar.gz wormhole-b3934d3e16fa847b308a7f07c51dd48733f31744.tar.bz2 wormhole-b3934d3e16fa847b308a7f07c51dd48733f31744.zip | |
Add extra variables
Diffstat (limited to '')
| -rw-r--r-- | Dockerfile | 5 |
1 files changed, 4 insertions, 1 deletions
@@ -9,7 +9,10 @@ RUN nix \ --option filter-syscalls false \ build -RUN nix develop -c dune build +RUN nix + --extra-experimental-features "nix-command flakes" \ + --option filter-syscalls false \ + develop -c dune build RUN mkdir /tmp/nix-store-closure RUN cp -R $(nix-store -qR result/) /tmp/nix-store-closure |