Set GHCOPTS and CABALOPTS in debpkg target.

2026-09-26 09:25:48 +00:00 · 2023-08-31 12:38:42 -07:00
parent d9fc86888f
commit ccf72ddbd3
1 changed files with 2 additions and 0 deletions
@@ -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 \