On Fri, Jan 28, 2011 at 1:30 PM, Yvan Volochine yvan.pd@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