• Lorenz Huedepohl's avatar
    Cleanup of configure arguments · 0da56d61
    Lorenz Huedepohl authored
    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.
    0da56d61
configure.ac 29.9 KB