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

---
 psibuilds/gmp.psibuild | 25 -------------------------
 1 file changed, 25 deletions(-)
 delete mode 100644 psibuilds/gmp.psibuild

(limited to 'psibuilds/gmp.psibuild')

diff --git a/psibuilds/gmp.psibuild b/psibuilds/gmp.psibuild
deleted file mode 100644
index 4a62d77..0000000
--- a/psibuilds/gmp.psibuild
+++ /dev/null
@@ -1,25 +0,0 @@
-#!/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