Skip to content

GitLab

why3
why3
Commit d5579de5 authored by Guillaume Melquiond's avatar Guillaume Melquiond
Browse files
Options

Update INSTALL instructions and fix nightly bench.

parent 0a4926e8
Hide whitespace changes
Inline Side-by-side
Showing with 4 additions and 2 deletions
INSTALL
View file @ d5579de5
...@@ -23,9 +23,10 @@ Installation from the git repository ...@@ -23,9 +23,10 @@ Installation from the git repository
First run First run
autoconf autoconf
automake --add-missing
to build the file ./configure, then follow instructions from the to build the ./configure file and install the helper scripts, then follow
section above. instructions from the section above.
Detailed instructions Detailed instructions
......
examples/nightly-bench.sh
View file @ d5579de5
...@@ -35,6 +35,7 @@ echo "Starting time (UTC): "`date --utc +%H:%M` >> $REPORT ...@@ -35,6 +35,7 @@ echo "Starting time (UTC): "`date --utc +%H:%M` >> $REPORT
# configuration # configuration
autoconf autoconf
automake --add-missing
./configure --enable-local &> $OUT ./configure --enable-local &> $OUT
if test "$?" != "0" ; then if test "$?" != "0" ; then
echo "Configure failed" >> $REPORT echo "Configure failed" >> $REPORT
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment