name:                chalmers-lava2000
version:             1.0.2
homepage:            http://www.cs.chalmers.se/~koen/Lava/
synopsis:            Hardware description library
description:         Hardware description library
category:            Language, Hardware
license:             BSD3
license-file:        LICENSE
copyright:           (c) 2008. Koen Claessen <koen@chalmers.se>
author:              Koen Claessen <koen@chalmers.se>
maintainer:          Emil Axelsson <emax@chalmers.se>
cabal-version:       >= 1.2
build-type:          Simple
data-files:          README, INSTALL, Doc/tutorial.ps
extra-source-files:  Vhdl/lava.vhd, Scripts/satzoo.wrapper, Scripts/smv.wrapper

library
    exposed-modules:
                     Lava2000
                     Lava2000.Arithmetic
                     Lava2000.Captain
                     Lava2000.Combinational
                     Lava2000.ConstructiveAnalysis
                     Lava2000.Eprover
                     Lava2000.Error
                     Lava2000.Fixit
                     Lava2000.Generic
                     Lava2000.HeerHugo
                     Lava2000.IOBuffering
                     Lava2000.Isc
                     Lava2000.LavaDir
                     Lava2000.LavaRandom
                     Lava2000.Limmat
                     Lava2000.Modoc
                     Lava2000.MyST
                     Lava2000.Netlist
                     Lava2000.Operators
                     Lava2000.Patterns
                     Lava2000.Property
                     Lava2000.Ref
                     Lava2000.Retime
                     Lava2000.Satnik
                     Lava2000.Satzoo
                     Lava2000.Sequent
                     Lava2000.Sequential
                     Lava2000.SequentialCircuits
                     Lava2000.SequentialConstructive
                     Lava2000.Signal
                     Lava2000.SignalTry
                     Lava2000.Smv
                     Lava2000.Stable
                     Lava2000.Table
                     Lava2000.Test
                     Lava2000.Verification
                     Lava2000.Vhdl
                     Lava2000.Vis
                     Lava2000.Zchaff

    build-Depends:   base, haskell98, process

    extensions:      Rank2Types, ExistentialQuantification
    ghc-options:     -fno-warn-overlapping-patterns -fno-warn-missing-methods