From 481dbe178347b9589d76fa19a7474647de129a28 Mon Sep 17 00:00:00 2001 From: Juan RP Date: Wed, 11 Jan 2017 15:43:43 +0100 Subject: [PATCH] make: add optional guile support via build options. Based on #5515. Close #5515 --- common/options.description | 1 + srcpkgs/make/template | 7 +++++-- 2 files changed, 6 insertions(+), 2 deletions(-) diff --git a/common/options.description b/common/options.description index f23f29f74c..0d4ad4495f 100644 --- a/common/options.description +++ b/common/options.description @@ -25,6 +25,7 @@ desc_option_gnome="Enable support for GNOME" desc_option_gnutls="Enable support for SSL with gnutls" desc_option_gssapi="Enable support for GSSAPI" desc_option_gstreamer="Enable support for GStreamer" +desc_option_guile="Enable support for Guile lang" desc_option_ffmpeg="Enable support for FFmpeg" desc_option_harfbuzz="enable support for Harfbuzz" desc_option_idn="Enable support for IDN" diff --git a/srcpkgs/make/template b/srcpkgs/make/template index 0427c440eb..86cf4a5c3a 100644 --- a/srcpkgs/make/template +++ b/srcpkgs/make/template @@ -1,10 +1,13 @@ # Template build file for 'make' pkgname=make version=4.2.1 -revision=2 +revision=3 bootstrap=yes build_style=gnu-configure -configure_args="--without-guile" +build_options=guile +configure_args="$(vopt_with guile)" +hostmakedepends="$(vopt_if guile pkg-config)" +makedepends="$(vopt_if guile 'gc-devel guile-devel')" short_desc="The GNU make system" maintainer="Juan RP " homepage="http://www.gnu.org/software/make"