setup bridge target

This commit is contained in:
fanghr 2022-05-13 18:08:57 +08:00
parent 0a31f935b3
commit 9a26439397
No known key found for this signature in database
GPG key ID: 35CD9A71CD5D5870
2 changed files with 17 additions and 0 deletions

View file

@ -0,0 +1,4 @@
module Main (main) where
main :: IO ()
main = return ()

View file

@ -120,6 +120,9 @@ common test-deps
, tasty-hedgehog
, tasty-hunit
common exe-opts
ghc-options: -threaded -rtsopts -with-rtsopts=-N -O0
library
import: lang, deps
exposed-modules:
@ -197,3 +200,13 @@ benchmark agora-bench
main-is: Main.hs
type: exitcode-stdio-1.0
build-depends: agora
executable agora-purescript-bridge
import: lang, deps, exe-opts
main-is: Bridge.hs
build-depends:
, agora
, optparse-applicative
, purescript-bridge
hs-source-dirs: agora-purescript-bridge