git.iko.soy/Idris-dev
on master help sign in
Remove java rts from idris.cabal
5d5c613Jan Bessai
idris.cabal−5
compare with master
unifiedsplit
@@ -72,7 +72,6 @@ Extra-source-files: lib/Makefile lib/*.idr lib/Prelude/*.idr
72 rts/*.c rts/*.h rts/Makefile
72 rts/*.c rts/*.h rts/Makefile
73 llvm/*.c llvm/Makefile
73 llvm/*.c llvm/Makefile
74 js/*.js
74 js/*.js
75− java/src/main/java/org/idris/rts/*.java
76 java/*.xml
75 java/*.xml
77
76
78 Makefile
77 Makefile
@@ -234,10 +233,6 @@ source-repository head
234 type: git
233 type: git
235 location: git://github.com/edwinb/Idris-dev.git
234 location: git://github.com/edwinb/Idris-dev.git
236
235
237−Flag Java
238− Description: Build the Java RTS
239− Default: False
240−
241Flag NoEffects
236Flag NoEffects
242 Description: Do not build the effects package
237 Description: Do not build the effects package
243 Default: False
238 Default: False