rishi/scryer-prolog
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Updated README with Docker install instructions

Browse Source
This commit is contained in:
panasenco
2020-05-17 20:49:44 -07:00
parent 5639f40994
commit a7fd3c50e5
1 changed files with 22 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

22
README.md
View File

@@ -93,6 +93,8 @@ strings.
## Installing Scryer Prolog ## Installing Scryer Prolog
### Native Install (Unix Only)
First, install the latest stable version of First, install the latest stable version of
[Rust](https://www.rust-lang.org/en-US/install.html) using your [Rust](https://www.rust-lang.org/en-US/install.html) using your
preferred method. Scryer tends to use features from newer Rust 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, The optional `--release` flag will perform various optimizations,
producing a faster executable. 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 ## Tutorial
Prolog files are loaded by specifying them as arguments on the command Prolog files are loaded by specifying them as arguments on the command