?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
blame | history | raw | HEAD
Version 1.2.1
[why3.git] / autogen.sh
blobafcace02492ef677436aa93d0fe781e4eea6338a
1 #!/bin/sh -eux
2
3 if [ ! -f "configure" ]; then
4 autoconf
5 automake --add-missing || true
6 fi
A platform for deductive program verification