git.iko.soy/Idris-dev
on master help sign in
Merge branch 'IndependentJavaRTSVersion' into SignedIntegerComparison
77884e4Jan Bessai
.travis.yml+1
compare with master
unifiedsplit
@@ -13,4 +13,5 @@ script:
13 - cabal configure
13 - cabal configure
14 - cabal install
14 - cabal install
15 - make test
15 - make test
16+ - make test_java
16
17
java/executable_pom_template.xml+2−2
@@ -15,7 +15,7 @@
15 <dependency>
15 <dependency>
16 <groupId>org.idris-lang</groupId>
16 <groupId>org.idris-lang</groupId>
17 <artifactId>idris</artifactId>
17 <artifactId>idris</artifactId>
18− <version>$RTS-VERSION$</version>
18+ <version>0.9.9</version>
19 </dependency>
19 </dependency>
20$DEPENDENCIES$
20$DEPENDENCIES$
21 </dependencies>
21 </dependencies>
@@ -44,7 +44,7 @@ $DEPENDENCIES$
44 <plugin>
44 <plugin>
45 <groupId>org.apache.maven.plugins</groupId>
45 <groupId>org.apache.maven.plugins</groupId>
46 <artifactId>maven-shade-plugin</artifactId>
46 <artifactId>maven-shade-plugin</artifactId>
47− <version>2.0</version>
47+ <version>2.1</version>
48 <executions>
48 <executions>
49 <execution>
49 <execution>
50 <phase>package</phase>
50 <phase>package</phase>