gidl.cabal 2.0 KB

1234567891011121314151617181920212223242526272829303132333435363738394041424344454647484950515253545556575859606162
  1. name: gidl
  2. version: 0.1.0.0
  3. license: BSD3
  4. license-file: LICENSE
  5. author: Pat Hickey
  6. maintainer: pat@galois.com
  7. copyright: 2015 Galois Inc
  8. build-type: Simple
  9. cabal-version: >=1.10
  10. data-files: support/ivory/Unpack.hs.template,
  11. support/ivory/CodeGen.hs.template,
  12. support/ivory/Makefile,
  13. support/tower/CodeGen.hs.template,
  14. support/tower/default.conf,
  15. support/tower/Makefile
  16. library
  17. exposed-modules: Gidl,
  18. Gidl.Parse,
  19. Gidl.Interface,
  20. Gidl.Interface.AST,
  21. Gidl.Schema,
  22. Gidl.Types,
  23. Gidl.Types.AST,
  24. Gidl.Types.Base,
  25. Gidl.Backend.Cabal,
  26. Gidl.Backend.Haskell,
  27. Gidl.Backend.Haskell.Interface,
  28. Gidl.Backend.Haskell.Test,
  29. Gidl.Backend.Haskell.Types,
  30. Gidl.Backend.Ivory,
  31. Gidl.Backend.Ivory.Schema,
  32. Gidl.Backend.Ivory.Test,
  33. Gidl.Backend.Ivory.Types,
  34. Gidl.Backend.Tower,
  35. Gidl.Backend.Tower.Schema,
  36. Gidl.Backend.Tower.Interface
  37. other-modules: Paths_gidl
  38. build-depends: base >=4.7 && <4.8,
  39. hashable,
  40. mainland-pretty,
  41. parsec,
  42. pretty-show,
  43. transformers,
  44. ivory-artifact
  45. hs-source-dirs: src
  46. default-language: Haskell2010
  47. ghc-options: -Wall
  48. executable gidl
  49. main-is: Main.hs
  50. hs-source-dirs: executables
  51. build-depends: base >= 4.6,
  52. ivory-artifact,
  53. gidl
  54. default-language: Haskell2010
  55. ghc-options: -Wall