Files
why3/autogen.sh

6 lines
60 B
Bash
Executable File

#!/bin/sh -eux
if [ ! -f "configure" ]; then
autoconf
fi