diff --git a/.github/workflows/ci.yaml b/.github/workflows/ci.yaml
index 1e21cf5d..f3f08104 100644
--- a/.github/workflows/ci.yaml
+++ b/.github/workflows/ci.yaml
@@ -108,9 +108,14 @@ jobs:
       run: cabal test pkg:macaw-x86
 
     - name: Test macaw-x86-symbolic
-      if: runner.os == 'Linux'
       run: cabal test pkg:macaw-x86-symbolic
 
+    - name: Build macaw-x86-syntax
+      run: cabal build pkg:macaw-x86-syntax
+
+    - name: Test macaw-x86-syntax
+      run: cabal test pkg:macaw-x86-syntax
+
     - name: Build macaw-aarch32
       run: cabal build pkg:macaw-aarch32 pkg:macaw-aarch32-symbolic
     - name: Test macaw-aarch32
diff --git a/cabal.project.dist b/cabal.project.dist
index e982ec96..3582147d 100644
--- a/cabal.project.dist
+++ b/cabal.project.dist
@@ -6,6 +6,7 @@ packages: base/
           macaw-ppc-symbolic/
           macaw-riscv/
           macaw-riscv-symbolic/
+          macaw-x86-syntax/
           x86/
           symbolic/
           symbolic-syntax/