search

antoinemine / apron

Apron Numerical Abstract Domain Library
Other
114 stars 33 forks source link

Java compiliation incorrect #74

Closed baierd closed 1 year ago

baierd commented 1 year ago

Greetings, while trying to compile Apron with Java bindings i noticed that the apron.jar is not working. The reason is that you package the .java files into the jar. You need to package the class files into the jar instead.

Best, Daniel

baierd commented 1 year ago

I have just noticed that the gmp.jar suffers from the same problem.

antoinemine commented 1 year ago

Is this the same as issue #64? It should have been fixed by #65, which is merged into master.

However, there is no release with this fix yet, you need to compile from master.

baierd commented 1 year ago

YES. I've used the latest release version (and i should have mentioned that!) Thanks for clearing this up!