changeset 84:91dce8ec3969

dev/make: add NLS and GUILE options
author David Demelier <markand@malikania.fr>
date Thu, 07 Mar 2019 20:10:00 +0100
parents 5511fb992e74
children 23a0cb054ba8
files dev/make/make.info dev/make/make.sh
diffstat 2 files changed, 32 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/dev/make/make.info	Thu Mar 07 20:05:00 2019 +0100
+++ b/dev/make/make.info	Thu Mar 07 20:10:00 2019 +0100
@@ -21,3 +21,11 @@
 PKGLICENSE="GPLv3+"
 PKGSUMMARY="short summary"
 PKGDOWNLOAD="http://ftp.gnu.org/gnu/$PKGNAME/$PKGNAME-$PKGVERSION.tar.gz"
+PKGOPTIONS="GUILE NLS"
+
+if [ "${GUILE:-yes}" = "yes" ]; then
+	PKGDEPENDS="dev/guile $PKGDEPENDS"
+fi
+if [ "${NLS:-yes}" = "yes" ]; then
+	PKGDEPENDS="core/gettext $PKGDEPENDS"
+fi
--- a/dev/make/make.sh	Thu Mar 07 20:05:00 2019 +0100
+++ b/dev/make/make.sh	Thu Mar 07 20:10:00 2019 +0100
@@ -15,15 +15,38 @@
 # OR IN CONNECTION WITH THE USE OR PERFORMANCE OF THIS SOFTWARE.
 #
 
+: ${CHOST:=$(uname -m)-linux-musl}
+: ${CBUILD:=$(uname -m)-linux-musl}
+: ${CC:=gcc}
+: ${CFLAGS:=-O2}
+
 source ./make.info
 
 set -ex
 
+if [ "${GUILE:-yes}" = "no" ]; then
+	with_nls="--without-guile"
+else
+	with_nls="--with-guile"
+fi
+if [ "${NLS:-yes}" = "no" ]; then
+	with_nls="--disable-nls"
+else
+	with_nls="--enable-nls"
+fi
+
 rm -rf $PKGNAME-$PKGVERSION
 tar xvaf $PKGNAME-$PKGVERSION.tar.gz
 pushd $PKGNAME-$PKGVERSION
 
-./configure --prefix=/usr
+CC="$CC" \
+CFLAGS="$CFLAGS" \
+./configure \
+	--build=${CBUILD} \
+	--host=${CHOST} \
+	--prefix=/usr \
+	${with_guile} \
+	${with_nls}
 make
 make install DESTDIR=$DESTDIR