make: add optional guile support via build options.
Based on #5515. Close #5515
This commit is contained in:
parent
1dbd172821
commit
481dbe1783
2 changed files with 6 additions and 2 deletions
|
@ -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"
|
||||
|
|
|
@ -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 <xtraeme@voidlinux.eu>"
|
||||
homepage="http://www.gnu.org/software/make"
|
||||
|
|
Loading…
Reference in a new issue