mirror of
https://github.com/jgm/pandoc.git
synced 2026-08-28 17:20:47 +08:00
Makefile: add weeder target.
This commit is contained in:
@@ -10,6 +10,7 @@
|
||||
!.circleci/**
|
||||
!.editorconfig
|
||||
!.gitattributes
|
||||
!.github/**
|
||||
!.gitignore
|
||||
!.hlint.yaml
|
||||
!.mailmap
|
||||
@@ -34,6 +35,7 @@
|
||||
!release.nix
|
||||
!shell.nix
|
||||
!stack.yaml
|
||||
!weeder.dhall
|
||||
!app/**
|
||||
!benchmark/**
|
||||
!citeproc/**
|
||||
@@ -42,6 +44,8 @@
|
||||
!linux/**
|
||||
!macos/**
|
||||
!man/**
|
||||
!pandoc-server/**
|
||||
!pandoc-cli/**
|
||||
!src/**
|
||||
!test/**
|
||||
!tools/**
|
||||
|
||||
@@ -13,7 +13,7 @@ BASELINECMD=
|
||||
else
|
||||
BASELINECMD=--baseline $(BASELINE)
|
||||
endif
|
||||
GHCOPTS=-fdiagnostics-color=always -j4 +RTS -A8m -RTS
|
||||
GHCOPTS=-fwrite-ide-info -fdiagnostics-color=always -j4 +RTS -A8m -RTS
|
||||
WEBSITE=../../web/pandoc.org
|
||||
REVISION?=1
|
||||
BENCHARGS?=--csv bench_$(TIMESTAMP).csv $(BASELINECMD) --timeout=6 +RTS -T --nonmoving-gc -RTS $(if $(PATTERN),--pattern "$(PATTERN)",)
|
||||
@@ -92,6 +92,10 @@ coverage: ## code coverage information
|
||||
open coverage/hpc_index.html
|
||||
.PHONY: coverage
|
||||
|
||||
weeder: ## run weeder to find dead code
|
||||
weeder
|
||||
.PHONY: weeder
|
||||
|
||||
transitive-deps: ## print transitive dependencies
|
||||
cabal-plan topo | sort | sed -e 's/-[0-9]\..*//'
|
||||
.PHONY: transitive-deps
|
||||
|
||||
@@ -0,0 +1 @@
|
||||
{ roots = [ "^Main.main$", "^Paths_.*$" ] , type-class-roots = True }
|
||||
Reference in New Issue
Block a user