From f0724a2ee21cfa490af4fc00627fee4bc74b23a2 Mon Sep 17 00:00:00 2001
From: Martin Schoeberl <martin@jopdesign.com>
Date: Mon, 22 Aug 2016 16:30:57 +0200
Subject: [PATCH] doc: change to the default Java JDK
---
README.md | 8 +++++++-
1 file changed, 7 insertions(+), 1 deletion(-)
diff --git a/README.md b/README.md
index eb5ff784..65c48f60 100644
--- a/README.md
+++ b/README.md
@@ -19,10 +19,16 @@ Several packages need to be installed.
The following apt-get lists the packages that need to be
installed on a Ubuntu Linux:
- sudo apt-get install openjdk-7-jdk git cmake make g++ texinfo flex bison \
+ sudo apt-get install default-jdk git cmake make g++ texinfo flex bison \
subversion libelf-dev graphviz libboost-dev libboost-program-options-dev ruby1.9.1 \
ruby1.9.1-dev python zlib1g-dev gtkwave gtkterm scala
+On a restricted machine (e.g. Cloud9) the bare minimum is:
+
+ sudo apt-get install default-jdk git cmake make g++ flex bison \
+ subversion libelf-dev graphviz libboost-dev libboost-program-options-dev ruby1.9.1 \
+ ruby1.9.1-dev python zlib1g-dev
+
Install sbt with:
wget http://dl.bintray.com/sbt/debian/sbt-0.13.2.deb
--
GitLab