runtimeverification / mpfr-java

GNU MPFR Java Bindings
Other
11 stars 10 forks source link

Fix build system for all OSes #5

Closed dwightguth closed 5 years ago

dwightguth commented 10 years ago

The correct solution is to put the mpfr and gmp libraries in a maven repository and then download them and link against them using nothing except "mvn test". However I don't have time to work on this yet.