search

lovubuntu / checker-framework

Automatically exported from code.google.com/p/checker-framework
0 stars 0 forks source link

using checker under ANT #323

Closed GoogleCodeExporter closed 9 years ago

GoogleCodeExporter commented 9 years ago 
A am not sure how ANT finds its  copy of javac.exe.

It would be nice to have a few sentences on fooling ANT to use your modified 
version.

If it not something fairly simple, talk to the ant people get them to provide a 
hook.

Ditto for IntelliJ.

Original issue reported on code.google.com by roedyg@mindprod.com on 28 Apr 2014 at 12:06

GoogleCodeExporter commented 9 years ago 
> A am not sure how ANT finds its  copy of javac.exe.

Can you tell us where you looked?

In the Checker Framework manual, section 24.2, "Ant task", describes how to use 
Ant.

(Also, if you are asking a more general question about Ant, the Ant 
documentation for the javac task appears at 
https://ant.apache.org/manual/Tasks/javac.html .)

Original comment by mer...@cs.washington.edu on 28 Apr 2014 at 4:08

GoogleCodeExporter commented 9 years ago 
I suggest you put links to such documentation in the "install" section. 
The way it reads you would think it only works with command line
javac.exe.  That is a show-stopper for nearly everyone.

A related problem, in most of the docs, Oracle does not tell you you
need to install ANYTHING. They make it look as though checker-framework
is fully built in to Javac.exe
That is not your fault, but you might want to put that fact up front and
centre. I did not discover it until after a day of reading and googling.

I would guess 90% people give up on it thinking they must not understand
the syntax when the problem is simply they did not know they had to
install, and a rather complicated install as these things go.

Original comment by roedyg@mindprod.com on 29 Apr 2014 at 12:03

GoogleCodeExporter commented 9 years ago 
Thanks for the suggestions.  We appreciate the feedback.

I have rewritten the installation instructions.  The new version is checked 
into the version control repository, or I can send you a copy if it isn't 
convenient to rebuild them from the source.  Hopefully this will make it easier 
for others to understand what to do.

Original comment by michael.ernst@gmail.com on 11 May 2014 at 3:55