change ShowLetName into HideableName
[haskell/symantic-parser.git] / Makefile
index 3baf6313b82381ac9e54144cb216037e76456596..cfbe0472737e41f45d9aca579b36a2c57b66e907 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -1,7 +1,11 @@
+override BENCHMARK_OPTIONS += --output benchmarks/html/$(version).html --match glob $b
+override GHCID_OPTIONS += --no-height-limit --reverse-errors --warnings
+override GHC_PROF_OPTIONS += -eventlog -fprof-auto -fprof-cafs
+#-fprof-auto-calls
+override REPL_OPTIONS += -ignore-dot-ghci
 override RTS_OPTIONS += -L100
 override TEST_OPTIONS += --color always --size-cutoff 1000000 $(addprefix -p ,$t)
-override GHC_PROF_OPTIONS += -fprof-auto -fprof-auto-calls
-override BENCHMARK_OPTIONS += --output benchmarks/html/$(version).html --match glob $b
+override CABAL_TEST_FLAGS += -j
 
 cabal := $(wildcard *.cabal)
 package := $(notdir ./$(cabal:.cabal=))
@@ -10,15 +14,28 @@ project := $(patsubst %.cabal,%,$(cabal))
 
 all: build
 build:
-       cabal build
+       cabal build $(CABAL_BUILD_FLAGS)
 clean c:
        cabal clean
 repl:
-       cabal repl $(project)
+       cabal repl $(CABAL_REPL_FLAGS) $(project)
+ghcid:
+       ghcid $(GHCID_OPTIONS) --command 'cabal repl -fno-code $(CABAL_REPL_FLAGS) $(project) $(addprefix --repl-options ,$(REPL_OPTIONS))'
+.PHONY: parsers
+parsers:
+       cabal build $(CABAL_BUILD_FLAGS) $(project):parsers
 parsers/repl:
-       cabal repl $(project):parsers
+       cabal repl $(CABAL_REPL_FLAGS) $(project):parsers
+parsers/ghcid:
+       ghcid $(GHCID_OPTIONS) --command 'cabal repl -fno-code $(CABAL_REPL_FLAGS) $(project):parsers $(addprefix --repl-options ,$(REPL_OPTIONS))'
+parsers/prof-th:
+       cabal v2-build lib:$(project) --enable-profiling $(addprefix --ghc-options ,$(GHC_PROF_OPTIONS)) --write-ghc-environment-files=always
+       cabal build $(CABAL_BUILD_FLAGS) $(project):parsers \
+        --enable-profiling $(addprefix --ghc-options ,$(GHC_PROF_OPTIONS)) \
+        --ghc-options "$(addprefix -opti,+RTS $(RTS_OPTIONS))"
 
-tests:
+.PHONY: tests
+t tests:
        cabal test $(CABAL_TEST_FLAGS) \
         --test-show-details always --test-options "$(TEST_OPTIONS)"
 tests/prof-time: $(project)-test.eventlog.json
@@ -27,15 +44,17 @@ tests/prof-heap: $(project)-test.eventlog.html
 $(project)-test.eventlog $(project)-test.prof:
        cabal test $(CABAL_TEST_FLAGS) \
         --test-show-details always --test-options "$(TEST_OPTIONS) +RTS $(RTS_OPTIONS)" \
-        --enable-profiling $(GHC_PROF_OPTIONS) || true
+        --enable-profiling $(addprefix --ghc-options ,$(GHC_PROF_OPTIONS)) || true
 tests/prof-th:
-       cabal v2-build lib:$(project) --enable-profiling $(GHC_PROF_OPTIONS) --write-ghc-environment-files=always
+       cabal v2-build lib:$(project) --enable-profiling $(addprefix --ghc-options ,$(GHC_PROF_OPTIONS)) --write-ghc-environment-files=always
        cabal test $(CABAL_TEST_FLAGS) \
         --test-show-details always --test-options "$(TEST_OPTIONS) +RTS $(RTS_OPTIONS)" \
-        --enable-profiling $(GHC_PROF_OPTIONS) \
+        --enable-profiling $(addprefix --ghc-options ,$(GHC_PROF_OPTIONS)) \
         --ghc-options "$(addprefix -opti,+RTS $(RTS_OPTIONS))"
-tests/repl:
-       cabal repl --enable-tests $(project)-test
+t/repl tests/repl:
+       cabal repl $(CABAL_REPL_FLAGS) $(CABAL_TEST_FLAGS) --enable-tests $(project)-test
+t/ghcid tests/ghcid:
+       ghcid $(GHCID_OPTIONS) --command 'cabal repl $(CABAL_REPL_FLAGS) $(CABAL_TEST_FLAGS) $(project):tests' --test ":main $(TEST_OPTIONS)"
 
 %/accept: TEST_OPTIONS += --accept
 %/accept: %
@@ -50,15 +69,18 @@ tests/repl:
 %.eventlog.json: %.eventlog
        hs-speedscope $<
 
-b benchmarks/html/$(version).html:
+.PHONY: benchmarks/html/$(version).html
+b benchmarks: benchmarks/html/$(version).html
+benchmarks/html/$(version).html:
        mkdir -p benchmarks/html
        cabal bench $(CABAL_BENCH_FLAGS) --benchmark-options "$(BENCHMARK_OPTIONS)"
 benchmarks/repl:
-       cabal repl --enable-benchmarks $(project)-benchmark
+       cabal repl $(CABAL_REPL_FLAGS) --enable-benchmarks $(project)-benchmark
 benchmarks/prof-time: $(project)-benchmark.eventlog.json
 benchmarks/prof-heap: $(project)-benchmark.eventlog.html
 .PHONY: $(project)-benchmark.eventlog
 $(project)-benchmark.eventlog $(project)-benchmark.prof:
+       @echo "$$(tput setaf 1)WARNING: benchmarking with --enable-profiling can create significant biases$$(tput sgr0)"
        cabal bench $(CABAL_BENCH_FLAGS) \
         --benchmark-options "$(BENCHMARK_OPTIONS) +RTS $(RTS_OPTIONS)" \
         --enable-profiling $(GHC_PROF_OPTIONS)
@@ -93,6 +115,6 @@ nix-build:
 nix-relock:
        nix flake update --recreate-lock-file
 nix-repl:
-       nix -L develop --command cabal repl
+       nix -L develop --command cabal repl $(CABAL_REPL_FLAGS)
 nix-shell:
        nix -L develop