🐙 Templated web page generator for your git repositories
git clone https://github.com/m-col/gitja
Files | Refs | Readme | License

Commit 4efe9c247b50bb4a182f6df9e72849e8e6a1dcc7
Parent: 5faaffe51bf89fe94ab7a8fd1efab397d06ce0f7
Author: mcol <mcol@posteo.net>
Date: 2022-04-25 22:43:41 +0100
Committer: mcol <mcol@posteo.net>
Committed: 2022-04-25 22:44:18 +0100

optimise when installing or building for prod

also shush when profiling

Makefile Modified

@@ -18,7 +18,7 @@
 
 .PHONY: install
 install: ## Install the compiled executable
-	@stack install
+	@stack install --ghc-options="-O2"
 
 .PHONY: clean
 clean: ## Clean generated files
@@ -40,13 +40,13 @@
 
 .PHONY: prod
 prod: ## Build with optimise flags
-	@stack build --ghc-options="-O"
+	@stack build --ghc-options="-O2"
 
 .PHONY: prof
 prof: ## Build with profiling enabled
 	@stack build --profile
 	@rm -r output
-	@stack exec --profile -- gitserve +RTS -p
+	@stack exec --profile -- gitserve -q +RTS -p
 	@head -n 6 gitserve.prof
 
 .PHONY: all