From 8ef5784607530ef0fe135b668e52afd7db07d91b Mon Sep 17 00:00:00 2001
From: Jason Gross <jgross@mit.edu>
Date: Thu, 19 Oct 2023 16:48:07 -0700
Subject: [PATCH] Also test standalone builds on CI

---
 .github/workflows/ci.yml | 30 ++++++++++++++++++++++++------
 1 file changed, 24 insertions(+), 6 deletions(-)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 0f51ce51..5a19d15d 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -19,7 +19,7 @@ jobs:
       fail-fast: false
       matrix:
         python-version: [3.5, 3.6, 3.7, 3.8, 3.11]
-        test-location: ['installed', 'local']
+        test-location: ['installed', 'local', 'standalone']
         env:
         - { COQ_VERSION: "8.15.0", COQ_PACKAGE: "coq-8.14.0", PPA: "ppa:jgross-h/many-coq-versions-ocaml-4-08", os: "ubuntu-20.04" }
         - { COQ_VERSION: "8.14.1", COQ_PACKAGE: "coq-8.14.1", PPA: "ppa:jgross-h/many-coq-versions-ocaml-4-08", os: "ubuntu-20.04" }
@@ -58,22 +58,32 @@ jobs:
     - name: make doctests
       run: make doctests PYTHON3=python
       if: ${{ matrix.python-version != '2.7' }}
-    - name: install package building deps
+    - name: install package building deps (pip)
       run: |
         python -m pip install setuptools wheel twine
-      if: ${{ matrix.test-location == 'installed' }}
-    - name: Build package
+      if: ${{ matrix.test-location = 'installed' }}
+    - name: install package building deps (standalone)
+      run: |
+        python -m pip install pyinstaller
+      if: ${{ matrix.test-location = 'standalone' }}
+    - name: Build package (dist)
       run: make dist
       if: ${{ matrix.test-location == 'installed' }}
+    - name: Build package (standalone)
+      run: make standalone
+      if: ${{ matrix.test-location == 'standalone' }}
     - name: Test install
       run: python -m pip install .
       if: ${{ matrix.test-location == 'installed' }}
     - name: Test (local)
       run: make print-support && make has-all-tests && make check PYTHON=python CAT_ALL_LOGS=1
-      if: ${{ matrix.test-location != 'installed' }}
+      if: ${{ matrix.test-location == 'local' }}
     - name: Test (installed)
       run: make print-support && make has-all-tests && make check PYTHON=python FIND_BUG=coq-bug-minimizer CAT_ALL_LOGS=1
       if: ${{ matrix.test-location == 'installed' }}
+    - name: Test (standalone)
+      run: make print-support && make has-all-tests && make check PYTHON=python FIND_BUG=dist/coq-bug-minimizer/coq-bug-minimizer CAT_ALL_LOGS=1
+      if: ${{ matrix.test-location == 'standalone' }}
 
   docker-build:
     strategy:
@@ -81,7 +91,7 @@ jobs:
       matrix:
         coq-version: ['dev', '8.18', '8.17', '8.16', '8.15', '8.14', '8.13', '8.12', '8.11', '8.10', '8.9', '8.8', '8.7', '8.6', '8.5', '8.4']
         ocaml-version: ['default']
-        test-location: ['installed', 'local']
+        test-location: ['installed', 'local', 'standalone']
 
     runs-on: ubuntu-latest
     concurrency:
@@ -117,6 +127,14 @@ jobs:
             python3 -m pip install .
             endGroup
             make check PYTHON=python3 FIND_BUG=coq-bug-minimizer CAT_ALL_LOGS=1
+          elif [ "${{ matrix.test-location }}" == "standalone" ]; then
+            startGroup 'install package building deps'
+            python3 -m pip install pyinstaller
+            endGroup
+            startGroup 'Build package'
+            make standalone PYTHON=python3
+            endGroup
+            make check PYTHON=python3 FIND_BUG=dist/coq-bug-minimizer/coq-bug-minimizer CAT_ALL_LOGS=1
           else
             make check PYTHON=python3 CAT_ALL_LOGS=1
           fi