gidl.cabal 1.9 KB

1234567891011121314151617181920212223242526272829303132333435363738394041424344454647484950515253545556575859
  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. Gidl.Backend.Tower.Interface
  34. other-modules: Paths_gidl
  35. build-depends: base >=4.7 && <4.8,
  36. hashable,
  37. mainland-pretty,
  38. parsec,
  39. pretty-show,
  40. transformers,
  41. ivory-artifact
  42. hs-source-dirs: src
  43. default-language: Haskell2010
  44. ghc-options: -Wall
  45. executable gidl
  46. main-is: Main.hs
  47. hs-source-dirs: executables
  48. build-depends: base >= 4.6,
  49. ivory-artifact,
  50. gidl
  51. default-language: Haskell2010
  52. ghc-options: -Wall