monadiccp-gecode-0.1.3: monadiccp-gecode.cabal

Name:                  monadiccp-gecode
Version:               0.1.3
Description:           Gecode extension for the Monadic Constraint Programming Framework (code generator and runtime solver backend)
License:               BSD3
License-file:          LICENSE
Author:                Tom Schrijvers, Pieter Wuille
Maintainer:            jrt@informatik.uni-kiel.de
Build-Type:            Simple
Category:              control
Synopsis:              Constraint Programming
Homepage:              http://users.ugent.be/~tschrijv/MCP/
Bug-Reports:           https://github.com/JTiko/monadiccp-gecode/issues
Cabal-Version:         >= 1.8
Extra-Source-Files:    examples/*.hs lib/*.cpp lib/*.h
Data-Files:            README.md

tested-with:
                 GHC==8.4.3

source-repository head
  type: git
  location: https://github.com/JTiko/monadiccp-gecode.git

Flag Debug
    Description:       Generate debug output
    Default:           False

library
    Hs-Source-Dirs:    src
    Include-Dirs:      lib
                       /opt/gecode/gecode-6.0.0/include
    Build-Depends:     base >= 2, base < 5, containers, mtl, monadiccp >= 0.7.6
    C-Sources:         lib/gecodeglue.cpp
    Extra-Libraries:   gecodesupport gecodeset gecodeint gecodekernel gecodesearch stdc++
    extra-lib-dirs:    /opt/gecode/gecode-6.0.0/lib
    Exposed-Modules:   Control.CP.FD.GecodeExample
                       Control.CP.FD.Gecode.Runtime
                       Control.CP.FD.Gecode.RuntimeSearch
                       Control.CP.FD.Gecode.Interface
                       Control.CP.FD.Gecode.Common
                       Control.CP.FD.Gecode.CodegenSolver
    Frameworks:        gecode

    if flag(Debug)
        CPP-Options:    -DDEBUG
        CC-Options:     "-ggdb3" "-Wall" "-std=c++11"
    else
        CC-Options:     "-g0" "-DNDEBUG" "-Wall" "-std=c++11"

test-suite Queens
    hs-source-dirs: examples
    type: exitcode-stdio-1.0
    main-is: Queens.hs
    build-depends: base, monadiccp-gecode