tools/tools.mk
author "Yann E. MORIN" <yann.morin.1998@anciens.enib.fr>
Fri Apr 18 22:16:28 2008 +0000 (2008-04-18)
changeset 451 8a72f9bcf675
parent 261 4b8cba298bf3
child 493 567c97607f4e
permissions -rw-r--r--
Using SOCKS 4/5 proxy is no easy task:
- a machine may well be able to reach the proxy, even if it is not on the same sub-net(s) as the machine itself (absolutely legitimate)
- tsocks.conf needs a list of so-called 'local' networks that can be reached without the need for a SOCKS connection
- SOCKS proxies are expected to be in 'local' networks
- there is absolutely NO way to tell what networks are local, besides the sub-net(s) the machine is in

Therefore, appropriate configuration of SOCKS 4/5 configuration is really complex, and attempts to correctly overcome this issue are doomed.

/trunk/scripts/crosstool.sh | 52 46 6 0 ++++++++++++++++++++++++++++++++++----
/trunk/config/global/download_extract.in | 39 31 8 0 +++++++++++++++++++++++------
2 files changed, 77 insertions(+), 14 deletions(-)
     1 # Makefile for the tools/ sub-directory
     2 
     3 # Here, we can update the config.* scripts.
     4 # If we're in CT_LIB_DIR, then CT_LIB_DIR == CT_TOP_DIR, and we can update those
     5 # scripts for later inclusion mainline. If CT_LIB_DIR != CT_TOP_DIR, then those
     6 # scripts are downloaded only for use in CT_TOP_DIR.
     7 
     8 CONFIG_SUB_SRC="http://cvs.savannah.gnu.org/viewcvs/*checkout*/config/config/config.sub"
     9 CONFIG_SUB_DEST="$(CT_TOP_DIR)/tools/config.sub"
    10 CONFIG_GUESS_SRC="http://cvs.savannah.gnu.org/viewcvs/*checkout*/config/config/config.guess"
    11 CONFIG_GUESS_DEST="$(CT_TOP_DIR)/tools/config.guess"
    12 
    13 $(CT_TOP_DIR)/tools:
    14 	@mkdir -p $(CT_TOP_DIR)/tools
    15 
    16 PHONY += updatetools
    17 updatetools: $(CT_TOP_DIR)/tools $(CONFIG_SUB_DEST) $(CONFIG_GUESS_DEST)
    18 
    19 $(CONFIG_SUB_DEST):
    20 	@wget $(CONFIG_SUB_SRC) -O $@
    21 	@chmod u+rwx,go+rx-w $@
    22 
    23 $(CONFIG_GUESS_DEST):
    24 	@wget $(CONFIG_GUESS_SRC) -O $@
    25 	@chmod u+rwx,go+rx-w $@
    26 
    27 help-distrib::
    28 	@echo  '  updatetools        - Update the config tools'
    29 
    30 distclean::
    31 	@[ $(CT_TOP_DIR) = $(CT_LIB_DIR) ] || rm -rf $(CT_TOP_DIR)/tools