diff --git a/arduino-mk/Arduino.mk b/arduino-mk/Arduino.mk index ab83302..f3c22e4 100644 --- a/arduino-mk/Arduino.mk +++ b/arduino-mk/Arduino.mk @@ -292,8 +292,17 @@ endif # # Arduino version number ifndef ARDUINO_VERSION + +# Remove all the decimals, and right-pad with zeros, and finally grab the first 3 bytes. +# Works for 1.0 and 1.0.1 +AUTO_ARDUINO_VERSION := $(shell cat $(ARDUINO_DIR)/lib/version.txt | sed -e 's/[.]//g' -e 's/$$/0000/' | head --bytes=3) +ifdef AUTO_ARDUINO_VERSION +$(info Using guessed/detected ARDUINO version define $(AUTO_ARDUINO_VERSION)) +ARDUINO_VERSION = $(AUTO_ARDUINO_VERSION) +else ARDUINO_VERSION = 100 endif +endif ######################################################################## # Arduino and system paths