From: Mark Thom Date: Wed, 13 Mar 2019 06:00:24 +0000 (-0600) Subject: update build instructions, change to the scryer-prolog crate X-Git-Tag: v0.8.110~180 X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=f0f8bfb5698c7895c45a5d5c4ba47dc680bfa212;p=scryer-prolog.git update build instructions, change to the scryer-prolog crate --- diff --git a/Cargo.lock b/Cargo.lock index cebdff17..5dd05755 100644 --- a/Cargo.lock +++ b/Cargo.lock @@ -110,8 +110,8 @@ dependencies = [ ] [[package]] -name = "rusty-wam" -version = "0.8.1" +name = "scryer-prolog" +version = "0.8.2" dependencies = [ "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)", diff --git a/Cargo.toml b/Cargo.toml index 2395dd58..a6196c95 100644 --- a/Cargo.toml +++ b/Cargo.toml @@ -1,9 +1,9 @@ [package] -name = "rusty-wam" -version = "0.8.1" +name = "scryer-prolog" +version = "0.8.2" authors = ["Mark Thom "] -repository = "https://github.com/mthom/rusty-wam" -description = "The Warren Abstract Machine in Rust." +repository = "https://github.com/mthom/scryer-prolog" +description = "A modern Prolog implementation written mostly in Rust." license = "BSD-3-Clause" [dependencies] diff --git a/README.md b/README.md index c3ecce96..d8a86f2a 100644 --- a/README.md +++ b/README.md @@ -95,11 +95,11 @@ preferred method. Then install the latest Scryer Prolog with cargo, like so: ``` -$> cargo install rusty-wam +$> cargo install scryer-prolog ``` 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`. Note on compatibility: Scryer Prolog should work on Linux, Mac OS X, and