|
|
|
@ -84,8 +84,8 @@ let version = "4.8.3"; |
|
|
|
|
# Antlr (optional) allows the Java `gjdoc' tool to be built. We want a |
|
|
|
|
# binary distribution here to allow the whole chain to be bootstrapped. |
|
|
|
|
javaAntlr = fetchurl { |
|
|
|
|
url = http://www.antlr.org/download/antlr-3.1.3.jar; |
|
|
|
|
sha256 = "1f41j0y4kjydl71lqlvr73yagrs2jsg1fjymzjz66mjy7al5lh09"; |
|
|
|
|
url = http://www.antlr.org/download/antlr-4.4-complete.jar; |
|
|
|
|
sha256 = "02lda2imivsvsis8rnzmbrbp8rh1kb8vmq4i67pqhkwz7lf8y6dz"; |
|
|
|
|
}; |
|
|
|
|
|
|
|
|
|
xlibs = [ |
|
|
|
|