CI: github action: test 64bit indices

Test 64bit indices on the OSX github action.

diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
index b3805ad8d58755175161149a267882f30c1fc8b5..5f4e79cd9d4a18fbea998ddd9063324e5b12f69c 100644 (file)
--- a/.github/workflows/main.yml
+++ b/.github/workflows/main.yml
@@ -6,7 +6,7 @@ jobs:
   osx-serial:
     # simple serial build using apple clang
 
-    name: OSX serial build
+    name: OSX serial
     runs-on: [macos-latest]
 
     steps:
@@ -32,10 +32,10 @@ jobs:
         make -j 2
         make -j 2 test # quicktests
 
-  osx-parallel:
-    # MPI build using apple clang
+  osx-parallel64:
+    # MPI build using apple clang and 64 bit indices
 
-    name: OSX parallel build
+    name: OSX parallel 64bit
     runs-on: [macos-latest]
 
     steps:
@@ -56,7 +56,7 @@ jobs:
         cmake --version
     - name: configure
       run: |
-        CC=mpicc CXX=mpic++ cmake -D CMAKE_BUILD_TYPE=Debug -D DEAL_II_CXX_FLAGS='-Werror' -D DEAL_II_WITH_MPI=on .
+        CC=mpicc CXX=mpic++ cmake -D CMAKE_BUILD_TYPE=Debug -D DEAL_II_WITH_64BIT_INDICES=ON -D DEAL_II_CXX_FLAGS='-Werror' -D DEAL_II_WITH_MPI=on .
     - name: archive
       uses: actions/upload-artifact@v1
       with: