On Fri, Jan 28, 2011 at 1:30 PM, Yvan Volochine <yvan.pd at gmail.com> wrote: > the correct way of building a flext external: > > (assuming pool and flext are in $HOME/dev) > > $ cd $HOME/dev/pool > $ bash ../flext/build.sh pd gcc > # bash ../flext/build.sh pd gcc install lesson learned: read the README until the end ! sorry for the noise... _y