From fdef82e6892fd5bb715fd9d5a3a9d67a3c52a31b Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?L=C3=A9lio=20Brun?= <lb@leliobrun.net>
Date: Wed, 3 Jul 2024 03:05:41 +0900
Subject: [PATCH] update tests for CI

---
 .github/workflows/main.yml |  2 +-
 tests/test.ml              | 16 +++++-----------
 2 files changed, 6 insertions(+), 12 deletions(-)

diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
index 32cbb83..2078626 100644
--- a/.github/workflows/main.yml
+++ b/.github/workflows/main.yml
@@ -27,7 +27,7 @@ jobs:
       - name: Install LaTeX
         run: |
           sudo apt-get update
-          sudo apt-get install texlive texlive-latex-extra
+          sudo apt-get install texlive texlive-latex-extra texlive-science
 
       - name: Checkout tree
         uses: actions/checkout@v4
diff --git a/tests/test.ml b/tests/test.ml
index 8db3f22..46c1349 100644
--- a/tests/test.ml
+++ b/tests/test.ml
@@ -4,7 +4,7 @@ let width = ref 0
 let amount = ref 0
 let tmp = "tmp"
 let prefix = "my_prefix42"
-let verbose = ref false
+let verbose = ref true
 let command cmd = Sys.command (cmd ^ if !verbose then "" else "> /dev/null 2>&1") = 0
 let has_pdflatex = command "command -v pdflatex"
 let is_on_mac =
@@ -18,15 +18,7 @@ let tmppkg = "tmppkg"
 let main = "main"
 
 let too_larges_for_tabular = [
-  "coccinelle.1.0.2-parser_cocci_menhir.mly";
-  "fsharp.mly";
-  "ocaml.mly";
-  "ocaml_parser_menhir.mly";
-  "parser_cocci_menhir.mly";
-  "parser_raw.mly";
-  "reason.3.3.7-reason_parser.mly";
-  "reason_parser.mly";
-  "verilog.mly";
+  "sysver.mly"
 ]
 let too_larges_for_syntax = [
   "coccinelle.1.0.2-parser_cocci_menhir.mly";
@@ -38,7 +30,9 @@ let too_larges_for_syntax = [
   "reason_parser.mly";
   "verilog.mly";
 ]
-let too_larges_for_backnaur = ["sysver.mly"]
+let too_larges_for_backnaur = [
+  "sysver.mly"
+]
 
 type mode =
   | Default