enable OpenMP on OSX-M CI

Author: mmcgr

.github/workflows/CI-Tests.yml

@@ -157,8 +157,7 @@ jobs:
     - name: cmake-test-64bit
       uses: ./.github/actions/cmake-test
       with:
-        # disable openmp on ARM architecture, see souffle-lang/souffle#2476
-        cmake-flags: -DSOUFFLE_DOMAIN_64BIT=ON -DSOUFFLE_USE_OPENMP=OFF
+        cmake-flags: -DSOUFFLE_DOMAIN_64BIT=ON -DOpenMP_ROOT=/opt/homebrew/opt/libomp
         n-chunks: ${{ needs.Test-Setup.outputs.n-chunks }}
         chunk: ${{ matrix.chunk }}
 

sh/setup/install_macos_arm_deps.sh

@@ -8,7 +8,7 @@ set -e
 set -x
 
 # Install requirements of MAC OS X
-brew install libtool mcpp swig bison libffi
+brew install libtool mcpp swig bison libffi libomp
 #brew install gcc@13
 #brew link gcc@13
 

sh/setup/install_macos_deps.sh

@@ -8,7 +8,7 @@ set -e
 set -x
 
 # Install requirements of MAC OS X
-brew install bison libtool mcpp libffi swig
+brew install bison libtool mcpp libffi swig libomp
 brew install gcc@12
 brew link gcc@12