packages feed

camfort-1.0: camfort.cabal

cabal-version: 1.12

-- This file has been generated from package.yaml by hpack version 0.31.2.
--
-- see: https://github.com/sol/hpack
--
-- hash: 2a8d91415419eaf0c7d1532effdda9c5b02165f03a0eac6a02562949c3765671

name:           camfort
version:        1.0
synopsis:       CamFort - Cambridge Fortran infrastructure
description:    CamFort is a tool for the analysis, transformation, verification of Fortran code.
category:       Language
stability:      experimental
homepage:       https://camfort.github.io
bug-reports:    https://github.com/camfort/camfort/issues
author:         Matthew Danish, Mistral Contrastin, Andrew Rice, Dominic Orchard
maintainer:     Matthew Danish
copyright:      2012-2019 University of Cambridge
license:        Apache-2.0
license-file:   LICENSE
tested-with:    GHC >= 8.6
build-type:     Simple
extra-source-files:
    tests/fixtures/Specification/Stencils/example10.expected.f
    tests/fixtures/Specification/Stencils/example10.f
    tests/fixtures/Specification/Stencils/example11.expected.f
    tests/fixtures/Specification/Stencils/example11.f
    tests/fixtures/Specification/Stencils/example12.f
    tests/fixtures/Specification/Stencils/example13.expected.f
    tests/fixtures/Specification/Stencils/example13.f
    tests/fixtures/Specification/Stencils/example14.expected.f
    tests/fixtures/Specification/Stencils/example14.f
    tests/fixtures/Specification/Stencils/example15.expected.f
    tests/fixtures/Specification/Stencils/example15.f
    tests/fixtures/Specification/Stencils/example16.f
    tests/fixtures/Specification/Stencils/example17.f
    tests/fixtures/Specification/Stencils/example2.f
    tests/fixtures/Specification/Stencils/example3.f
    tests/fixtures/Specification/Stencils/example4.f
    tests/fixtures/Specification/Stencils/example5.expected.f
    tests/fixtures/Specification/Stencils/example5.f
    tests/fixtures/Specification/Stencils/example5a.expected.f
    tests/fixtures/Specification/Stencils/example5a.f
    tests/fixtures/Specification/Stencils/example6.expected.f
    tests/fixtures/Specification/Stencils/example6.f
    tests/fixtures/Specification/Stencils/example7.expected.f
    tests/fixtures/Specification/Stencils/example7.f
    tests/fixtures/Specification/Stencils/example8.expected.f
    tests/fixtures/Specification/Stencils/example8.f
    tests/fixtures/Specification/Stencils/example9.expected.f
    tests/fixtures/Specification/Stencils/example9.f
    tests/fixtures/Specification/Units/complexity0.f90
    tests/fixtures/Specification/Units/do-loop1.f90
    tests/fixtures/Specification/Units/do-loop2.f90
    tests/fixtures/Specification/Units/eapVarApp.f90
    tests/fixtures/Specification/Units/eapVarScope.f90
    tests/fixtures/Specification/Units/ex1.f90
    tests/fixtures/Specification/Units/ex2.f90
    tests/fixtures/Specification/Units/ex3.f90
    tests/fixtures/Specification/Units/example-criticals-1.f90
    tests/fixtures/Specification/Units/example-criticals-2.f90
    tests/fixtures/Specification/Units/example-inconsist-1.f90
    tests/fixtures/Specification/Units/example-simple-1.f90
    tests/fixtures/Specification/Units/exp.ex1.f90
    tests/fixtures/Specification/Units/exp.ex2.f90
    tests/fixtures/Specification/Units/exp.ex3.f90
    tests/fixtures/Specification/Units/exp.param.f90
    tests/fixtures/Specification/Units/gcd1.f90
    tests/fixtures/Specification/Units/inconsist3.f90
    tests/fixtures/Specification/Units/inconsistLitInPolyFun.f90
    tests/fixtures/Specification/Units/inconsistRecMult.f90
    tests/fixtures/Specification/Units/inferPoly1.f90
    tests/fixtures/Specification/Units/insideOutside.f90
    tests/fixtures/Specification/Units/literal-nonzero-inconsist1.f90
    tests/fixtures/Specification/Units/literal-nonzero-inconsist2.f90
    tests/fixtures/Specification/Units/literal-nonzero-inconsist3.f90
    tests/fixtures/Specification/Units/literal-nonzero-inconsist4.f90
    tests/fixtures/Specification/Units/literal-nonzero-inconsist5.f90
    tests/fixtures/Specification/Units/literal-nonzero.f90
    tests/fixtures/Specification/Units/literal-nonzero2.f90
    tests/fixtures/Specification/Units/literal-prop.f90
    tests/fixtures/Specification/Units/literal-zero.f90
    tests/fixtures/Specification/Units/param.f90
    tests/fixtures/Specification/Units/recursive1.f90
    tests/fixtures/Specification/Units/sqrtPoly.f90
    tests/fixtures/Specification/Units/squarePoly1.f90
    tests/fixtures/Specification/Units/transfer.f90
    tests/fixtures/Transformation/cmn.expected.f90
    tests/fixtures/Transformation/common.expected.f90
    tests/fixtures/Transformation/common.f90
    tests/fixtures/Transformation/equiv.expected.f90
    tests/fixtures/Transformation/equiv.f90
    CHANGELOG.md

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

library
  exposed-modules:
      Camfort.Analysis
      Camfort.Analysis.Logger
      Camfort.Analysis.Annotations
      Camfort.Analysis.CommentAnnotator
      Camfort.Analysis.ModFile
      Camfort.Analysis.Simple
      Camfort.Specification.Parser
      Camfort.Specification.DerivedDataType
      Camfort.Specification.DerivedDataType.Parser
      Camfort.Specification.Stencils.Analysis
      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.PartialOrd
      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.Analysis
      Camfort.Specification.Units.Analysis.Consistent
      Camfort.Specification.Units.Analysis.Criticals
      Camfort.Specification.Units.Analysis.Infer
      Camfort.Specification.Units.Annotation
      Camfort.Specification.Units.InferenceBackend
      Camfort.Specification.Units.InferenceBackendFlint
      Camfort.Specification.Units.InferenceBackendSBV
      Camfort.Specification.Units.BackendTypes
      Camfort.Specification.Units.Environment
      Camfort.Specification.Units.ModFile
      Camfort.Specification.Units.Monad
      Camfort.Specification.Units.MonadTypes
      Camfort.Specification.Units.Parser
      Camfort.Specification.Units.Parser.Types
      Camfort.Specification.Units.Synthesis
      Camfort.Specification.Hoare
      Camfort.Specification.Hoare.Annotation
      Camfort.Specification.Hoare.Parser
      Camfort.Specification.Hoare.Parser.Types
      Camfort.Specification.Hoare.Lexer
      Camfort.Specification.Hoare.Syntax
      Camfort.Specification.Hoare.Translate
      Camfort.Specification.Hoare.CheckFrontend
      Camfort.Specification.Hoare.CheckBackend
      Camfort.Transformation.CommonBlockElim
      Camfort.Transformation.DeadCode
      Camfort.Transformation.EquivalenceElim
      Camfort.Helpers
      Camfort.Helpers.Syntax
      Camfort.Helpers.Vec
      Camfort.Helpers.TypeLevel
      Camfort.Functionality
      Camfort.Input
      Camfort.Output
      Camfort.Reprint
      Language.Fortran.Model
      Language.Fortran.Model.Singletons
      Language.Fortran.Model.Types
      Language.Fortran.Model.Types.Match
      Language.Fortran.Model.Translate
      Language.Fortran.Model.Repr
      Language.Fortran.Model.Repr.Prim
      Language.Fortran.Model.Vars
      Language.Fortran.Model.Op
      Language.Fortran.Model.Op.Eval
      Language.Fortran.Model.Op.Core
      Language.Fortran.Model.Op.Core.Match
      Language.Fortran.Model.Op.Core.Core
      Language.Fortran.Model.Op.Core.Eval
      Language.Fortran.Model.Op.Meta
      Language.Fortran.Model.Op.High
      Language.Fortran.Model.Util
  hs-source-dirs:
      src
  extra-libraries:
      flint
  build-depends:
      GenericPretty >=1.2.2 && <1.3
    , array >=0.4 && <0.6
    , base >=4.6 && <5
    , binary >=0.8.3.0 && <0.9
    , bytestring >=0.10 && <0.11
    , containers >=0.5.0.0 && <0.7
    , deepseq
    , directory >=1.2 && <1.4
    , fgl >=5.6 && <5.8
    , filepath >=1.4 && <1.5
    , fortran-src >=0.4 && <0.5
    , ghc-prim >=0.3.1.0 && <0.6
    , hmatrix >=0.20 && <0.21
    , lattices >=2.0.0 && <2.1
    , lens >=4.15.1 && <5
    , matrix >=0.2.2 && <0.4
    , mmorph >=1.0.9 && <2
    , mtl >=2.1 && <2.3
    , parallel
    , pipes
    , pretty >=1.1 && <2
    , sbv >=8.0 && <9
    , singletons >=2.2 && <3
    , strict >=0.3.2 && <1
    , syb >=0.4 && <0.8
    , syz >=0.2 && <0.3
    , template-haskell >=2.11 && <3
    , text >=0.11.2.3 && <1.3
    , transformers >=0.5.5.0 && <0.6
    , uniplate >=1.6.10 && <1.7
    , vector >=0.1 && <0.13
    , verifiable-expressions >=0.6.0 && <0.7.0
    , vinyl >=0.6 && <1.0
  build-tools:
      alex ==3.2.*
    , happy ==1.19.*
  default-language: Haskell2010

executable camfort
  main-is: src/Main.hs
  ghc-options: -threaded -rtsopts -with-rtsopts=-N
  build-depends:
      base >=4.6 && <5
    , camfort
    , directory >=1.2 && <2
    , fortran-src >=0.4 && <0.5
    , optparse-applicative >=0.14 && <0.16
  default-language: Haskell2010

test-suite spec
  type: exitcode-stdio-1.0
  main-is: Spec.hs
  other-modules:
      Camfort.Analysis.CommentAnnotatorSpec
      Camfort.Analysis.ImplicitNoneSpec
      Camfort.Analysis.ModFileSpec
      Camfort.Analysis.TestUtils
      Camfort.FunctionalitySpec
      Camfort.ReprintSpec
      Camfort.Specification.DerivedDataTypeSpec
      Camfort.Specification.Hoare.ParserSpec
      Camfort.Specification.ParserSpec
      Camfort.Specification.Stencils.CheckSpec
      Camfort.Specification.Stencils.ConsistencySpec
      Camfort.Specification.Stencils.DenotationalSemanticsSpec
      Camfort.Specification.Stencils.InferenceBackendSpec
      Camfort.Specification.Stencils.ModelSpec
      Camfort.Specification.Stencils.ParserSpec
      Camfort.Specification.StencilsSpec
      Camfort.Specification.Units.Analysis.ConsistentSpec
      Camfort.Specification.Units.Analysis.CriticalsSpec
      Camfort.Specification.Units.Analysis.InferSpec
      Camfort.Specification.Units.InferenceBackendSpec
      Camfort.Specification.Units.ParserSpec
      Camfort.Transformation.CommonSpec
      Camfort.Transformation.EquivalenceElimSpec
      Paths_camfort
  hs-source-dirs:
      tests
  build-depends:
      QuickCheck >=2.8 && <3
    , array >=0.4 && <0.6
    , base >=4.6 && <5
    , binary >=0.8.3.0 && <0.9
    , bytestring >=0.10 && <0.11
    , camfort
    , containers >=0.5.0.0 && <0.7
    , directory >=1.2 && <2
    , fgl >=5.6 && <5.8
    , filepath >=1.4 && <1.5
    , fortran-src >=0.4 && <0.5
    , hmatrix >=0.20 && <0.21
    , hspec >=2.2 && <3
    , lattices >=2.0.0 && <2.1
    , lens >=4.15.1 && <5
    , mtl >=2.1 && <2.3
    , sbv >=8.0 && <9
    , silently ==1.2.*
    , temporary >=1.2.0.4 && <1.4
    , text >=0.11.2.3 && <1.3
    , time
    , uniplate >=1.6.10 && <1.7
    , verifiable-expressions >=0.6.0 && <0.7.0
  build-tool-depends:
      hspec-discover:hspec-discover
  default-language: Haskell2010