monadiccp-gecode-0.1.2: monadiccp-gecode.cabal

Name:			monadiccp-gecode
Version:		0.1.2
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.6
Extra-Source-Files:	examples/*.hs lib/*.cpp lib/*.h
Data-Files:		README.md

tested-with:     
                 GHC==7.6.3

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

Flag Debug
    Description:	Generate debug output
    Default:		False

library
    Include-Dirs:	lib
    Build-Depends:	base >= 2, base < 5, containers, mtl, monadiccp >= 0.7.6
    C-Sources:		lib/gecodeglue.cpp
    Extra-Libraries:	gecodesupport gecodeset gecodeint gecodekernel gecodesearch
    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"
    else
        CC-Options:	"-g0" "-DNDEBUG" "-Wall"