From: Markus Triska Date: Sat, 1 Apr 2023 08:50:32 +0000 (+0200) Subject: change "run" to "build", since "run" leads to a Scryer prompt which can be unexpected X-Git-Tag: v0.9.2~158^2~3 X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=3df0806017ec8de173bedb2ca63ab089c39dfe81;p=scryer-prolog.git change "run" to "build", since "run" leads to a Scryer prompt which can be unexpected --- diff --git a/README.md b/README.md index ed002d8d..97830007 100644 --- a/README.md +++ b/README.md @@ -115,12 +115,13 @@ distribution should be uninstalled from your system before rustup is used. Currently the only way to install the latest version of Scryer is to -clone directly from this git repository, which can be done as follows: +clone directly from this git repository, and compile the system. This +can be done as follows: ``` $> git clone https://github.com/mthom/scryer-prolog $> cd scryer-prolog -$> cargo run [--release] +$> cargo build [--release] ``` The optional `--release` flag will perform various optimizations,