Align paths config (paths.py) with the new directory layout. Also rename the output build folder to .build

Author: screamerbg

workspace_tools/paths.py

@@ -31,7 +31,7 @@
 TOOLS_BOOTLOADERS = join(TOOLS, "bootloaders")
 
 # mbed libraries
-MBED_BASE = join(LIB_DIR, "mbed")
+MBED_BASE = join(ROOT, "hal")
 
 MBED_API = join(MBED_BASE, "api")
 MBED_COMMON = join(MBED_BASE, "common")
@@ -50,7 +50,7 @@
 RPC_LIBRARY = join(BUILD_DIR, "rpc")
 
 # mbed RTOS
-RTOS = join(LIB_DIR, "rtos")
+RTOS = join(ROOT, "rtos")
 MBED_RTX = join(RTOS, "rtx")
 RTOS_ABSTRACTION = join(RTOS, "rtos")
 

workspace_tools/settings.py

@@ -24,7 +24,7 @@
 ##############################################################################
 # Build System Settings
 ##############################################################################
-BUILD_DIR = abspath(join(ROOT, "build"))
+BUILD_DIR = abspath(join(ROOT, ".build"))
 
 # ARM
 armcc = "standalone" # "keil", or "standalone", or "ds-5"