1 files changed, 25 insertions, 0 deletions
diff --git a/psibuilds/gmp.psibuild b/psibuilds/gmp.psibuild
new file mode 100644
index 0000000..4a62d77
--- /dev/null
+++ b/psibuilds/gmp.psibuild
@@ -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
+}
+
+