diff options
| author | hallgren <hallgren@chalmers.se> | 2016-04-05 13:29:56 +0000 |
|---|---|---|
| committer | hallgren <hallgren@chalmers.se> | 2016-04-05 13:29:56 +0000 |
| commit | ad22a4d899c7bbff81b437f9f603e88686657cbc (patch) | |
| tree | f6591b8bf990dc447649d971bdb79782198e58ca /src/tools/gf-tools.cabal | |
| parent | 9db5139e23913803d44cbd51c55192cace91b384 (diff) | |
src/tools: update GFDoc.hs and Htmls.hs for compatibility with current libraries and add gf-tools.cabal to compile them
Diffstat (limited to 'src/tools/gf-tools.cabal')
| -rw-r--r-- | src/tools/gf-tools.cabal | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/src/tools/gf-tools.cabal b/src/tools/gf-tools.cabal new file mode 100644 index 000000000..4222ae372 --- /dev/null +++ b/src/tools/gf-tools.cabal @@ -0,0 +1,12 @@ +name: gf-tools +version: 0.1 +build-type: Simple +cabal-version: >= 1.8 + +Executable gfdoc + main-is: GFDoc.hs + build-depends: base, directory>=1.2, time>=1.5, process + +Executable htmls + main-is: Htmls.hs + build-depends: base |