Merge branch 'a.fixMac_x64' into 'main'

GitLab-CI: Fix OPTDIR on Mac-x64 machine

See merge request !9

.gitlab-ci.yml

@@ -8,7 +8,7 @@ mac_x64:
   before_script:
   - PATH="/usr/local/opt/flex/bin:/usr/local/opt/bison/bin:$PATH"
   script:
-  - OPTDIR=/Users/Shared/Software
+  - OPTDIR=/Users/Shared/Software/scg
   - mkdir pub/build
   - cd pub/build
   - cmake -DCMAKE_PREFIX_PATH="$OPTDIR" -DCMAKE_BUILD_TYPE=Release -S ..