diff --git a/INSTALL.md b/INSTALL.md index 7ecfd19f5..251af2e54 100644 --- a/INSTALL.md +++ b/INSTALL.md @@ -118,6 +118,29 @@ sudo apt-get install -y \ zlib1g-dev ``` +### Debian 8 + +```sh +sudo apt install -y \ + autoconf \ + automake \ + build-essential \ + git \ + libgmp-dev \ + libmpc-dev \ + libmpfr-dev \ + m4 \ + openjdk-7-jdk \ + unzip \ + zlib1g-dev \ + opam \ + rsync \ + pkg-config \ + libncurses-dev \ + python \ + aspcud +``` + ### Ubuntu 12.04.4 LTS ```sh