diff options
Diffstat (limited to 'xibuilds/gmp.xibuild')
| -rw-r--r-- | xibuilds/gmp.xibuild | 25 | 
1 files changed, 25 insertions, 0 deletions
| diff --git a/xibuilds/gmp.xibuild b/xibuilds/gmp.xibuild new file mode 100644 index 0000000..4a62d77 --- /dev/null +++ b/xibuilds/gmp.xibuild @@ -0,0 +1,25 @@ +#!/bin/bash + +DEPS=(gcc-libs sh) + +SOURCE=https://github.com/ryepdx/gmp + + +build () { +    ./configure --prefix=/usr --enable-cxx --disable-static --docdir=/usr/share/doc/gmp + +    make +    make html + +    make check 2>&1 | tee gmp-check-log +    awk '/# PASS:/{total+=$3} ; END{print total}' gmp-check-log + +    make DESTDIR=$PKG_DEST install +    make DESTDIR=$PKG_DEST install-html +} + +package () { +    ln -sv $PKG_DEST/usr/bin/flex $PKG_DEST/usr/bin/lex +} + + | 
