#!/bin/bash

if [ "$1" = "quiet" ]; then
    quiet_confopenmp="quiet"
else
    quiet_confopenmp=""
fi

if [ "$quiet_confopenmp" = "" ]; then
    echo "#############################################################"
    echo "Configuring BLIS for Altramax using OpenMP for parallelism..."
    echo "#############################################################"
fi

. ./blis_setenv.sh $quiet_confopenmp
pushd $BLIS_HOME > /dev/null
make distclean
./configure -t openmp --disable-pba-pools altramax
popd > /dev/null