74b7b768f8
The bash configure script cannot detect if the 'getcwd()' function in Genode's libc works correctly, so it assumes that it is broken and makes bash use its own version of this function. With this patch bash uses the libc version, which has a Noux-specific implementation in the 'libc_noux' plugin. Fixes #324.
22 lines
507 B
Makefile
22 lines
507 B
Makefile
BASH = bash-4.1
|
|
BASH_TGZ = $(BASH).tar.gz
|
|
BASH_URL = http://ftp.gnu.org/gnu/bash/$(BASH_TGZ)
|
|
|
|
#
|
|
# Interface to top-level prepare Makefile
|
|
#
|
|
PORTS += $(BASH)
|
|
|
|
prepare:: $(CONTRIB_DIR)/$(BASH)
|
|
|
|
#
|
|
# Port-specific local rules
|
|
#
|
|
$(DOWNLOAD_DIR)/$(BASH_TGZ):
|
|
$(VERBOSE)wget -c -P $(DOWNLOAD_DIR) $(BASH_URL) && touch $@
|
|
|
|
$(CONTRIB_DIR)/$(BASH): $(DOWNLOAD_DIR)/$(BASH_TGZ)
|
|
$(VERBOSE)tar xfz $< -C $(CONTRIB_DIR) && touch $@
|
|
$(VERBOSE)patch -d $(CONTRIB_DIR)/$(BASH) -N -p1 < src/noux-pkg/bash/build.patch
|
|
|