[SOLVED]Firmware build with GCC fails on "#include <functional>"

Hello everyone.

Got myself a photon, and got it working with the web IDE. Flashed the flashing LED firmware, etc.

Now I was trying to build the offline toolchain. I’m using Ubuntu 14.04. But when I do

# ~/Desktop/sources/photon/firmware/modules$ make PLATFORM=photon clean all program-dfu

I get:

...
In file included from src/spark_protocol.h:29:0,
                 from src/spark_protocol.cpp:25:
src/spark_descriptor.h:31:22: fatal error: functional: No such file or directory
 #include <functional>
                      ^
compilation terminated.
make[2]: *** [../build/target/communication/platform-6-m-prod-6/src/spark_protocol.o] Error 1
make[2]: Leaving directory `/home/xopxe/Desktop/sources/photon/firmware/communication'
make[1]: *** [communication] Error 2
make[1]: Leaving directory `/home/xopxe/Desktop/sources/photon/firmware/modules/photon/system-part1'
make: *** [/home/xopxe/Desktop/sources/photon/firmware/modules/photon/system-part1/makefile] Error 2

I guess the missing library is boost’s functional.hpp, but I have it installed. Perhaps something should be done to point to the boost installation? I’ve looked around and seems nobody gets this error. Any idea would be very helpful.

Off course, just after posting I found this post: How to install the spark toolchain in Ubuntu 14.04 :expressionless:

After replacing the gcc-arm-none-eabi from the repos as indicated, it builds.