wok rev 19754

bash: without installed readline
author Pascal Bellard <pascal.bellard@slitaz.org>
date Sat Feb 18 23:01:05 2017 +0100 (2017-02-18)
parents 71869f82ce0a
children 25a4515a3878
files bash/receipt
line diff
     1.1 --- a/bash/receipt	Sat Feb 18 22:29:24 2017 +0100
     1.2 +++ b/bash/receipt	Sat Feb 18 23:01:05 2017 +0100
     1.3 @@ -16,10 +16,8 @@
     1.4  EXTRA_SOURCE_FILES="$BASHCHECK $BASHPATCHES"
     1.5  TAGS="shell"
     1.6  
     1.7 -DEPENDS="libtinfo" # readline
     1.8 -BUILD_DEPENDS="readline bison wget texinfo"
     1.9 -#configure: WARNING: installed readline library is too old to be linked with bash
    1.10 -#configure: WARNING: using private bash version
    1.11 +DEPENDS="libtinfo"
    1.12 +BUILD_DEPENDS="bison wget texinfo"
    1.13  
    1.14  patch_bash()
    1.15  {
    1.16 @@ -71,7 +69,7 @@
    1.17  		--enable-history --enable-alias  \
    1.18  		--disable-nls --without-bash-malloc \
    1.19  		--disable-help-builtin \
    1.20 -		--with-installed-readline &&
    1.21 +		--with-installed-readline=no &&
    1.22  	make &&
    1.23  	# Bash doesn't care about DESTDIR in environnment variable.
    1.24  	make DESTDIR=$DESTDIR install