Skip to content

Latest commit

 

History

History
24 lines (24 loc) · 820 Bytes

README.md

File metadata and controls

24 lines (24 loc) · 820 Bytes
Raw

SWI-Prolog in Docker with Nix

Containerize a SWI-Prolog script in Docker with Nix

Usage

~/PrologNixDocker (master) $ make
nix-build docker.nix
/nix/store/c42fbg3fli5ma1wajhya8wx394vgpgmn-docker-image-prolog-nix-docker.tar.gz
~/PrologNixDocker (master) $ make install
nix-build docker.nix
/nix/store/c42fbg3fli5ma1wajhya8wx394vgpgmn-docker-image-prolog-nix-docker.tar.gz
docker load < result
Loaded image: prolog-nix-docker:latest
~/PrologNixDocker (master) $ make run
docker run prolog-nix-docker
Free: 3942188 / Total: 16275968
~/PrologNixDocker (master) $ make run
docker run prolog-nix-docker
Free: 3943040 / Total: 16275968
~/PrologNixDocker (master) $ make run
docker run prolog-nix-docker
Free: 3941964 / Total: 16275968

Automatic install of Packs

  • Using extraPacks and extraLibraries