5 # ------------------------------------------------
6 # (Re)Generate autotools files
7 # ------------------------------------------------
9 echo -e "\n*** Running autotools on pluto ***"
12 echo -e "\n*** Running autotools on isl ***"
13 (cd isl
; .
/autogen.sh
)
15 echo -e "\n*** Running autotools on cloog-isl ***"
20 echo -e "\n*** Running autotools on piplib ***"
25 echo -e "\n*** Running autotools on polylib ***"
30 echo -e "\n*** Running autotools on openscop ***"
35 echo -e "\n*** Running autotools on candl ***"
40 echo -e "\n*** Running autotools on clan ***"