Closed GoogleCodeExporter closed 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
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
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
Original issue reported on code.google.com by
roedyg@mindprod.com
on 28 Apr 2014 at 12:06