Check for plume.jar - Githubissues

typetools / checker-framework-inference

Inference of pluggable types for Java

10 stars 33 forks source link

Check for plume.jar #3

Closed mernst closed 9 years ago

mernst commented 9 years ago

checker-framework-inference/dist does not contain plume.jar, which checker-framework-inference/scripts/inference assumes it contains. Furthermore, "gradle dist" does not fail if plume.jar is not found.

This works around the problem: cd $JSR308 ln -s $pl . cd $cfi gradle dist

But "gradle dist" should fail if plume.jar is not found rather than continuing without error.

smillst commented 9 years ago

The inference framework now uses the plume.jar in AFU.

(Fixed by fb05daeb2885a9c5)