diff options
| author | Luke Shumaker <LukeShu@sbcglobal.net> | 2014-06-06 15:43:28 -0400 |
|---|---|---|
| committer | Luke Shumaker <LukeShu@sbcglobal.net> | 2014-06-06 15:43:28 -0400 |
| commit | 8d8befb89e68217a61ce63399bb58d930332c1a4 (patch) | |
| tree | 022d631d384a2a03536af2b28f90f0f49fd379b9 /conf | |
| parent | d5902fc1e3c8b9cf8574b4cf61dc5a8ceae7fefc (diff) | |
add jflex
Diffstat (limited to 'conf')
| -rw-r--r-- | conf/dependencies.mk | 6 | ||||
| -rw-r--r-- | conf/sources.mk | 3 |
2 files changed, 9 insertions, 0 deletions
diff --git a/conf/dependencies.mk b/conf/dependencies.mk index b4f4b20..76d0ea8 100644 --- a/conf/dependencies.mk +++ b/conf/dependencies.mk @@ -80,3 +80,9 @@ build/packages/jaxen-bootstrap: \ build/packages/jdom1-bootstrap build/packages/jdom1-bootstrap: \ $(dep-xerces2) + +build/packages/jflex: \ + build/packages/jflex-bootstrap \ + /usr/share/java/junit.jar +build/packages/jflex-bootstrap: \ + /usr/share/java/junit.jar diff --git a/conf/sources.mk b/conf/sources.mk index 9ceebc4..0c75153 100644 --- a/conf/sources.mk +++ b/conf/sources.mk @@ -29,6 +29,9 @@ jaxen-bootstrap = tar|http://dist.codehaus.org/jaxe jdom1 = git|git://github.com/hunterhacker/jdom.git|jdom-1.1.3 jdom1-bootstrap = $(jdom1) +jflex = tar|http://jflex.de/jflex-1.5.1.tar.gz +jflex-bootstrap = $(jflex) + # Any other implementation of JSR-305 would probably be fine too. jsr305 = svn|http://jsr-305.googlecode.com/svn|trunk/ri |