CI: test on macos-latest

Author: johnyf

.github/workflows/main.yml

@@ -9,7 +9,7 @@ on:
 jobs:
     build:
         name: Build
-        runs-on: ubuntu-22.04
+        runs-on: macos-latest
         strategy:
             matrix:
                 python-version: [
@@ -34,8 +34,7 @@ jobs:
                 export \
                     DD_FETCH=1 \
                     DD_CUDD=1 \
-                    DD_CUDD_ZDD=1 \
-                    DD_SYLVAN=1
+                    DD_CUDD_ZDD=1
                 pip install . \
                     --verbose \
                     --use-pep517 \
@@ -49,7 +48,11 @@ jobs:
                 echo 'Exported environment variables:'
                 export -p
                 # run tests
-                make test
+                pushd tests
+                python -X dev -m pytest -v \
+                    --continue-on-collection-errors \
+                    --ignore=sylvan_test.py
+                popd
             - name: Run `dd` examples
               run: |
                 pushd examples/

.github/workflows/setup_build_env.sh

@@ -6,8 +6,7 @@
 
 set -x
 set -e
-sudo apt install \
-    graphviz
+brew install graphviz
 dot -V
 pip install --upgrade \
     pip \
@@ -17,6 +16,7 @@ pip install --upgrade \
 # would also install packages that
 # may be absent from where `dd` will be installed
 pip install cython
+exit
 #
 # install `sylvan`
 # download

download.py

@@ -51,7 +51,7 @@
     '-std=c99',
     '-DBSD',
     '-DHAVE_IEEE_754',
-    '-mtune=native', '-pthread', '-fwrapv',
+    '-pthread', '-fwrapv',
     '-fno-strict-aliasing',
     '-Wall', '-W', '-O3']
 sizeof_long = ctypes.sizeof(ctypes.c_long)