diff options
Diffstat (limited to 'devel/zarith/BUILD')
| -rwxr-xr-x | devel/zarith/BUILD | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/devel/zarith/BUILD b/devel/zarith/BUILD new file mode 100755 index 0000000000..ba546ed56f --- /dev/null +++ b/devel/zarith/BUILD @@ -0,0 +1,3 @@ +./configure -installdir "${INSTALL_ROOT}/usr/lib/ocaml" \ + -gmp && +default_build_make |