summaryrefslogtreecommitdiff
path: root/src/tools/gf-tools.cabal
diff options
context:
space:
mode:
authorodanoburu <bcclaro@gmail.com>2018-06-20 12:33:05 -0300
committerodanoburu <bcclaro@gmail.com>2018-06-20 12:33:05 -0300
commitf0672679535e59c53ed68729bbb5a201ce507b02 (patch)
tree839216d85c207fc4d8fc0565466899ff4a41d5b1 /src/tools/gf-tools.cabal
parent8b05ed9469a970590e1b11cc4e83320d8b94e846 (diff)
parent427f8d84788fc3757fb4dacda931c878bf253fa1 (diff)
Merge remote-tracking branch 'upstream/master' into por
Diffstat (limited to 'src/tools/gf-tools.cabal')
-rw-r--r--src/tools/gf-tools.cabal21
1 files changed, 1 insertions, 20 deletions
diff --git a/src/tools/gf-tools.cabal b/src/tools/gf-tools.cabal
index 47ce0f01c..1f89f3a85 100644
--- a/src/tools/gf-tools.cabal
+++ b/src/tools/gf-tools.cabal
@@ -9,23 +9,4 @@ 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
+ build-depends: base \ No newline at end of file