From 133778a733fc71c2c87dde4123877f0fad0991b3 Mon Sep 17 00:00:00 2001
From: Elias Pipping <elias@pipping.org>
Date: Sat, 24 Oct 2009 12:15:53 +0200
Subject: [PATCH] Remove dev-lang/bigloo

---
 packages/dev-lang/bigloo/bigloo-3.2b.exheres-0     | 75 ----------------------
 ...configure-check-enable-api-and-enable-gmp.patch | 63 ------------------
 2 files changed, 138 deletions(-)
 delete mode 100644 packages/dev-lang/bigloo/bigloo-3.2b.exheres-0
 delete mode 100644 packages/dev-lang/bigloo/files/bigloo-configure-check-enable-api-and-enable-gmp.patch

diff --git a/packages/dev-lang/bigloo/bigloo-3.2b.exheres-0 b/packages/dev-lang/bigloo/bigloo-3.2b.exheres-0
deleted file mode 100644
index 950824c..0000000
--- a/packages/dev-lang/bigloo/bigloo-3.2b.exheres-0
+++ /dev/null
@@ -1,75 +0,0 @@
-# Copyright 2009 Elias Pipping <elias@pipping.org>
-# Distributed under the terms of the GNU General Public License v2
-
-require multilib
-
-MY_PNV=${PN}${PV}
-
-SUMMARY="A practical Scheme compiler"
-HOMEPAGE="http://www-sop.inria.fr/mimosa/fp/Bigloo/"
-DOWNLOADS="ftp://ftp-sop.inria.fr/mimosa/fp/Bigloo/${MY_PNV}-2.tar.gz"
-
-LICENCES="GPL-2"
-SLOT="0"
-PLATFORMS="~amd64"
-MYOPTIONS="gmp gstreamer ssl" sqlite
-
-# TODO: Enabling pkglib requires sqlite to be enabled.
-#       Disabling pkglib fails, since pkglib.heap is expected to exist
-#       nonetheless. Forcing sqlite for now.
-
-DEPENDENCIES="
-    build+run:
-        dev-libs/boehm-gc
-        dev-db/sqlite:3
-        gmp? ( dev-libs/gmp )
-        ssl? ( dev-libs/openssl )
-        gstreamer? (
-            media-libs/gstreamer
-            media-plugins/gst-plugins-base
-        )
-"
-
-WORK=${WORKBASE}/${MY_PNV}
-
-DEFAULT_SRC_PREPARE_PATCHES=( "${FILES}"/${PN}-configure-check-enable-api-and-enable-gmp.patch )
-
-src_prepare() {
-    default
-    # weird permissions
-    find "${WORK}" \
-        -type d -exec chmod a+rx {} + -o -exec chmod a+r {} +
-}
-
-src_configure() {
-    # Custom configure script
-    ./configure \
-        --prefix=/usr \
-        --libdir=/usr/$(get_libdir) \
-        --mandir=/usr/share/man \
-        --docdir=/usr/share/doc/${PNV} \
-        --infodir=/usr/share/info \
-        --customgc=no \
-        --sharedcompiler=yes \
-        $(option_enable gmp) \
-        $(option_enable ssl) \
-        $(option_enable gstreamer) \
-        --enable-pkglib \
-        --enable-sqlite \
-        \
-        --enable-calendar \
-        --enable-fthread \
-        --enable-mail \
-        --enable-multimedia \
-        --enable-packrat \
-        --enable-pkgcomp \
-        --enable-pthread \
-        --enable-srfi1 \
-        --enable-srfi27 \
-        --enable-text \
-        --enable-web
-}
-
-src_test() {
-    emake -j test
-}
diff --git a/packages/dev-lang/bigloo/files/bigloo-configure-check-enable-api-and-enable-gmp.patch b/packages/dev-lang/bigloo/files/bigloo-configure-check-enable-api-and-enable-gmp.patch
deleted file mode 100644
index 4dc687a..0000000
--- a/packages/dev-lang/bigloo/files/bigloo-configure-check-enable-api-and-enable-gmp.patch
+++ /dev/null
@@ -1,63 +0,0 @@
-Source: Cyprien Nicolas (Fulax in #bigloo on freenode)
-Upstream: Yes (details unclear)
-Reason: Make --enable-gmp work, only accept --enable-* for modules that exist
---- bigloo3.2b.orig/configure	2009-06-23 14:44:33.000000000 +0200
-+++ bigloo3.2b-work/configure	2009-06-25 17:09:25.000000000 +0200
-@@ -128,6 +128,7 @@
- 
- #*--- gmp version (left blank for autoconfiguration)    ---------------*/
- gmpversion=
-+gmpforce=no
- 
- #*--- socket library (left empty for automatic configuration) ---------*/
- socketlibs=
-@@ -545,6 +546,10 @@
-     --no-gmp|--disable-gmp)
-       gmpversion="no";;
- 
-+    --enable-gmp)
-+      gmpversion=""
-+      gmpforce="yes";;
-+
-     --no-ldpreload)
-       ldpreload="no";;
- 
-@@ -747,7 +752,25 @@
- 
-     --enable-*)
-       api="`echo $1 | sed 's/--[^-]*-//'`";
--      apis="$api $apis";;
-+      if [ -d $bootdir/api/$api ]
-+      then
-+	  apis="$api $apis"
-+      else
-+	  echo "*** ERROR: Illegal API \"$api\"" >&2
-+	  echo "" >&2
-+	  echo "Available APIs:" >&2
-+	  cd $bootdir/api
-+	  for p in *
-+	  do
-+	      if [ -d $p ]
-+	      then
-+		  echo -n "$p " >&2
-+	      fi
-+	  done
-+	  cd $bootdir
-+	  echo "" >&2;
-+	  exit 1
-+      fi;;
- 
-     --disable-*)
-       api="`echo $1 | sed 's/--[^-]*-//'`";
-@@ -1717,6 +1740,11 @@
-   if [ $gmpversion = "no" ]; then
-     echo "   gmp: no"
-     havegmp=0;
-+    if [ $gmpforce = "yes" ]; then
-+	echo "*** ERROR:configure:--enable-gmp. Cannot find GMP library."
-+	echo "Aborting";
-+	exit 1;
-+    fi
-   else
-     echo "   gmp: version $gmpversion"
-     havegmp=1;
-- 
2.11.4.GIT