# HG changeset patch
# User Jaroslav Tulach <jaroslav.tulach@apidesign.org>
# Date 1398431169 -7200
# Node ID c2a6be99ffe2e1f1b9e71c01eb1c1b927b5973c6
# Parent  84a744941c9fd67a797aaf298bedaa506d641ee7
Backporting selection of jfxrt.jar based on used JDK

diff -r 84a744941c9f -r c2a6be99ffe2 launcher/fx/pom.xml
--- a/launcher/fx/pom.xml	Fri Apr 25 09:59:48 2014 +0200
+++ b/launcher/fx/pom.xml	Fri Apr 25 15:06:09 2014 +0200
@@ -33,7 +33,6 @@
         </plugins>
     </build>
     <properties>
-        <jfxrt.jar>${java.home}/lib/jfxrt.jar</jfxrt.jar>
         <project.build.sourceEncoding>UTF-8</project.build.sourceEncoding>
     </properties>
   <dependencies>
diff -r 84a744941c9f -r c2a6be99ffe2 pom.xml
--- a/pom.xml	Fri Apr 25 09:59:48 2014 +0200
+++ b/pom.xml	Fri Apr 25 15:06:09 2014 +0200
@@ -257,4 +257,28 @@
         </dependency>
       </dependencies>
   </dependencyManagement>
+  <profiles>
+      <profile>
+          <id>jdk8</id>
+          <activation>
+              <file>
+                  <exists>${java.home}/lib/ext/jfxrt.jar</exists>
+              </file>
+          </activation>
+          <properties>
+            <jfxrt.jar>${java.home}/lib/ext/jfxrt.jar</jfxrt.jar>
+          </properties>
+      </profile>
+      <profile>
+          <id>jdk7</id>
+          <activation>
+              <file>
+                  <exists>${java.home}/lib/jfxrt.jar</exists>
+              </file>
+          </activation>
+          <properties>
+            <jfxrt.jar>${java.home}/lib/jfxrt.jar</jfxrt.jar>
+          </properties>
+      </profile>
+  </profiles>
 </project>