gidl.cabal 2.1 KB

12345678910111213141516171819202122232425262728293031323334353637383940414243444546474849505152535455565758596061626364
  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/Attr.hs.template,
  15. support/tower/default.conf,
  16. support/tower/Makefile
  17. library
  18. exposed-modules: Gidl,
  19. Gidl.Parse,
  20. Gidl.Interface,
  21. Gidl.Interface.AST,
  22. Gidl.Schema,
  23. Gidl.Types,
  24. Gidl.Types.AST,
  25. Gidl.Types.Base,
  26. Gidl.Backend.Cabal,
  27. Gidl.Backend.Haskell,
  28. Gidl.Backend.Haskell.Interface,
  29. Gidl.Backend.Haskell.Test,
  30. Gidl.Backend.Haskell.Types,
  31. Gidl.Backend.Ivory,
  32. Gidl.Backend.Ivory.Schema,
  33. Gidl.Backend.Ivory.Test,
  34. Gidl.Backend.Ivory.Types,
  35. Gidl.Backend.Tower,
  36. Gidl.Backend.Tower.Schema,
  37. Gidl.Backend.Tower.Interface
  38. other-modules: Paths_gidl
  39. build-depends: base >=4.7 && <4.8,
  40. hashable,
  41. mainland-pretty,
  42. parsec,
  43. pretty-show,
  44. transformers,
  45. ivory-artifact,
  46. s-cargot,
  47. text
  48. hs-source-dirs: src
  49. default-language: Haskell2010
  50. ghc-options: -Wall
  51. executable gidl
  52. main-is: Main.hs
  53. hs-source-dirs: executables
  54. build-depends: base >= 4.6,
  55. ivory-artifact,
  56. gidl
  57. default-language: Haskell2010
  58. ghc-options: -Wall