camfort-0.903: camfort.cabal

name:                   camfort
version:                0.903
synopsis:               CamFort - Cambridge Fortran infrastructure
description:            CamFort is a tool for the analysis, transformation, verification of Fortran code.
homepage:               https://camfort.github.io
bug-reports:            https://github.com/camfort/camfort/issues

copyright:              2012-2016 University of Cambridge
author:                 Dominic Orchard, Matthew Danish, Mistral Contrastin, Andrew Rice, Oleg Oshmyan
maintainer:             dom.orchard@gmail.com

license:                Apache-2.0
license-file:           LICENSE

stability:              experimental
build-type:             Simple
category:               Language

cabal-version:          >= 1.18
tested-with:            GHC >= 7.8

extra-source-files:     tests/fixtures/Specification/Stencils/*.f
                        tests/fixtures/Specification/Units/*.f90
			tests/fixtures/Transformation/*.f90

source-repository head
  type: git
  location: https://github.com/camfort/camfort

executable camfort
  main-is: Main.hs
  hs-source-dirs:       src
  other-modules:        Camfort.Analysis.Annotations
                        Camfort.Analysis.CommentAnnotator
                        Camfort.Analysis.Simple
                        Camfort.Specification.Parser
                        Camfort.Specification.Stencils.Annotation
                        Camfort.Specification.Stencils.CheckBackend
                        Camfort.Specification.Stencils.CheckFrontend
                        Camfort.Specification.Stencils.Consistency
                        Camfort.Specification.Stencils.DenotationalSemantics
                        Camfort.Specification.Stencils.Generate
                        Camfort.Specification.Stencils.InferenceBackend
                        Camfort.Specification.Stencils.InferenceFrontend
                        Camfort.Specification.Stencils.Model
                        Camfort.Specification.Stencils.Syntax
                        Camfort.Specification.Stencils.Parser
                        Camfort.Specification.Stencils.Parser.Types
                        Camfort.Specification.Stencils.Synthesis
                        Camfort.Specification.Stencils
                        Camfort.Specification.Units
                        Camfort.Specification.Units.InferenceFrontend
                        Camfort.Specification.Units.InferenceBackend
                        Camfort.Specification.Units.Environment
                        Camfort.Specification.Units.Monad
                        Camfort.Specification.Units.Parser
                        Camfort.Specification.Units.Parser.Types
                        Camfort.Specification.Units.Synthesis
                        Camfort.Transformation.CommonBlockElim
                        Camfort.Transformation.DeadCode
                        Camfort.Transformation.EquivalenceElim
                        Camfort.Helpers
                        Camfort.Helpers.Syntax
                        Camfort.Helpers.Vec
                        Camfort.Functionality
                        Camfort.Input
                        Camfort.Output
                        Camfort.Reprint
                        Main

  build-depends:        base >= 4.6 && < 5,
                        ghc-prim >= 0.3.1.0 && < 0.6,
                        containers >= 0.5.0.0 && < 0.6,
                        uniplate >= 1.6.10 && < 2,
                        syz >= 0.2 && < 0.3,
                        syb >= 0.4 && < 0.7,
                        matrix >= 0.2.2 && < 0.4,
                        vector >= 0.1 && < 0.12,
                        hmatrix >= 0.15 && < 0.19,
                        mtl >= 2.1 && < 3,
                        text >= 0.11.2.3 && < 2,
                        array >= 0.4 && < 0.6,
                        directory >= 1.2 && < 2,
                        transformers >= 0.4 && < 0.6,
                        GenericPretty >= 1.2 && < 2,
                        QuickCheck >= 2.8 && < 3,
                        fortran-src >= 0.2.0.0 && < 0.3,
                        filepath >= 1.4 && < 2,
                        fgl >= 5.5 && < 6,
                        bytestring >= 0.10 && < 0.11,
                        binary >= 0.8.3.0 && < 0.9,
                        lattices >= 1.5 && < 2,
                        sbv >= 7.0 && < 8,
                        partial-order >= 0.1.2,
                        optparse-applicative >= 0.13.2.0 && < 0.14
  default-language: Haskell2010

library
  hs-source-dirs:       src
  build-tools:          alex, happy
  exposed-modules:      Camfort.Analysis.Annotations
                        Camfort.Analysis.CommentAnnotator
                        Camfort.Analysis.Simple
                        Camfort.Specification.Parser
                        Camfort.Specification.Stencils.Annotation
                        Camfort.Specification.Stencils.CheckBackend
                        Camfort.Specification.Stencils.CheckFrontend
                        Camfort.Specification.Stencils.Consistency
                        Camfort.Specification.Stencils.DenotationalSemantics
                        Camfort.Specification.Stencils.InferenceBackend
                        Camfort.Specification.Stencils.InferenceFrontend
                        Camfort.Specification.Stencils.Model
                        Camfort.Specification.Stencils.Syntax
                        Camfort.Specification.Stencils.Generate
                        Camfort.Specification.Stencils.Parser
                        Camfort.Specification.Stencils.Parser.Types
                        Camfort.Specification.Stencils.Synthesis
                        Camfort.Specification.Stencils
                        Camfort.Specification.Units
                        Camfort.Specification.Units.InferenceFrontend
                        Camfort.Specification.Units.InferenceBackend
                        Camfort.Specification.Units.Environment
                        Camfort.Specification.Units.Monad
                        Camfort.Specification.Units.Parser
                        Camfort.Specification.Units.Parser.Types
                        Camfort.Specification.Units.Synthesis
                        Camfort.Transformation.CommonBlockElim
                        Camfort.Transformation.DeadCode
                        Camfort.Transformation.EquivalenceElim
                        Camfort.Helpers
                        Camfort.Helpers.Syntax
                        Camfort.Helpers.Vec
                        Camfort.Functionality
                        Camfort.Input
                        Camfort.Output
                        Camfort.Reprint

  build-depends:        base >= 4.6 && < 5,
                        ghc-prim >= 0.3.1.0 && < 0.6,
                        containers >= 0.5.0.0 && < 0.6,
                        uniplate >= 1.6.10 && < 2,
                        syz >= 0.2 && < 0.3,
                        syb >= 0.4 && < 0.7,
                        matrix >= 0.2.2 && < 0.4,
                        hmatrix >= 0.15 && < 0.19,
                        mtl >= 2.1 && < 3,
                        text >= 0.11.2.3 && < 2,
                        array >= 0.4 && < 0.6,
                        directory >= 1.2 && < 2,
                        transformers >= 0.4 && < 0.6,
                        vector >= 0.1 && < 0.12,
                        GenericPretty >= 1.2 && < 2,
                        fortran-src >= 0.2.0.0 && < 0.3,
                        filepath >= 1.4 && < 2,
                        bytestring >= 0.10 && < 0.11,
                        fgl >= 5.5 && < 6,
                        binary >= 0.8.3.0 && < 0.9,
                        lattices >= 1.5 && < 2,
                        sbv >= 7.0 && < 8,
                        partial-order >= 0.1.2 && < 0.2
  default-language: Haskell2010

test-suite spec
  type:                 exitcode-stdio-1.0
  main-is:              Spec.hs
  hs-source-dirs:       tests
  other-modules:        Camfort.Analysis.CommentAnnotatorSpec
                        Camfort.Specification.ParserSpec
                        Camfort.Specification.Stencils.CheckSpec
                        Camfort.Specification.Stencils.ConsistencySpec
                        Camfort.Specification.Stencils.DenotationalSemanticsSpec
                        Camfort.Specification.Stencils.ParserSpec
                        Camfort.Specification.Stencils.InferenceBackendSpec
                        Camfort.Specification.Stencils.ModelSpec
                        Camfort.Specification.StencilsSpec
                        Camfort.Specification.Units.InferenceBackendSpec
                        Camfort.Specification.Units.InferenceFrontendSpec
                        Camfort.Specification.Units.ParserSpec
                        Camfort.Specification.UnitsSpec
                        Camfort.Transformation.CommonSpec
                        Camfort.Transformation.EquivalenceElimSpec
  build-depends:        base >= 4.6 && < 5,
                        containers >= 0.5.0.0 && < 0.6,
                        filepath >= 1.4 && < 2,
                        directory >= 1.2 && < 2,
                        hspec >= 2.2 && < 3,
                        QuickCheck >= 2.8 && < 3,
                        fortran-src >= 0.2.0.0 && < 0.3,
                        uniplate >= 1.6.10 && < 2,
                        mtl >= 2.1 && < 3,
                        bytestring >= 0.10 && < 0.11,
                        array >= 0.4 && < 0.6,
                        hmatrix >= 0.15 && < 0.19,
                        text >= 0.11.2.3 && < 2,
                        binary >= 0.8.3.0 && < 0.9,
                        lattices >= 1.5 && < 2,
                        sbv >= 7.0 && < 8,
                        partial-order >= 0.1.2 && < 0.2,
                        camfort
  default-language: Haskell2010