On Thu, 1 Sep 2016 20:44:20 +0200 Danny Milosavljevic <[email protected]> wrote:
> I don't know about this. I thought propagated meant that if I installed > arduino-makefile into the profile it would also install avrdude into the > profile. That is not what I wanted. The Makefile refers to the > /gnu/store/....avrdude... - that's it. But we can also propagate - I'm just > not sure whether that's needed and useful. On second thought, gcc-toolchain propagates ld etc too. So if you want, we can propagate avr-gcc-5, avr-binutils, arduino-libraries and avrdude. Propagating Python would probably be technically necessary but actually not desireable because Arduino has very little to do with Python. So I'm fine with it either way.
