gidl.cabal 1.8 KB

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