Add MPIPreferences subpackage to select binary (#541)

Uses Preferences.jl to select MPI binary, which can then be queried by other packages. Remove support for non-standard ABIs. Co-authored-by: Valentin Churavy <[email protected]> Co-authored-by: Mosè Giordano <[email protected]>
JuliaParallel · Apr 13, 2022 · 890ee6e · 890ee6e · vchuravy · Apr 13, 2022
1 parent 7fcf36d
commit 890ee6e
Show file tree

Hide file tree

Showing 35 changed files with 1,947 additions and 1,736 deletions.
diff --git a/.github/workflows/Documenter.yml b/.github/workflows/Documenter.yml
@@ -19,7 +19,13 @@ jobs:
     steps:
       - uses: actions/checkout@v2
       - name: Install dependencies
-        run: julia --project=docs/ -e 'using Pkg; Pkg.develop(PackageSpec(path=pwd())); Pkg.instantiate(); Pkg.build(;verbose=true)'
+        shell: julia --color=yes --project=docs/ {0}
+        run: |
+          using Pkg
+          Pkg.develop(PackageSpec(path="lib/MPIPreferences"))
+          Pkg.develop(PackageSpec(path=pwd()))
+          Pkg.instantiate()
+          Pkg.build(;verbose=true)
       - name: Build and deploy
         env:
           GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}