From f9c58f5574c8fa08da63b4585fd5a71c163b9841 Mon Sep 17 00:00:00 2001 From: "Paolo G. Giarrusso" Date: Wed, 14 Feb 2018 13:49:05 +0100 Subject: [PATCH] Clarify we do NOT yet support Java 9. See #3138. --- docs/docs/contributing/getting-started.md | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/docs/docs/contributing/getting-started.md b/docs/docs/contributing/getting-started.md index 90af47214f12..277056082f17 100644 --- a/docs/docs/contributing/getting-started.md +++ b/docs/docs/contributing/getting-started.md @@ -7,8 +7,9 @@ title: Getting Started Requirements ------------ -Make sure that you are using Java 8 or later. The output of `java -version` -should contain `1.8`. +Make sure that you are using Java 8: The output of `java -version` should +contain `1.8`. Work to support Java 9 is +[ongoing](https://github.com/lampepfl/dotty/pull/3138). Compiling and Running ---------------------