-- The name of the package.
name:                quipper-libraries

-- The package version.  See the Haskell package versioning policy (PVP) 
-- for standards guiding when and how versions should be incremented.
-- http://www.haskell.org/haskellwiki/Package_versioning_policy
-- PVP summary:      +-+------- breaking API changes
--                   | | +----- non-breaking API additions
--                   | | | +--- code changes with no API change
version:             0.9.0.0

-- A short (one-line) description of the package.
synopsis:            The standard libraries for Quipper.

-- A longer description of the package.
description:         

 This package provides the standard libraries for Quipper, the
 embedded functional programming language for quantum computing.
 This includes libraries for quantum integer and fixed-point
 arithmetic, decomposition into standard gate sets, the quantum
 Fourier transform, simulation, among other things.
                     
-- URL for the project homepage or repository.
homepage:            http://www.mathstat.dal.ca/~selinger/quipper/

-- The license under which the package is released.
license:             BSD3

-- The file containing the license text.
license-file:        COPYRIGHT

-- The package author(s).
author:              Alexander S. Green, Peter LeFanu Lumsdaine,
                     Neil J. Ross, Peter Selinger, Benoît Valiron

-- An email address to which users can send suggestions, bug reports, and 
-- patches.
maintainer:          selinger@mathstat.dal.ca

-- A copyright notice.
copyright:           Copyright (c) 2011-2019. All rights reserved.

-- A classification category for future use by the package catalogue
-- Hackage. These categories have not yet been specified, but the
-- upper levels of the module hierarchy make a good start.
category:            Quipper

-- The type of build used by this package.
build-type:          Custom

-- Constraint on the version of Cabal needed to build this package.
cabal-version:       >= 1.8

-- A list of additional files to be included in source distributions
-- built with setup sdist.
extra-source-files:  images/*.png ChangeLog

library
  -- Modules exported by the library.
  exposed-modules:
    Quipper.Libraries.Arith
    Quipper.Libraries.Decompose
    Quipper.Libraries.Decompose.CliffordT
    Quipper.Libraries.Decompose.GateBase
    Quipper.Libraries.Decompose.Legacy
    Quipper.Libraries.DynamicLiftings
    Quipper.Libraries.GateDecompositions
    Quipper.Libraries.FPReal
    Quipper.Libraries.QFT
    Quipper.Libraries.QFTAdd
    Quipper.Libraries.Qram
    Quipper.Libraries.QuantumIf
    Quipper.Libraries.QuipperASCIIParser.Parse
    Quipper.Libraries.QuipperASCIIParser.CircInfo
    Quipper.Libraries.QuipperASCIIParser.ASCIICirc
    Quipper.Libraries.QuipperASCIIParser
    Quipper.Libraries.Qureg
    Quipper.Libraries.Simulation
    Quipper.Libraries.Simulation.ClassicalSimulation
    Quipper.Libraries.Simulation.CliffordSimulation
    Quipper.Libraries.Simulation.QuantumSimulation
    Quipper.Libraries.Synthesis
    Quipper.Libraries.Unboxing
    Quipper.Libraries.ClassicalOptim.Circuit
    Quipper.Libraries.ClassicalOptim.AlgExp
    Quipper.Libraries.ClassicalOptim
    Quipper.Libraries.ClassicalOptim.QuipperInterface
    Quipper.Libraries.ClassicalOptim.Simplification
  
  -- Modules included in this library but not exported.
  other-modules:       
  
  -- Other library packages from which modules are imported.
  build-depends: base >= 4.5 && < 5,
                 containers >= 0.5.2.1,
                 mtl >= 2.1.2,
                 random >= 1.0.1.1,
                 newsynth >= 0.3.0.1,
                 deepseq >= 1.4,
                 quipper-utils >= 0.9.0.0,
                 quipper-language >= 0.9.0.0

test-suite quickcheck
  type: exitcode-stdio-1.0
  main-is: Quipper/Libraries/ClassicalOptim/QuickCheckMain.hs
  other-modules:
                   Quipper.Libraries.Arith
                   Quipper.Libraries.ClassicalOptim.Circuit
                   Quipper.Libraries.ClassicalOptim.QuickCheckArith
                   Quipper.Libraries.ClassicalOptim.QuickCheckAlgExp
                   Quipper.Libraries.ClassicalOptim.AlgExp
                   Quipper.Libraries.ClassicalOptim.QuickCheck
                   Quipper.Libraries.ClassicalOptim.QuipperInterface
                   Quipper.Libraries.ClassicalOptim.Simplification
                   Quipper.Libraries.Simulation
                   Quipper.Libraries.Simulation.ClassicalSimulation
                   Quipper.Libraries.Simulation.CliffordSimulation
                   Quipper.Libraries.Simulation.QuantumSimulation

  build-depends:
                 base,
                 containers,
                 mtl,
                 deepseq,
                 newsynth,
                 random,
                 QuickCheck >= 2.12.5,
                 quipper-utils >= 0.9.0.0,
                 quipper-language >= 0.9.0.0

custom-setup
  setup-depends:  base >= 4.5,
                  superdoc >= 0.1,
                  Cabal >= 1.24,
                  quipper-cabal >= 0.9.0.0