#!/bin/bash
# * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * *
# * This source file is part of libspmt.                            *
# *                                                                 *
# * See the file "LICENSE" for the copyright information and for    *
# * the terms and conditions for copying, distribution and          *
# * modification of this source file.                               *
# * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * *

# $Date$

rm -f logs/*.log

for cxx in yes no
do
    for debug in yes no
    do
	for assertions in yes no
	do
	    for wpa in yes no
	    do
		for stats in yes no
		do
		    log="logs/cxx-$cxx-debug-$debug-assertions-$assertions-wpa-$wpa-stats-$stats.log"
		    echo $log
		    echo ----------------------------------------------------------------------
		    ./configure --prefix=$HOME/${HOSTTYPE} --enable-cxx=$cxx --enable-debug=$debug --enable-assertions=$assertions --enable-wpa=$wpa --enable-stats=$stats 2>&1 | tee $log 
		    make 2>&1 | tee -a $log
		    make check 2>&1 | tee -a $log
		    make install 2>&1 | tee -a $log
		done
	    done
	done
    done
done