Skip to content
Snippets Groups Projects
Commit bea65632 authored by Mark OLESEN's avatar Mark OLESEN
Browse files

CONFIG: ptscotch header not found on ArchLinux (fixes #1877)

- on ArchLinux, everything is installed under /usr/include/scotch.

  The detection script uses SCOTCH_ARCH_PATH as an initial guess for
  ptscotch as well. However, on the second pass, it has an absolute
  value ("/usr") instead of a logical one ("scotch-system").
  This resulted in the logic for handling scotch+ptscotch subdirs
  being bypassed.
parent c1ad4295
Branches
Tags
No related merge requests found
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment