diff options
| author | Krasimir Angelov <kr.angelov@gmail.com> | 2018-04-12 14:45:30 +0200 |
|---|---|---|
| committer | Krasimir Angelov <kr.angelov@gmail.com> | 2018-04-12 14:45:30 +0200 |
| commit | 9a6b3b4a1f84f4071b2782ad876d4e8f9134da34 (patch) | |
| tree | 950984f9636c3c3d9c11a3c65645e1ccf6b5a78a /src/tools/gf-tools.cabal | |
| parent | 2d898e78c0f8bc097db675392f829f53ed62347b (diff) | |
| parent | 4931acc36defec9cc6950829a2f3533b6bf94eb5 (diff) | |
Merge branch 'master' of https://github.com/GrammaticalFramework/GF
Diffstat (limited to 'src/tools/gf-tools.cabal')
| -rw-r--r-- | src/tools/gf-tools.cabal | 19 |
1 files changed, 19 insertions, 0 deletions
diff --git a/src/tools/gf-tools.cabal b/src/tools/gf-tools.cabal index 4222ae372..47ce0f01c 100644 --- a/src/tools/gf-tools.cabal +++ b/src/tools/gf-tools.cabal @@ -10,3 +10,22 @@ Executable gfdoc Executable htmls main-is: Htmls.hs build-depends: base + + +library + hs-source-dirs: gftest + exposed-modules: Grammar + other-modules: Mu, Graph, FMap, EqRel + build-depends: base + , containers + , pgf2 + +executable gftest + hs-source-dirs: gftest + main-is: Main.hs + build-depends: base + , pgf2 + , cmdargs + , containers + , filepath + , gf-tools
\ No newline at end of file |