make it compile - Githubissues

rgrig / freeboogie

Automatically exported from code.google.com/p/freeboogie

0 stars 0 forks source link

Open rgrig opened 3 years ago

rgrig commented 3 years ago

Problems:

FreeBoogie/build.xml tries to download guava from an inexistent location
AstGen/build.xml doesn't get all dependencies (e.g. guava) There may be other problems as well.