Omega.cabal

Cabal-Version:		>= 1.9.2
Name:			Omega
Version:		1.0.3
Build-Type:		Custom
License:		BSD3
License-File:		LICENSE
Author:			Christopher Rodrigues
Maintainer:		cirodrig@illinois.edu
Stability:		Alpha
Synopsis:		Integer sets and relations using Presburger arithmetic
Description:
        Sets of integer tuples and relations on integer tuples.
        Sets and relations are represented compactly by storing their
        characteristic function as a Presburger arithmetic formula.
        Formulae are simplified and solved by the Omega Library.
        The primary interface can be found in
        "Data.Presburger.Omega.Set" and "Data.Presburger.Omega.Rel".
Category:		Data
Extra-Source-Files:
	README
	aclocal.m4
	configure.ac
	configure
	Makefile.in
	src/C_omega.cc
	src/C_omega.h
	src/the-omega-project.tar.gz
Extra-Tmp-Files:	build/C_omega.o
Tested-With:            GHC ==7.4.1, GHC ==7.6.3

custom-setup
  setup-depends: Cabal, base, process, directory, filepath

Flag UseInstalledOmega
  Description:		Link to a preinstalled version of the Omega library
  Default:		False

Library
  Build-Depends:	base >= 4 && < 5, containers
  Exposed-Modules:
        Data.Presburger.Omega.Expr
        Data.Presburger.Omega.LowLevel
        Data.Presburger.Omega.Set
        Data.Presburger.Omega.Rel
  Other-Modules:
        Data.Presburger.Omega.SetRel
  Extensions:		GADTs ScopedTypeVariables
  Build-Tools:		hsc2hs
  Include-Dirs:		src

  if flag(UseInstalledOmega)
    Extra-Libraries:	omega stdc++
  else
    Extra-Libraries:	stdc++

Test-Suite test-Omega
  Type:                 exitcode-stdio-1.0
  main-is:              runtests.hs
  Build-Depends:	base >= 4 && < 5, containers, HUnit
  Other-Modules:
        Data.Presburger.Omega.Expr
        Data.Presburger.Omega.LowLevel
        Data.Presburger.Omega.Set
        Data.Presburger.Omega.Rel
        Data.Presburger.Omega.SetRel
        TestExpr
  Extensions:		GADTs ScopedTypeVariables
  Build-Tools:		hsc2hs
  Hs-Source-Dirs:       . test
  Include-Dirs:		src
  if flag(UseInstalledOmega)
    Extra-Libraries:	omega stdc++
  else
    Extra-Libraries:	stdc++