ci: Build and test macaw-x86-syntax

GaloisInc · Aug 20, 2024 · 5eea442 · 5eea442
1 parent 3dfc22b
commit 5eea442
Show file tree

Hide file tree

Showing 2 changed files with 7 additions and 0 deletions.
diff --git a/.github/workflows/ci.yaml b/.github/workflows/ci.yaml
@@ -107,6 +107,12 @@ jobs:
     - name: Test macaw-x86
       run: cabal test pkg:macaw-x86
 
+    - 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: Test macaw-x86-symbolic
       if: runner.os == 'Linux'
       run: cabal test pkg:macaw-x86-symbolic

diff --git a/cabal.project.dist b/cabal.project.dist
@@ -10,6 +10,7 @@ packages: base/
           symbolic/
           symbolic-syntax/
           x86_symbolic/
+          x86-symbolic-syntax/
           refinement/
           utils/compare-dwarfdump
           deps/macaw-loader/macaw-loader