Re: [PATCH 4/5] gnu: arduino: Add arduino-libraries.

[Danny Milosavljevic]

> This seems like a false inheritence to me.  Do arduino-hardware and
> arduino-libraries really need to be separate packages? 

Not really.

>but it seems like you might be able to do away with the dependencies setup 

Right now maybe. But there is a huge Arduino Java IDE and I'd rather not depend 
on icedtea-1.8 and Apache Commons (A,B,C,D,E,F) etcetc to build a 50 line C 
program for an 8 bit system (which is what one does with Arduino).

>and the arduino-installer procedure if the two are built together.

The arduino-installer just installs files without any magic. There's no install 
target otherwise. So the code will always be there (also to install the IDE 
part).