Sulkta-OSS/agora
3
0
Fork 0
Code Issues 1 Pull requests Projects Releases Packages Wiki Activity Actions

Merge branch 'main' into seungheonoh/deprecateApropos

Browse source
This commit is contained in:
SeungheonOh 2022-06-01 09:11:48 -05:00 • committed by GitHub
commit 9b95e61400
1 changed files with 4 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

6
Makefile
View file

@ -3,6 +3,8 @@ SHELL := /bin/sh
.PHONY: hoogle format haddock usage tag format_nix format_haskell format_check lint ps_bridge bench bench_check .PHONY: hoogle format haddock usage tag format_nix format_haskell format_check lint ps_bridge bench bench_check
AGORA_TARGETS := agora agora-bench agora-purescript-bridge agora-scripts agora-specs agora-test agora-testlib
usage: usage:
@echo "usage: make <command> [OPTIONS]" @echo "usage: make <command> [OPTIONS]"
@echo @echo
@ -45,10 +47,10 @@ haddock:
cabal haddock --haddock-html --haddock-hoogle --builddir=haddock cabal haddock --haddock-html --haddock-hoogle --builddir=haddock
tag: tag:
hasktags -x agora agora-bench agora-test agora-testlib agora-sample agora-purescript-bridge hasktags -x $(AGORA_TARGETS)
lint: lint:
hlint agora agora-bench agora-test agora-testlib agora-specs agora-purescript-bridge hlint $(AGORA_TARGETS)
PS_BRIDGE_OUTPUT_DIR := agora-purescript-bridge/ PS_BRIDGE_OUTPUT_DIR := agora-purescript-bridge/
ps_bridge: ps_bridge: