# HG changeset patch
# User jlahoda
# Date 1436267872 -7200
# Node ID 756e4c77cd2dc4c13ff7438fb95858d901dc38b7
# Parent  61d2d0629b6dbf4c091dc86151ade1b3ef34fffe
8080679: Include jline in JDK for Java and JavaScript REPLs
Reviewed-by: alanb, erikj, forax, iris, sundar

diff -r 61d2d0629b6d -r 756e4c77cd2d make/CompileJavaModules.gmk
--- a/make/CompileJavaModules.gmk	Wed Jul 05 20:40:53 2017 +0200
+++ b/make/CompileJavaModules.gmk	Tue Jul 07 13:17:52 2015 +0200
@@ -368,6 +368,10 @@
 
 ################################################################################
 
+jdk.internal.le_COPY := .properties
+
+################################################################################
+
 jdk.jcmd_COPY := _options
 
 ################################################################################
diff -r 61d2d0629b6d -r 756e4c77cd2d make/Images.gmk
--- a/make/Images.gmk	Wed Jul 05 20:40:53 2017 +0200
+++ b/make/Images.gmk	Tue Jul 07 13:17:52 2015 +0200
@@ -46,7 +46,7 @@
                jdk.naming.dns jdk.naming.rmi jdk.scripting.nashorn jdk.zipfs
 
 # tools
-TOOLS_MODULES += jdk.attach jdk.compiler jdk.dev jdk.javadoc jdk.jcmd jdk.jconsole \
+TOOLS_MODULES += jdk.attach jdk.compiler jdk.dev jdk.internal.le jdk.javadoc jdk.jcmd jdk.jconsole \
                jdk.hotspot.agent jdk.hprof.agent jdk.jartool jdk.jdeps jdk.jdi jdk.jdwp.agent \
                jdk.policytool jdk.rmic jdk.xml.bind jdk.xml.ws
 
diff -r 61d2d0629b6d -r 756e4c77cd2d modules.xml
--- a/modules.xml	Wed Jul 05 20:40:53 2017 +0200
+++ b/modules.xml	Tue Jul 07 13:17:52 2015 +0200
@@ -1625,6 +1625,26 @@
     </export>
   </module>
   <module>
+    <name>jdk.internal.le</name>
+    <depend>java.base</depend>
+    <export>
+      <name>jdk.internal.jline</name>
+      <to>jdk.scripting.nashorn.shell</to>
+    </export>
+    <export>
+      <name>jdk.internal.jline.console</name>
+      <to>jdk.scripting.nashorn.shell</to>
+    </export>
+    <export>
+      <name>jdk.internal.jline.console.completer</name>
+      <to>jdk.scripting.nashorn.shell</to>
+    </export>
+    <export>
+      <name>jdk.internal.jline.console.history</name>
+      <to>jdk.scripting.nashorn.shell</to>
+    </export>
+  </module>
+  <module>
     <name>jdk.jartool</name>
     <depend>java.base</depend>
     <export>