Hi,
I've installed arm-gcc and the dev kit, I've tried several different versions.
I got it to compile the examples just fine. I can compile the example in examples/peripheral/blinky/pca10040/blank/armgcc/
I built my own dev board, and the problem is: using nrfjprog I can flash the precompiled example and it blinks the LED, but my compiled one does not. I don't understand exactly what's happening.
I'm using nRF5_SDK_14.2.0_17b948a and gcc gcc-arm-none-eabi-7-2017-q4-major on Ubuntu Linux x64_64.
My dev board is "rudimentary" but it contains a LED on GPIO20 and it flashes when the precompiled example runs. I can connect using nrfjprog and send new firmware. I am using a cheapo third party j-link cable.
One other thing - the LED blinks much slower (maybe about 4x slower) than it should. This might be because the chip is not running at the same speed as the real pca10040 dev board, I'm using a Bluenor BT832 module ("dead bug" soldered on a prototype strip-board with some LEDs and a reset button)