From d6ac125425b3b26f6be1136e79ed8428edc084da Mon Sep 17 00:00:00 2001 From: Markus Triska Date: Sat, 1 Apr 2023 10:42:13 +0200 Subject: [PATCH] DOC: explain location of scryer-prolog after compilation This question was recently raised on the #scryer IRC channel. --- README.md | 3 +++ 1 file changed, 3 insertions(+) diff --git a/README.md b/README.md index a91ce449..7cf8c129 100644 --- a/README.md +++ b/README.md @@ -127,6 +127,9 @@ $> cargo build --release The `--release` flag performs various optimizations, producing a faster executable. +After compilation, the executable `scryer-prolog` is available in the +directory `target/release` and can be invoked to run the system. + On Windows, Scryer Prolog is easier to build inside a [MSYS2](https://www.msys2.org/) environment as some crates may require native C compilation. However, the resulting binary does not need MSYS2 to run. When executing Scryer in a shell, it is recommended to use a more advanced shell than mintty (the default MSYS2 shell). The [Windows Terminal](https://github.com/microsoft/terminal) works correctly. -- 2.54.0