Omega-0.2.2: Omega.cabal

Cabal-Version:		>= 1.2.3 && < 1.9
Name:			Omega
Version:		0.2.2
Build-Type:		Custom
License:		BSD3
License-File:		LICENSE
Author:			Christopher Rodrigues
Maintainer:		cirodrig@illinois.edu
Stability:		Alpha
Synopsis:		Operations on Presburger arithmetic formulae
Description:
        This package provides tools for manipulating sets and relations
        whose members can be represented compactly 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
	Makefile.in
	src/C_omega.cc
	src/C_omega.h
	src/the-omega-project.tar.gz
Extra-Tmp-Files:	build/C_omega.o

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

Library
  Build-Depends:	base >= 3 && < 4, 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++