More updates to mpfr-java

runtimeverification / mpfr-java

GNU MPFR Java Bindings

Other

11 stars 10 forks source link

More updates to mpfr-java #4

Closed dwightguth closed 10 years ago

dwightguth commented 10 years ago

update for mac os x
check in build scripts

dwightguth commented 10 years ago

@cos please review.

cos commented 10 years ago

lgtm. as the long term goal is to have the bash scripts put under maven's wrap, it would be good to have the new issue describing this wrapping link back to this pull request.