From 11e9a7e72085c19183f8cb4a254cf55e8b12a4dd Mon Sep 17 00:00:00 2001
From: John MacFarlane <jgm@berkeley.edu>
Date: Thu, 13 Jul 2023 19:20:29 -0700
Subject: [PATCH] Disable lua support.

---
 .cirrus.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.cirrus.yml b/.cirrus.yml
index 1dfe58fec..41be541de 100644
--- a/.cirrus.yml
+++ b/.cirrus.yml
@@ -59,7 +59,7 @@ task:
     memory: 12G
   env:
     CABALOPTS: |
-      -f-export-dynamic -fembed_data_files -fserver -flua --enable-executable-static -j
+      -f-export-dynamic -fembed_data_files -fserver -f-lua --enable-executable-static -j
     GHCOPTS: -j4 +RTS -A256m -RTS -split-sections -optc-Os -optl=-pthread
   cabal_store_cache:
     folder: ~/.local/cabal/state