Omega-0.1.2: Omega.cabal

Name:			Omega
Version:		0.1.2
Cabal-Version:		>= 1.2.3
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.  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/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++