GitLab-CI: use the new MacOS-x64 CI-machine managed by the IT-Cloud group

.gitlab-ci.yml

@@ -3,15 +3,16 @@ stages:
 
 mac_x64:
   tags:
-  - mac_x64
+  - mac_x64_cloud
   stage: build
   before_script:
-  - PATH="/usr/local/opt/flex/bin:/usr/local/opt/bison/bin:$PATH"
+  - PATH="/opt/homebrew-x86/opt/flex/bin:/opt/homebrew-x86/opt/bison/bin:$PATH"
+  - PYPLAT="/Users/qtisas/.pyenv/versions/3.11.6/"
   script:
   - OPTDIR=/Users/Shared/Software/scg
   - mkdir pub/build
   - cd pub/build
-  - cmake -DCMAKE_PREFIX_PATH="$OPTDIR" -DCMAKE_BUILD_TYPE=Release -S ..
+  - cmake -DCMAKE_PREFIX_PATH="$OPTDIR;$PYPLAT" -DCMAKE_BUILD_TYPE=Release -S ..
   - make -j4
   - ctest --output-on-failure --timeout 120
   artifacts: