name:                   camfort
version:                0.902
synopsis:               CamFort - Cambridge Fortran infrastructure
description:            CamFort is a tool for the analysis, transformation, verification of Fortran code.

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.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.Grammar
                        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.Synthesis
                        Camfort.Transformation.CommonBlockElim
                        Camfort.Transformation.DeadCode
                        Camfort.Transformation.DataTypeIntroduction
                        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,
                        containers >= 0.5.0.0,
                        uniplate >= 1.6.10,
                        syz >= 0.2,
                        syb >= 0.4,
                        matrix >=0.2.2,
                        vector >= 0.1,
                        hmatrix >= 0.15,
                        mtl >= 2.1,
                        text >= 0.11.2.3,
                        array >= 0.4,
                        directory >= 1.2,
                        transformers >= 0.4,
                        GenericPretty >= 1.2,
                        QuickCheck >= 2.8,
                        fortran-src == 0.1.0.6,
                        filepath,
                        fgl >= 5.5,
                        bytestring >= 0.10,
                        binary >= 0.8.3.0,
                        lattices >= 1.5,
                        sbv >= 5.14,
                        partial-order >= 0.1.2
  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.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.Grammar
                        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.Synthesis
                        Camfort.Transformation.CommonBlockElim
                        Camfort.Transformation.DeadCode
                        Camfort.Transformation.DataTypeIntroduction
                        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,
                        containers >= 0.5.0.0,
                        uniplate >= 1.6.10,
                        syz >= 0.2,
                        syb >= 0.4,
                        matrix >=0.2.2,
                        hmatrix >= 0.17.0.1,
                        mtl >= 2.1,
                        text >= 0.11.2.3,
                        array >= 0.4,
                        directory >= 1.2,
                        transformers >= 0.4,
                        vector >= 0.1,
                        GenericPretty >= 1.2,
                        fortran-src == 0.1.0.6,
                        filepath,
                        bytestring >= 0.10,
                        fgl >= 5.5,
                        binary >= 0.8.3.0,
                        lattices >= 1.5,
                        sbv >= 5.14,
                        partial-order >= 0.1.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.Stencils.CheckSpec
                        Camfort.Specification.Stencils.ConsistencySpec
                        Camfort.Specification.Stencils.DenotationalSemanticsSpec
                        Camfort.Specification.Stencils.GrammarSpec
                        Camfort.Specification.Stencils.InferenceBackendSpec
                        Camfort.Specification.Stencils.ModelSpec
                        Camfort.Specification.StencilsSpec
                        Camfort.Specification.UnitsSpec
                        Camfort.Transformation.CommonSpec
                        Camfort.Transformation.EquivalenceElimSpec
  build-depends:        base >= 4.6 && < 5,
                        containers >= 0.5,
                        filepath >= 1.4,
                        directory >= 1.2,
                        hspec >= 2.2,
                        QuickCheck >= 2.8,
                        fortran-src == 0.1.0.6,
                        uniplate >= 1.6.10,
                        mtl >= 2.1,
                        bytestring >= 0.10,
                        array >= 0.4,
                        hmatrix >= 0.15,
                        text >= 0.11.2.3,
                        binary >= 0.8.3.0,
                        lattices >= 1.5,
                        sbv >= 5.14,
                        partial-order >= 0.1.2,
                        camfort
  default-language: Haskell2010