aboutsummaryrefslogtreecommitdiff
path: root/Makefile
diff options
context:
space:
mode:
authorJohn MacFarlane <[email protected]>2024-12-19 11:18:13 -0800
committerJohn MacFarlane <[email protected]>2024-12-20 10:01:01 -0800
commit7b873ac79093d9bb4a31fd54939019a5a8c098f6 (patch)
treeef4449488f9f4c41de7f7e57d5e8ae599ac36549 /Makefile
parent4c409e6cf24162accf74905266a1d1596c76f422 (diff)
Makefile add prof target
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile4
1 files changed, 4 insertions, 0 deletions
diff --git a/Makefile b/Makefile
index e8742a0f1..db28990c9 100644
--- a/Makefile
+++ b/Makefile
@@ -28,6 +28,10 @@ build: ## build executable
$(CABALOPTS) pandoc-cli
.PHONY: build
+prof: ## build with profiling and optimizations
+ cabal build --enable-profiling all
+.PHONY: prof
+
binpath: ## print path of built pandoc executable
@cabal list-bin $(CABALOPTS) --ghc-options='$(GHCOPTS)' pandoc-cli
.PHONY: binpath