git.iko.soy/Idris-dev
on master help sign in
Java RTS Version bump to include isNull,
467bb68Jan Bessai
.gitignore−1
compare with master
unifiedsplit
@@ -10,7 +10,6 @@ cabal-dev/
10*~
10*~
11.DS_Store
11.DS_Store
12custom.mk
12custom.mk
13−java/executable_pom.xml
14test/output
13test/output
15test/test???/output
14test/test???/output
16test/reg???/output
15test/reg???/output
idris.cabal+1−1
@@ -57,6 +57,7 @@ Data-files: jsrts/Runtime-browser.js
57 rts/idris_rts.h
57 rts/idris_rts.h
58 rts/idris_stdfgn.h
58 rts/idris_stdfgn.h
59 rts/libtest.c
59 rts/libtest.c
60+ java/*.xml
60
61
61Extra-source-files:
62Extra-source-files:
62 Makefile
63 Makefile
@@ -86,7 +87,6 @@ Extra-source-files:
86 effects/Effect/*.idr
87 effects/Effect/*.idr
87 effects/*.idr
88 effects/*.idr
88
89
89− java/*.xml
90
90
91 javascript/*.idr
91 javascript/*.idr
92 javascript/JavaScript/*.idr
92 javascript/JavaScript/*.idr
java/executable_pom_template.xml → java/executable_pom.xmlrenamed+1−1
@@ -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>0.9.10-alpha-1</version>
18+ <version>0.9.10-alpha-2</version>
19 </dependency>
19 </dependency>
20$DEPENDENCIES$
20$DEPENDENCIES$
21 </dependencies>
21 </dependencies>
src/Util/System.hs+1−1
@@ -84,4 +84,4 @@ getIncFlags = do dir <- getDataDir
84 return $ "-I" ++ dir </> "rts"
84 return $ "-I" ++ dir </> "rts"
85
85
86getExecutablePom = do dir <- getDataDir
86getExecutablePom = do dir <- getDataDir
87− return $ dir </> "executable_pom.xml"
87+ return $ dir </> "java" </> "executable_pom.xml"