dvda-0.4: dvda.cabal

Name:                dvda
Version:             0.4
License:             BSD3
License-file:        LICENSE
Author:              Greg Horn
Maintainer:          gregmainland@gmail.edu
Copyright:           (c) 2011 - 2012 Greg Horn
                     (c) 2009 Andy Gill
Stability:           Experimental
Category:            Numerical, Math
Build-type:          Custom
Synopsis:            Efficient automatic differentiation and code generation
Cabal-version:       >= 1.8
Description: {
dvda == DVDA Verifiably Differentiates Algorithmically
.
This library provides a symbolic scalar type `Dvda.Expr` which is
manipulated mathematically through its Num\/Fractional\/Floating instances.
.
Automatic differentiation can be performed with `Dvda.AD`. Expressions can be turned into
computational graphs (@FunGraph@s) using toFunGraph. This uses unsafe reification for performance reasons,
and explicit common subexpression elimination using hashing can be performed using `Dvda.CSE`
.
@FunGraph@s can be converted to C code and MATLAB mex functions. In the future there will be JIT compilation
so you can call these functions efficiently from Haskell.
.
Pretty graphviz plots!
.
To get started check out the source for `Dvda.Examples`
--If the runtime JIT stuff works in terminal ghci but not emacs haskell-mode, you may need to add
--`(setenv "PATH" (concatenate 'string (getenv "PATH") ":/usr/local/bin"))` to your .emacs file
--.
--To get started look in `Dvda.Examples` or CompileTest.hs in the github repo
}

source-repository head
  type: git
  location: git://github.com/ghorn/dvda.git
--  tag: 

Flag stressTest
  Description: Build a profilable hard executable
  Default: False

Library
  Exposed-modules:   Dvda
                     Dvda.Dual
--                     Dvda.OldExamples
--                     Dvda.OctaveSyntax
--                     Dvda.Tests.Function
--                     Dvda.Tests.Unary

                     Dvda.AD
                     Dvda.Algorithm
                     Dvda.Algorithm.Construct
                     Dvda.Algorithm.Eval
                     Dvda.Algorithm.FunGraph
                     Dvda.Algorithm.Reify
 --                    Dvda.Codegen.CPlugins
--                     Dvda.Codegen.CGen
--                     Dvda.Codegen.Gcc
--                     Dvda.Codegen.PythonGen
--                     Dvda.Codegen.WriteFile
--                     Dvda.CSE
                     Dvda.Expr
--                     Dvda.Examples
                     Dvda.HashMap
--                     Dvda.Vis

  Other-modules:     Dvda.ShowExprTests
  Build-depends:     base       >= 4     && < 5,
                     hashable  >= 1.2,
                     vector >= 0.10,
                     unordered-containers  >= 0.2,
                     containers >= 0.5,
                     hashtables  >= 1.1.0,
                     mtl
--                     file-location >= 0.4.5 && < 0.5
--                     graphviz >= 2999.15 && < 2999.17
--                     fgl >= 5.4 && < 5.5
--                     directory >= 1.2 && < 1.3
--                     QuickCheck == 2.5.*
--                     test-framework-quickcheck2
--                     test-framework
--                     process >= 1.1 && < 1.2
--                     text >= 0.11 && < 0.12
--                     plugins >= 1.5 && < 1.6
--                     unix
--                     text

  Ghc-options:       -Wall -O2
  GHC-Prof-Options:  -Wall -O2 -prof -fprof-auto -fprof-cafs -rtsopts


flag test
  description: Build test program.
  default:     False

Test-suite test
  type:              exitcode-stdio-1.0
  hs-source-dirs:    .
  main-is:           TestMain.hs
  build-depends:     base,
                     dvda,
                     file-location,
                     hashable,
                     hashtables,
                     containers,
                     unordered-containers,
                     graphviz,
                     fgl,
                     mtl,
                     directory,
                     QuickCheck,
                     process,
                     ad,
                     test-framework-quickcheck2,
                     test-framework
  ghc-options:       -Wall