Maintenance will be performed on git.ligo.org, chat.ligo.org, containers.ligo.org, and docs.ligo.org on the morning of Tuesday 11th August 2020, starting at approximately 9am PDT. It is expected to take around 20 minutes and there will be a short period of downtime (less than five minutes) towards the end of the maintenance window. Please direct any comments, questions, or concerns to computing-help@ligo.org.

00init.sh 606 Bytes
Newer Older
Chris Pankow's avatar
Chris Pankow committed
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15
#!/bin/sh

# Check with the user
echo "This script (re-)builds the source tree's configuration and build system."
read -p "Press CTRL-C to abort, or RETURN to continue... " INPUT

# Get it done
{
	{ echo "running aclocal (please ignore \"underquoted\" warnings)..." ; aclocal -I gnuscripts ; } &&
	{ echo "running libtoolize..." ; libtoolize -i -c -f || glibtoolize $LIBTOOLIZE_FLAGS ; } &&
	#{ echo "running autoheader..." ; autoheader ; } &&
	{ echo "running automake..." ; automake -a -c ; } &&
	{ echo "running autoconf..." ; autoconf ; } &&
	echo "$0 complete." ;
} || { echo "$0 failed." ; false ; }