pom.xml
changeset 214 19d7f018defd
parent 172 a058550f8f1f
child 215 24612fed24b5
     1.1 --- a/pom.xml	Sat Jul 06 08:09:53 2013 +0200
     1.2 +++ b/pom.xml	Mon Jul 29 17:49:48 2013 +0200
     1.3 @@ -256,4 +256,28 @@
     1.4          </dependency>
     1.5        </dependencies>
     1.6    </dependencyManagement>
     1.7 +  <profiles>
     1.8 +      <profile>
     1.9 +          <id>jdk8</id>
    1.10 +          <activation>
    1.11 +              <file>
    1.12 +                  <exists>${java.home}/lib/ext/jfxrt.jar</exists>
    1.13 +              </file>
    1.14 +          </activation>
    1.15 +          <properties>
    1.16 +            <jfxrt.jar>${java.home}/lib/ext/jfxrt.jar</jfxrt.jar>
    1.17 +          </properties>
    1.18 +      </profile>
    1.19 +      <profile>
    1.20 +          <id>jdk7</id>
    1.21 +          <activation>
    1.22 +              <file>
    1.23 +                  <exists>${java.home}/lib/jfxrt.jar</exists>
    1.24 +              </file>
    1.25 +          </activation>
    1.26 +          <properties>
    1.27 +            <jfxrt.jar>${java.home}/lib/jfxrt.jar</jfxrt.jar>
    1.28 +          </properties>
    1.29 +      </profile>
    1.30 +  </profiles>
    1.31  </project>
    1.32 \ No newline at end of file