mirror of
https://github.com/genodelabs/genode.git
synced 2024-12-19 05:37:54 +00:00
31 lines
897 B
Makefile
31 lines
897 B
Makefile
READLINE = readline-6.0
|
|
READLINE_TGZ = $(READLINE).tar.gz
|
|
READLINE_URL = ftp://ftp.gnu.org/gnu/readline/$(READLINE_TGZ)
|
|
|
|
#
|
|
# Interface to top-level prepare Makefile
|
|
#
|
|
PORTS += $(READLINE)
|
|
|
|
prepare-readline: $(CONTRIB_DIR)/$(READLINE)
|
|
|
|
$(CONTRIB_DIR)/$(READLINE): clean-readline
|
|
|
|
#
|
|
# Port-specific local rules
|
|
#
|
|
$(DOWNLOAD_DIR)/$(READLINE_TGZ):
|
|
$(VERBOSE)wget -c -P $(DOWNLOAD_DIR) $(READLINE_URL) && touch $@
|
|
|
|
READLINE_HEADERS := rlstdc.h rltypedefs.h keymaps.h tilde.h
|
|
|
|
$(CONTRIB_DIR)/$(READLINE): $(DOWNLOAD_DIR)/$(READLINE_TGZ)
|
|
$(VERBOSE)tar xfz $< -C $(CONTRIB_DIR) && touch $@
|
|
@# create symbolic links for public headers from contrib dir
|
|
$(VERBOSE)for i in $(READLINE_HEADERS); do \
|
|
ln -sf ../../$(CONTRIB_DIR)/$(READLINE)/$$i include/readline/; done
|
|
|
|
clean-readline:
|
|
$(VERBOSE)rm -f $(addprefix include/readline/,$(READLINE_HEADERS))
|
|
$(VERBOSE)rm -rf $(CONTRIB_DIR)/$(READLINE)
|