1#!/bin/sh
2
3# This file is free software; the Free Software Foundation
4# gives unlimited permission to copy, distribute and modify it.
5
6cd `dirname $0`/..
7export CFLAGS=
8export CXXFLAGS=
9DUNEMAKEFLAGS=-j8
10export DUNEMAKEFLAGS
11make realclean
12./configure --with-gprof --without-cgal --without-omp --without-devil
13make
14
15