tool_chain: versioned install location

Issue #3307

tool/create_sdk

@@ -46,7 +46,7 @@ sdk_usage:
 SDK_DIR ?= $(DEFAULT_SDK_DIR_PREFIX)-$(PLATFORM)-$(VERSION)
 DEPOT_USER ?= $(DEFAULT_DEPOT_USER)
 
-TOOLCHAIN_DIR ?= /usr/local/genode-gcc
+TOOLCHAIN_DIR ?= /usr/local/genode/tool/current
 
 #
 # Sanity checks

tool/create_uboot

@@ -59,7 +59,7 @@ endif
 
 UBOOT_MAKE := \
 	$(VERBOSE)make ARCH=$(ARCH) \
-	               CROSS_COMPILE=/usr/local/genode-gcc/bin/genode-$(ARCH)- \
+	               CROSS_COMPILE=/usr/local/genode/tool/current/bin/genode-$(ARCH)- \
 	               O=$(UBOOT_BUILD_DIR) \
 	               -j4
 

tool/tool_chain

@@ -63,7 +63,7 @@ BINUTILS_VERSION   = 2.32
 #
 
 DEFAULT_BUILD_LOCATION   = $(GENODE_DIR)/build/tool_chain-$(TOOL_CHAIN_VERSION)
-DEFAULT_INSTALL_LOCATION = /usr/local/genode-gcc
+DEFAULT_INSTALL_LOCATION = /usr/local/genode/tool/$(TOOL_CHAIN_VERSION)
 
 BUILD_LOCATION   ?= $(DEFAULT_BUILD_LOCATION)
 INSTALL_LOCATION ?= $(DEFAULT_INSTALL_LOCATION)
@@ -546,5 +546,9 @@ cleanall: clean
 
 install: build_all
 	$(ECHO) "$(BRIGHT_COL)installing tool chain to '$(INSTALL_LOCATION)'...$(DEFAULT_COL)"
+	$(VERBOSE)$(SUDO) mkdir -p $(INSTALL_LOCATION)
 	$(VERBOSE)$(SUDO) cp -a --remove-destination --no-target-directory $(LOCAL_INSTALL_LOCATION) $(INSTALL_LOCATION)
 	$(VERBOSE)$(LIB_GCC)
+ifeq ($(INSTALL_LOCATION),$(DEFAULT_INSTALL_LOCATION))
+	$(VERBOSE)$(SUDO) ln -snf $(TOOL_CHAIN_VERSION) $(dir $(INSTALL_LOCATION))/current
+endif