petsc-openmpi : https://aur.archlinux.org/packages.php?ID=40071 I am the maintainer of that package (and also 'petsc' that also compiles with openmpi). Thanks, Myles