From cdea2f67ae42d4220e19a555259b69a960925283 Mon Sep 17 00:00:00 2001
From: davidovski <david@davidovski.xyz>
Date: Tue, 5 Oct 2021 16:35:17 +0100
Subject: renamed

---
 xibuilds/gmp.xibuild | 25 +++++++++++++++++++++++++
 1 file changed, 25 insertions(+)
 create mode 100644 xibuilds/gmp.xibuild

(limited to 'xibuilds/gmp.xibuild')

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
+}
+
+
-- 
cgit v1.2.1