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