export commit hash/branch along side with scripts

2022-06-10 01:08:40 +08:00 · 2022-06-10 01:08:40 +08:00 · 980e17a53d
commit 980e17a53d
parent fe088c2d55
2 changed files with 11 additions and 2 deletions
--- a/agora.cabal
+++ b/agora.cabal
@ -230,6 +230,7 @@ executable agora-scripts
  other-modules:  Options
  build-depends:
    , agora
+    , gitrev
    , optparse-applicative

 executable agora-purescript-bridge