From 50dcc707e0fb940d8109dd03235a53bd6acf8c6d Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Sa=C3=BAl=20Ibarra=20Corretg=C3=A9?= <s@saghul.net>
Date: Tue, 12 Mar 2024 09:56:49 +0100
Subject: [PATCH] Add TCC workflows to CI

---
 .github/workflows/ci.yml | 25 +++++++++++++++++++++++++
 1 file changed, 25 insertions(+)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index cb0516a..2f42b1b 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -208,6 +208,31 @@ jobs:
           UBSAN_OPTIONS: halt_on_error=1
         run: |
           time make test262
+  linux-tcc:
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@v4
+        with:
+          submodules: true
+      - name: install TCC
+        run: |
+          pushd /tmp
+          git clone --depth 1 https://repo.or.cz/tinycc.git
+          cd tinycc
+          git checkout 9d2068c6309dc50dfdbbc30a5d6757683d3f884c
+          ./configure
+          make
+          sudo make install
+          tcc -v
+          popd
+      - name: build
+        env:
+          CC: tcc
+        run: |
+          make
+      - name: stats
+        run: |
+          make stats
 
   macos:
     runs-on: macos-latest