From a7fd3c50e5a7dbec2b93cc3e88f39dfdb4199a28 Mon Sep 17 00:00:00 2001 From: panasenco Date: Sun, 17 May 2020 20:49:44 -0700 Subject: [PATCH] Updated README with Docker install instructions --- README.md | 22 ++++++++++++++++++++++ 1 file changed, 22 insertions(+) diff --git a/README.md b/README.md index ed9161f5..fbb8bb9a 100644 --- a/README.md +++ b/README.md @@ -93,6 +93,8 @@ strings. ## Installing Scryer Prolog +### Native Install (Unix Only) + First, install the latest stable version of [Rust](https://www.rust-lang.org/en-US/install.html) using your preferred method. Scryer tends to use features from newer Rust @@ -126,6 +128,26 @@ $> cargo run [--release] The optional `--release` flag will perform various optimizations, producing a faster executable. +### Docker Install (All Platforms) + +To automatically download, install, and run Scryer Prolog via Docker, +simply run: +``` +$> docker run -it mthom/scryer-prolog +``` + +To be able to load your program files, bind mount your programs folder +as a Docker volume: + +``` +$> docker run -v /home/user/prolog:/mnt -it mthom/scryer-prolog +?- consult('mnt/program.pl'). +true. +``` + +[Docker](https://hub.docker.com/editions/community/docker-ce-desktop-windows) +is currently the only way to run scryer-prolog on Windows. + ## Tutorial Prolog files are loaded by specifying them as arguments on the command -- 2.54.0