diff --git a/README.md b/README.md index f6e601be..d96a4617 100644 --- a/README.md +++ b/README.md @@ -55,7 +55,8 @@ A Linux distribution. Pluto has been tested on x86 and x86-64 machines running Fedora, Ubuntu, and CentOS. - In order to use the development version from Pluto's git repository, automatic -build system tools, including `autoconf`, `automake`, and `libtool` are needed. +build system tools, including `autoconf`, `automake`, `pkg-config`, and `libtool` + are needed. - LLVM/Clang 14.x (14.x recommended, 11.x, 12.x tested to work as well), along with its development/header files, is needed for the pet submodule. These @@ -90,8 +91,9 @@ pet's pre-requisites. Download the latest stable release from GitHub releases. ```shell -$ tar zxvf pluto-.tar.gz -$ cd pluto-/ +$ PLUTO_VERSION=0.13.0 +$ tar zxvf pluto-${PLUTO_VERSION}.tgz +$ cd pluto-${PLUTO_VERSION}/ $ ./configure [--with-clang-prefix=] $ make $ make test