From e080db590256ffc17741dfe1e728b3d6092b5329 Mon Sep 17 00:00:00 2001 From: Hongrui Fang Date: Fri, 10 Jun 2022 01:15:11 +0800 Subject: [PATCH] add command `make scripts` --- Makefile | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/Makefile b/Makefile index 05648b3..deab8da 100644 --- a/Makefile +++ b/Makefile @@ -1,7 +1,7 @@ # This really ought to be `/usr/bin/env bash`, but nix flakes don't like that. 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 scripts AGORA_TARGETS := agora agora-bench agora-purescript-bridge agora-scripts agora-specs agora-test agora-testlib @@ -20,6 +20,7 @@ usage: @echo " ps_bridge -- Generate purescript bridge files" @echo " bench -- Generate bench report bench.csv" @echo " bench_check -- Check if bench report is up-to-date" + @echo " scripts -- Export scripts to json files" hoogle: pkill hoogle || true @@ -68,3 +69,6 @@ bench_check: || (echo "bench.csv is outdated"; exit 1) # TODO: do the clean-up even if `diff` fails. rm -rf $(BENCH_TMPDIR) + +scripts: + cabal run agora-scripts \ No newline at end of file