typetools / checker-framework-inference

Inference of pluggable types for Java
10 stars 33 forks source link

Update inference-dev script #92

Closed jyluo closed 5 years ago

jyluo commented 6 years ago

update inference-dev to use the latest versions of the dependent Jar files

added a sanity check to ensure the mentioned Jar files actually exist in the system

also split up a few of the path variables into multiple lines to make it easier to read and maintain in the future