From 566cc2b714053193ff9582b371dec707231db7bd Mon Sep 17 00:00:00 2001
From: "R. Matthew Emerson" <rme@acm.org>
Date: Tue, 23 Apr 2024 11:20:58 -0700
Subject: [PATCH] Add new workflow to build and test on x8664 Linux

---
 .github/workflows/build-linux.yml | 55 +++++++++++++++++++++++++++++++
 1 file changed, 55 insertions(+)
 create mode 100644 .github/workflows/build-linux.yml

diff --git a/.github/workflows/build-linux.yml b/.github/workflows/build-linux.yml
new file mode 100644
index 00000000..119bf9d6
--- /dev/null
+++ b/.github/workflows/build-linux.yml
@@ -0,0 +1,55 @@
+name: Build and test
+
+on:
+  workflow_dispatch:
+  pull_request:
+
+env:
+  URL: https://github.com/Clozure/ccl/releases/latest/download/linuxx86.tar.gz
+
+jobs:
+  linux:
+    runs-on: ubuntu-latest
+    steps:
+      - name: Check out source
+        uses: actions/checkout@v4
+        with:
+          path: ccl
+
+      - name: Fetch bootstrapping binaries
+        run: |
+          curl --no-progress-meter -L -O ${{ env.URL }}
+
+      - name: Install bootstrapping binaries
+        run: |
+          cd ccl
+          tar xf ../linuxx86.tar.gz
+
+      - name: Compile lisp kernel
+        run: |
+          cd ccl/lisp-kernel/linuxx8664
+          make
+
+      - name: Rebuild CCL
+        run: |
+          cd ccl
+          ./lx86cl64 --batch --quiet -n -e '(rebuild-ccl :clean t)' </dev/null
+          # Now see if it works to start up the just-compiled lisp.
+          # Note that "git describe" doesn't work in a shallow clone
+          # (because we don't have any tags), so we don't expect to see the
+          # usual version like "Version 1.12.2 (v1.12.2-27-gae44c6ad)" in the
+          # welcome banner.
+          ./lx86cl64 --batch -n </dev/null
+
+      - name: Check out tests
+        uses: actions/checkout@v4
+        with:
+          repository: Clozure/ccl-tests
+          path: ccl-tests
+
+      - name: Run tests
+        run: |
+          cd ccl-tests
+          make CCL=../ccl/lx86cl64
+  
+