redo.sh

   1 #!/bin/sh
   2 make maintainer-clean
   3 #./get_submodules.sh
   4 ./autogen.sh
   5 ./configure --prefix=$HOME/usr \
   6             --with-osl=system --with-osl-prefix=$HOME/usr \
   7             --with-cloog=system --with-cloog-prefix=$HOME/usr \
   8             --with-clan=system --with-clan-prefix=$HOME/usr \
   9             --with-candl=system --with-candl-prefix=$HOME/usr
  10
  11 #./configure --prefix=$HOME/usr \
  12 #            --with-osl=bundled \
  13 #            --with-clan=bundled \
  14 #            --with-cloog=bundled \
  15 #            --with-candl=bundled
  16
  17 make
  18