From: panasenco Date: Mon, 18 May 2020 03:49:44 +0000 (-0700) Subject: Updated README with Docker install instructions X-Git-Tag: v0.8.123~13^2 X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=a7fd3c50e5a7dbec2b93cc3e88f39dfdb4199a28;p=scryer-prolog.git Updated README with Docker install instructions --- 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