git.iko.soy/Idris-dev
on master help sign in
Merge pull request #434 from JanBessai/IndependentJavaRTSVersion

Independent java rts version

commit67739f012528af77407466e6ae6ff5b40c2688bf authorEdwin Brady <edwin.brady@gmail.com> dateSat 3 Aug 2013, 09:47 (13 years ago) parentff2b055e9a1612
2 files changed+3−2
compare with master
unifiedsplit
.travis.yml+1 java/executable_pom_template.xml+2−2
.travis.yml+1
@@ -13,4 +13,5 @@ script:
1313 - cabal configure
1414 - cabal install
1515 - make test
16+ - make test_java
1617
java/executable_pom_template.xml+2−2
@@ -15,7 +15,7 @@
1515 <dependency>
1616 <groupId>org.idris-lang</groupId>
1717 <artifactId>idris</artifactId>
18− <version>$RTS-VERSION$</version>
18+ <version>0.9.9</version>
1919 </dependency>
2020$DEPENDENCIES$
2121 </dependencies>
@@ -44,7 +44,7 @@ $DEPENDENCIES$
4444 <plugin>
4545 <groupId>org.apache.maven.plugins</groupId>
4646 <artifactId>maven-shade-plugin</artifactId>
47− <version>2.0</version>
47+ <version>2.1</version>
4848 <executions>
4949 <execution>
5050 <phase>package</phase>