diff options
| author | John MacFarlane <[email protected]> | 2023-08-31 12:38:42 -0700 |
|---|---|---|
| committer | John MacFarlane <[email protected]> | 2023-08-31 12:38:42 -0700 |
| commit | ccf72ddbd3fec31c64eff7fe3c5e088252dad5b9 (patch) | |
| tree | bedb2aa01f2c797492881cfef4d45dc2b5a9efc7 /Makefile | |
| parent | d9fc86888f371e3aa55003ee09d68430e570c766 (diff) | |
Set GHCOPTS and CABALOPTS in debpkg target.
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 2 |
1 files changed, 2 insertions, 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 \ |