Commit 0da56d61 authored by Lorenz Huedepohl's avatar Lorenz Huedepohl

Cleanup of configure arguments

It is now

  --enable-timing
  --enable-redirect
  --with-papi

instead of the more confusing

  --with-ftimings
  --with-redirect
  --disable-papi

For once, the --with versions of timing and redirect could not cope with
--with-timing=no, --with-redirect=no (this was interpreted like =yes).
Also, --with switches are supposed to be for optional dependencies on
other software, not for configuring optional parts of the software
itself.
parent 35b51b16