ci: build with gui

ygrek · Aug 7, 2024 · 3d4ab72 · 3d4ab72
1 parent ddeaf5c
commit 3d4ab72
Showing 1 changed file with 4 additions and 1 deletion.
diff --git a/.github/workflows/workflow.yml b/.github/workflows/workflow.yml
@@ -58,7 +58,10 @@ jobs:
 
       - run: opam install . --deps-only --with-doc --with-test
 
-      - run: opam exec -- ./configure --enable-debug
+      # for the gui build
+      - run: opam install labgtk
+
+      - run: opam exec -- ./configure --enable-debug --enable-gui=newgui2
 
       - run: opam exec -- make