From 2cc5f3a93f84ad0004b99fa22d4b130dfb38e6ba Mon Sep 17 00:00:00 2001 From: Stephen Gregoratto Date: Sun, 3 Nov 2019 14:10:52 +1100 Subject: [PATCH] Ports: update make to 4.2.1, disable Guile Some systems (e.g. Arch Linux) build their gmake with Guile support and thus have it installed. This patch disables Guile autodetection in the configure script. It also updates the version of gmake to 4.2.1. Fixes #645. --- Ports/make/package.sh | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/Ports/make/package.sh b/Ports/make/package.sh index bb7e361d65..57c22af21b 100755 --- a/Ports/make/package.sh +++ b/Ports/make/package.sh @@ -1,6 +1,6 @@ #!/bin/bash ../.port_include.sh port=make -version=4.2 +version=4.2.1 useconfigure=true -files="https://ftp.gnu.org/gnu/make/make-4.2.tar.bz2 make-4.2.tar.bz2" -configopts="--target=i686-pc-serenity --with-sysroot=/" +files="https://ftp.gnu.org/gnu/make/make-4.2.1.tar.bz2 make-4.2.1.tar.bz2" +configopts="--target=i686-pc-serenity --with-sysroot=/ --without-guile"