diff options
author | Ion-Mihai Tetcu <itetcu@FreeBSD.org> | 2006-07-12 21:59:33 +0000 |
---|---|---|
committer | Ion-Mihai Tetcu <itetcu@FreeBSD.org> | 2006-07-12 21:59:33 +0000 |
commit | 5b697031c53799b7cf6adc6d5464d2fc5d3af161 (patch) | |
tree | fbade222e7c5cb2c66dff173d061cefb4398b316 /polish/gnugadu/scripts/configure.gg | |
parent | - Upgrade to 5.2.0; (diff) |
- convert to OPTIONS
- DEPRECIATE becasue it has no maintianer, it's not developed for quite some
time now, alternatives exist in PT (polish/gnugadu2)
- set expiration date in a month.
PR: ports/99163
Submitted by: Arseny Nasokin <tarc@tarc.po.cs.msu.su>
Marcin Wisnicki <mwisnicki+freebsd@gmail.com>
Notes
Notes:
svn path=/head/; revision=167630
Diffstat (limited to '')
-rw-r--r-- | polish/gnugadu/scripts/configure.gg | 77 |
1 files changed, 0 insertions, 77 deletions
diff --git a/polish/gnugadu/scripts/configure.gg b/polish/gnugadu/scripts/configure.gg deleted file mode 100644 index 2d191c1c03c0..000000000000 --- a/polish/gnugadu/scripts/configure.gg +++ /dev/null @@ -1,77 +0,0 @@ -#!/bin/sh -# $FreeBSD$ - -if [ -f ${WRKDIRPREFIX}${REALCURDIR}/Makefile.inc ]; then - exit -fi - -tempfile=`/usr/bin/mktemp -t checklist` - -if [ "${BATCH}" ]; then - if [ "${GNUGADU_OPTIONS}" ]; then - set ${GNUGADU_OPTIONS} - else - set \"esd\" - fi -else - /usr/bin/dialog --title "gnugadu configuration options" --clear \ - --checklist "\n\ -Please select desired options:" -1 -1 16 \ -esd "esd support" ON \ -arts "arts support" OFF \ -gnome "GNOME support" OFF \ -panel "GNOME applet support" OFF \ -2> $tempfile - - retval=$? - - if [ -s $tempfile ]; then - set `cat $tempfile` - fi - rm -f $tempfile - - case $retval in - 0) if [ -z "$*" ]; then - echo "Nothing selected" - fi - ;; - 1) echo "Cancel pressed." - exit 1 - ;; - esac -fi - -${MKDIR} ${WRKDIRPREFIX}${REALCURDIR} -exec > ${WRKDIRPREFIX}${REALCURDIR}/Makefile.inc - -while [ "$1" ]; do - case $1 in - \"esd\") - echo "USE_GNOME+= esound" - echo "CONFIGURE_ARGS+= --enable-esd" - esd="yes" - ;; - \"arts\") - echo "CONFIGURE_ARGS+= --enable-arts" - echo "LIB_DEPENDS+= artsc.0:${PORTSDIR}/audio/arts" - ;; - \"gnome\") - echo "USE_GNOME+= gnomelibs" - echo "CONFIGURE_ARGS+= --enable-gnome" - ;; - \"panel\") - echo "USE_GNOME+= gnomepanel" - echo "CONFIGURE_ARGS+= --enable-panel" - ;; - *) - echo "Invalid option(s): $1" >&2 - rm -f ${WRKDIRPREFIX}${REALCURDIR}/Makefile.inc - exit 1 - ;; - esac - shift -done - -if [ -z "${esd}" ]; then - echo "CONFIGURE_ARGS+= --disable-esd --without-esd" -fi |