diff dev/make/make.sh @ 1023:60d881a89c6a

vanilla: fix many dependencies
author David Demelier <markand@malikania.fr>
date Thu, 29 Aug 2019 23:55:00 +0200
parents ddab65a5b3f5
children ad3e2cbdcf24
line wrap: on
line diff
--- a/dev/make/make.sh	Thu Aug 29 23:50:00 2019 +0200
+++ b/dev/make/make.sh	Thu Aug 29 23:55:00 2019 +0200
@@ -19,7 +19,7 @@
 PKGVERSION=4.2.1
 PKGREVISION=1
 PKGLICENSE="GPLv3+"
-PKGSUMMARY="short summary"
+PKGSUMMARY="GNU make"
 PKGDOWNLOAD="http://ftp.gnu.org/gnu/$PKGNAME/$PKGNAME-$PKGVERSION.tar.gz"
 PKGOPTIONS="GUILE NLS"
 
@@ -31,11 +31,11 @@
 : ${CXXFLAGS:=-O2}
 : ${LDFLAGS:=}
 : ${LIBS:=}
-: ${GUILE:=yes}
+: ${GUILE:=no}  # TODO: add once guile is there
 : ${NLS:=yes}
 
 if [ "$GUILE" = "yes" ]; then
-	PKGDEPENDS="dev/guile $PKGDEPENDS"
+	PKGDEPENDS="guile $PKGDEPENDS"
 	with_nls="--with-guile"
 else
 	with_guile="--without-guile"