wallenstein/void-packages
1
0
Fork 0
mirror of https://github.com/void-linux/void-packages.git synced 2025-06-07 15:43:49 +02:00
Code Issues Projects Releases Packages Wiki Activity Actions 2

make: rebuild for metadata

Browse source
This commit is contained in:
Piotr Wójcik 2018-11-27 17:21:56 +01:00 • committed by maxice8
parent 4feed38783
commit 645d37cf38
No known key found for this signature in database
GPG key ID: 543B9D4F4299F06B
1 changed files with 4 additions and 4 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

8
srcpkgs/make/template
View file

@ -1,20 +1,20 @@
# Template file for 'make' # Template file for 'make'
pkgname=make pkgname=make
version=4.2.1 version=4.2.1
revision=3 revision=4
patch_args="-Np1"
bootstrap=yes bootstrap=yes
build_style=gnu-configure build_style=gnu-configure
build_options=guile
configure_args="$(vopt_with guile)" configure_args="$(vopt_with guile)"
hostmakedepends="$(vopt_if guile pkg-config)" hostmakedepends="$(vopt_if guile pkg-config)"
makedepends="$(vopt_if guile 'gc-devel guile-devel')" makedepends="$(vopt_if guile 'gc-devel guile-devel')"
short_desc="The GNU make system" short_desc="The GNU make system"
maintainer="Juan RP <xtraeme@voidlinux.eu>" maintainer="Juan RP <xtraeme@voidlinux.eu>"
license="GPL-3" license="GPL-3.0-or-later"
homepage="http://www.gnu.org/software/make" homepage="http://www.gnu.org/software/make"
distfiles="${GNU_SITE}/make/${pkgname}-${version}.tar.bz2" distfiles="${GNU_SITE}/make/${pkgname}-${version}.tar.bz2"
checksum=d6e262bf3601b42d2b1e4ef8310029e1dcf20083c5446b4b7aa67081fdffc589 checksum=d6e262bf3601b42d2b1e4ef8310029e1dcf20083c5446b4b7aa67081fdffc589
build_options=guile
patch_args="-Np1"
# This should be temporary until upstream releases a new version with fixes # This should be temporary until upstream releases a new version with fixes
if [ -n "$CHROOT_READY" ]; then if [ -n "$CHROOT_READY" ]; then