update build instructions, change to the scryer-prolog crate

This commit is contained in:
Mark Thom
2019-03-13 00:00:24 -06:00
parent d81268a181
commit f0f8bfb569
3 changed files with 8 additions and 8 deletions

4
Cargo.lock generated
View File

@@ -110,8 +110,8 @@ dependencies = [
] ]
[[package]] [[package]]
name = "rusty-wam" name = "scryer-prolog"
version = "0.8.1" version = "0.8.2"
dependencies = [ dependencies = [
"downcast 0.9.2 (registry+https://github.com/rust-lang/crates.io-index)", "downcast 0.9.2 (registry+https://github.com/rust-lang/crates.io-index)",
"num 0.2.0 (registry+https://github.com/rust-lang/crates.io-index)", "num 0.2.0 (registry+https://github.com/rust-lang/crates.io-index)",

View File

@@ -1,9 +1,9 @@
[package] [package]
name = "rusty-wam" name = "scryer-prolog"
version = "0.8.1" version = "0.8.2"
authors = ["Mark Thom <markjordanthom@gmail.com>"] authors = ["Mark Thom <markjordanthom@gmail.com>"]
repository = "https://github.com/mthom/rusty-wam" repository = "https://github.com/mthom/scryer-prolog"
description = "The Warren Abstract Machine in Rust." description = "A modern Prolog implementation written mostly in Rust."
license = "BSD-3-Clause" license = "BSD-3-Clause"
[dependencies] [dependencies]

View File

@@ -95,11 +95,11 @@ preferred method. Then install the latest Scryer Prolog with cargo,
like so: like so:
``` ```
$> cargo install rusty-wam $> cargo install scryer-prolog
``` ```
cargo will download and install the libraries Scryer Prolog uses cargo will download and install the libraries Scryer Prolog uses
automatically. You can find the `rusty-wam` executable in automatically. You can find the `scryer-prolog` executable in
`~/.cargo/bin`. `~/.cargo/bin`.
Note on compatibility: Scryer Prolog should work on Linux, Mac OS X, and Note on compatibility: Scryer Prolog should work on Linux, Mac OS X, and