[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[commit-cp] [bugs #11902] gjdoc build - antlr not found
|
From: |
Julian Scheid |
|
Subject: |
[commit-cp] [bugs #11902] gjdoc build - antlr not found |
|
Date: |
Thu, 10 Feb 2005 17:51:10 +0000 |
|
User-agent: |
Mozilla/5.0 (X11; U; Linux x86_64; en-US; rv:1.7.5) Gecko/20050208 Firefox/1.0 (Debian package 1.0+dfsg.1-5) |
Update of bugs #11902 (project classpath):
Status: None => Fixed
Assigned to: None => julian
Open/Closed: Open => Closed
_______________________________________________________
Follow-up Comment #1:
Thanks for your feedback.
Version -pre3 now supports --with-antlr-jar=file as a configure flag.
Alternatively, you can set environment variable ANTLR_JAR.
In addition, /usr/lib is now checked for antlr.jar, though it is probably not
the right place to put jars.
_______________________________________________________
This item URL is:
<http://savannah.gnu.org/bugs/?func=detailitem&item_id=11902>
_______________________________________________
Message sent via/by Savannah
http://savannah.gnu.org/