adumont

# Arduino Installation directory
ARDUINO_DIR=~/opt/arduino-1.8.13
ESP32_DIR=~/.arduino15/packages/esp32
BUILD_DIR=/tmp/.build
CACHE_DIR=/tmp/.cache
SOURCE_DIR=~/esp32c3/esp32forth/ESP32forth

# Cleaning
[ -d "${BUILD_DIR}" ] && rm -rf ${BUILD_DIR}
[ -d "${CACHE_DIR}" ] && rm -rf ${CACHE_DIR}