diff options
Diffstat (limited to 'conf/sources.mk')
-rw-r--r-- | conf/sources.mk | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/conf/sources.mk b/conf/sources.mk index 0cc4b76..2f86c2b 100644 --- a/conf/sources.mk +++ b/conf/sources.mk @@ -120,3 +120,7 @@ jaxen-bootstrap = tar|http://dist.codehaus.org/jaxe jflex = tar|http://jflex.de/jflex-1.5.1.tar.gz # No TLS jflex-bootstrap = $(jflex) +# This is the last version of CUP developed at Princeton; I have a low opinion of the maintainers at TUM. +#cup = tar|http://www.cs.princeton.edu/~appel/modern/java/CUP/java_cup_v10k.tar.gz +cup = tar|http://www2.cs.tum.edu/projects/cup/java_cup_v10k.tar.gz +jlex = file|http://www.cs.princeton.edu/~appel/modern/java/JLex/Archive/1.2.6/Main.java |