On 11/13/2012 08:27 AM, Hans-Christoph Steiner wrote:
Nevermind, I found the necessary header in the pd source tree.


If you are on a recent Debian, Ubuntu, Mint, etc. then you can get this header
by doing:

sudo apt-get install puredata-dev


and if you are on any older debian or -derivative , you can get this header by doing:
$ sudo apt-get install puredata

(this still works with newer versions)

fgmadsr
IOhannes

_______________________________________________
[email protected] mailing list
UNSUBSCRIBE and account-management -> 
http://lists.puredata.info/listinfo/pd-list

Reply via email to