?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
blame | history | raw | HEAD
Merge branch 'master' of github.com:periscop/openscop
[openscop.git] / redo.sh
blob7a067ddadfbd9c0b293001d6062c3ca372f36e8f
1 #!/bin/sh
2 make maintainer-clean
3 ./autogen.sh
4 ./configure --prefix=$HOME/usr --with-gmp=system --with-gmp-prefix=/usr
5 make
A Specification and a Library for Data Exchange in Polyhedral Compilation Tools