From ccf72ddbd3fec31c64eff7fe3c5e088252dad5b9 Mon Sep 17 00:00:00 2001
From: John MacFarlane <jgm@berkeley.edu>
Date: Thu, 31 Aug 2023 12:38:42 -0700
Subject: Set GHCOPTS and CABALOPTS in debpkg target.

---
 Makefile | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/Makefile b/Makefile
index 9c1fafe24..d607058aa 100644
--- a/Makefile
+++ b/Makefile
@@ -147,6 +147,8 @@ debpkg: ## create linux package
                    -v `pwd`/linux/artifacts:/artifacts \
 		   --user $(id -u):$(id -g) \
 		   -e REVISION=$(REVISION) \
+       -e GHCOPTS="-j4 +RTS -A256m -RTS -split-sections -optc-Os -optl=-pthread" \
+       -e CABALOPTS="-f-export-dynamic -fembed_data_files -fserver -flua --enable-executable-static -j4" \
 		   -w /mnt \
 		   --memory=0 \
 		   --rm \
-- 
cgit v1.2.3