Use ocaml/setup-ocaml@v2 + alias latex="pdflatex"

utensil · Apr 26, 2024 · 7061955 · 7061955
1 parent e2dc712
commit 7061955
Showing 1 changed file with 9 additions and 9 deletions.
diff --git a/.github/workflows/gh-pages.yml b/.github/workflows/gh-pages.yml
@@ -34,11 +34,6 @@ jobs:
         with:
           ref: main
           submodules: recursive
-      - name: Install Homebrew
-        run: |
-            bash -c "$(curl -fsSL https://raw.githubusercontent.com/Homebrew/install/HEAD/install.sh)"
-            eval "$(/home/linuxbrew/.linuxbrew/bin/brew shellenv)"
-            echo "$(brew --prefix)/bin" >> $GITHUB_PATH
       - name: Setup TeX Live
         uses: teatimeguest/setup-texlive-action@v3
         # with:
@@ -48,13 +43,18 @@ jobs:
       - name: Setup Pages
         id: pages
         uses: actions/configure-pages@v5
-      - name: Install forester and build
+      - name: Set-up OCaml 5.1
+        uses: ocaml/setup-ocaml@v2
+        with:
+          ocaml-compiler: "5.1"
+      - name: Install forester
         run: |
+          shopt -s expand_aliases
+          alias latex="pdflatex"
           sudo apt-get install libev-dev dvisvgm
-          brew install opam bubblewrap
-          opam init --auto-setup --yes
-          opam update --yes
           opam install forester --yes
+      - name: Build with forester
+        run: |
           eval $(opam env)
           forester --version
           bash ./build.sh