Set GHCOPTS and CABALOPTS in debpkg target.

jgm · Aug 31, 2023 · ccf72dd · ccf72dd
1 parent d9fc868
commit ccf72dd
Showing 1 changed file with 2 additions and 0 deletions.
diff --git 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 \