diff --git a/clash-prelude.cabal b/clash-prelude.cabal --- a/clash-prelude.cabal +++ b/clash-prelude.cabal @@ -1,157 +1,157 @@ -Name: clash-prelude -Version: 0.8 -Synopsis: CAES Language for Synchronous Hardware - Prelude library -Description: - CλaSH (pronounced ‘clash’) is a functional hardware description language that - borrows both its syntax and semantics from the functional programming language - Haskell. The merits of using a functional language to describe hardware comes - from the fact that combinational circuits can be directly modeled as - mathematical functions and that functional languages lend themselves very well - at describing and (de-)composing mathematical functions. - . - This package provides: - . - * Prelude library containing datatypes and functions for circuit design - . - To use the library: - . - * Import "CLaSH.Prelude" - . - * Additionally import "CLaSH.Prelude.Explicit" if you want to design - explicitly clocked circuits in a multi-clock setting - . - A preliminary version of a tutorial can be found in "CLaSH.Tutorial", for a - general overview of the library you should however check out "CLaSH.Prelude". - Some circuit examples can be found in "CLaSH.Examples". -Homepage: http://www.clash-lang.org/ -bug-reports: http://github.com/clash-lang/clash-prelude/issues -License: BSD2 -License-file: LICENSE -Author: Christiaan Baaij -Maintainer: Christiaan Baaij -Copyright: Copyright © 2013-2015 University of Twente -Category: Hardware -Build-type: Simple - -Extra-source-files: README.md - CHANGELOG.md - AUTHORS.md - -extra-doc-files: doc/*.svg - -Cabal-version: >=1.10 - -source-repository head - type: git - location: https://github.com/clash-lang/clash-prelude.git - -flag doctests - description: - You can disable testing with doctests using `-f-doctests`. - default: True - manual: True - -flag doclinks - description: - Create hyperlinks to non-dependent packages using `-fdoclinks`. - default: False - manual: True - -Library - HS-Source-Dirs: src - - default-language: Haskell2010 - ghc-options: -Wall -fexpose-all-unfoldings - - Exposed-modules: CLaSH.Annotations.TopEntity - - CLaSH.Class.BitPack - CLaSH.Class.Num - CLaSH.Class.Resize - - CLaSH.Prelude - CLaSH.Prelude.BitIndex - CLaSH.Prelude.BitReduction - CLaSH.Prelude.BlockRam - CLaSH.Prelude.DataFlow - CLaSH.Prelude.Explicit - CLaSH.Prelude.Mealy - CLaSH.Prelude.Moore - CLaSH.Prelude.Testbench - - CLaSH.Promoted.Nat - CLaSH.Promoted.Nat.TH - CLaSH.Promoted.Nat.Literals - CLaSH.Promoted.Ord - CLaSH.Promoted.Symbol - - CLaSH.Signal - CLaSH.Signal.Bundle - CLaSH.Signal.Delayed - CLaSH.Signal.Explicit - CLaSH.Signal.Internal - - CLaSH.Sized.BitVector - CLaSH.Sized.Fixed - CLaSH.Sized.Index - CLaSH.Sized.Signed - CLaSH.Sized.Unsigned - CLaSH.Sized.Vector - - CLaSH.Sized.Internal.BitVector - CLaSH.Sized.Internal.Index - CLaSH.Sized.Internal.Signed - CLaSH.Sized.Internal.Unsigned - - CLaSH.Tutorial - CLaSH.Examples - - other-extensions: BangPatterns - DataKinds - ConstraintKinds - DefaultSignatures - DeriveDataTypeable - FlexibleContexts - GADTs - GeneralizedNewtypeDeriving - KindSignatures - MagicHash - MultiParamTypeClasses - Rank2Types - ScopedTypeVariables - StandaloneDeriving - TemplateHaskell - TupleSections - TypeFamilies - TypeOperators - UndecidableInstances - - Build-depends: base >= 4.8.0.0 && < 5, - data-default >= 0.5.3, - integer-gmp >= 0.5.1.0, - ghc-prim >= 0.3.1.0, - ghc-typelits-natnormalise >= 0.3, - lens >= 4.9, - QuickCheck >= 2.7 && <2.9, - singletons >= 1.0, - template-haskell >= 2.9.0.0, - th-lift >= 0.5.6 - - if flag(doclinks) - CPP-Options: -DDOCLINKS - build-depends: transformers >= 0.4.2.0 - -test-suite doctests - type: exitcode-stdio-1.0 - default-language: Haskell2010 - main-is: doctests.hs - ghc-options: -Wall - hs-source-dirs: tests - - if !flag(doctests) - buildable: False - else - build-depends: - base >= 4 && < 5, - doctest >= 0.9.1 && < 0.10, - Glob >= 0.7 && < 0.8 +Name: clash-prelude +Version: 0.8.1 +Synopsis: CAES Language for Synchronous Hardware - Prelude library +Description: + CλaSH (pronounced ‘clash’) is a functional hardware description language that + borrows both its syntax and semantics from the functional programming language + Haskell. The merits of using a functional language to describe hardware comes + from the fact that combinational circuits can be directly modeled as + mathematical functions and that functional languages lend themselves very well + at describing and (de-)composing mathematical functions. + . + This package provides: + . + * Prelude library containing datatypes and functions for circuit design + . + To use the library: + . + * Import "CLaSH.Prelude" + . + * Additionally import "CLaSH.Prelude.Explicit" if you want to design + explicitly clocked circuits in a multi-clock setting + . + A preliminary version of a tutorial can be found in "CLaSH.Tutorial", for a + general overview of the library you should however check out "CLaSH.Prelude". + Some circuit examples can be found in "CLaSH.Examples". +Homepage: http://www.clash-lang.org/ +bug-reports: http://github.com/clash-lang/clash-prelude/issues +License: BSD2 +License-file: LICENSE +Author: Christiaan Baaij +Maintainer: Christiaan Baaij +Copyright: Copyright © 2013-2015 University of Twente +Category: Hardware +Build-type: Simple + +Extra-source-files: README.md + CHANGELOG.md + AUTHORS.md + +extra-doc-files: doc/*.svg + +Cabal-version: >=1.10 + +source-repository head + type: git + location: https://github.com/clash-lang/clash-prelude.git + +flag doctests + description: + You can disable testing with doctests using `-f-doctests`. + default: True + manual: True + +flag doclinks + description: + Create hyperlinks to non-dependent packages using `-fdoclinks`. + default: False + manual: True + +Library + HS-Source-Dirs: src + + default-language: Haskell2010 + ghc-options: -Wall -fexpose-all-unfoldings + + Exposed-modules: CLaSH.Annotations.TopEntity + + CLaSH.Class.BitPack + CLaSH.Class.Num + CLaSH.Class.Resize + + CLaSH.Prelude + CLaSH.Prelude.BitIndex + CLaSH.Prelude.BitReduction + CLaSH.Prelude.BlockRam + CLaSH.Prelude.DataFlow + CLaSH.Prelude.Explicit + CLaSH.Prelude.Mealy + CLaSH.Prelude.Moore + CLaSH.Prelude.Testbench + + CLaSH.Promoted.Nat + CLaSH.Promoted.Nat.TH + CLaSH.Promoted.Nat.Literals + CLaSH.Promoted.Ord + CLaSH.Promoted.Symbol + + CLaSH.Signal + CLaSH.Signal.Bundle + CLaSH.Signal.Delayed + CLaSH.Signal.Explicit + CLaSH.Signal.Internal + + CLaSH.Sized.BitVector + CLaSH.Sized.Fixed + CLaSH.Sized.Index + CLaSH.Sized.Signed + CLaSH.Sized.Unsigned + CLaSH.Sized.Vector + + CLaSH.Sized.Internal.BitVector + CLaSH.Sized.Internal.Index + CLaSH.Sized.Internal.Signed + CLaSH.Sized.Internal.Unsigned + + CLaSH.Tutorial + CLaSH.Examples + + other-extensions: BangPatterns + DataKinds + ConstraintKinds + DefaultSignatures + DeriveDataTypeable + FlexibleContexts + GADTs + GeneralizedNewtypeDeriving + KindSignatures + MagicHash + MultiParamTypeClasses + Rank2Types + ScopedTypeVariables + StandaloneDeriving + TemplateHaskell + TupleSections + TypeFamilies + TypeOperators + UndecidableInstances + + Build-depends: base >= 4.8.0.0 && < 5, + data-default >= 0.5.3, + integer-gmp >= 0.5.1.0, + ghc-prim >= 0.3.1.0, + ghc-typelits-natnormalise >= 0.3, + lens >= 4.9, + QuickCheck >= 2.7 && <2.9, + singletons >= 1.0, + template-haskell >= 2.9.0.0, + th-lift >= 0.5.6 + + if flag(doclinks) + CPP-Options: -DDOCLINKS + build-depends: transformers >= 0.4.2.0 + +test-suite doctests + type: exitcode-stdio-1.0 + default-language: Haskell2010 + main-is: doctests.hs + ghc-options: -Wall + hs-source-dirs: tests + + if !flag(doctests) + buildable: False + else + build-depends: + base >= 4 && < 5, + doctest >= 0.9.1 && < 0.11, + Glob >= 0.7 && < 0.8