diff --git a/clash-prelude/0.7.4/clash-prelude.cabal b/clash-prelude/0.7.4/clash-prelude.cabal new file mode 100644 index 00000000000..39112a94b3f --- /dev/null +++ b/clash-prelude/0.7.4/clash-prelude.cabal @@ -0,0 +1,141 @@ +Name: clash-prelude +Version: 0.7.4 +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". +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 + +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 + +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.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 + + 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.2, + singletons >= 1.0, + template-haskell >= 2.9.0.0, + th-lift >= 0.5.6 + +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 diff --git a/smaoin/0.1.0.0/smaoin.cabal b/smaoin/0.1.0.0/smaoin.cabal new file mode 100644 index 00000000000..5b08e98d55a --- /dev/null +++ b/smaoin/0.1.0.0/smaoin.cabal @@ -0,0 +1,46 @@ +name: smaoin +version: 0.1.0.0 +synopsis: Utilities for the Smaoin semantic information model. +description: This package provides basic types and functions for + working with the Smaoin model in Haskell. But these are + just fundamentals. Storing, loading, querying and + application level functions are/will be provided in other + packages. + . + More info about Smaoin: + . + http://rel4tion.org/projects/smaoin/ +homepage: http://rel4tion.org/projects/smaoin-hs/ +bug-reports: http://rel4tion.org/projects/smaoin-hs/tickets/ +license: PublicDomain +license-file: COPYING +author: fr33domlover +maintainer: fr33domlover@riseup.net +copyright: ♡ Copying is an act of love. Please copy, reuse and share. +category: Data +build-type: Simple +extra-source-files: AUTHORS ChangeLog COPYING INSTALL NEWS README +cabal-version: >=1.10 + +source-repository head + type: darcs + location: http://darcs.rel4tion.org/repos/smaoin/ + +library + exposed-modules: Data.Smaoin + --other-modules: + -- other-extensions: + build-depends: base ==4.7.* + , bytestring ==0.10.* + , text ==1.2.* + hs-source-dirs: src + default-language: Haskell2010 + +test-suite test + default-language: Haskell2010 + type: exitcode-stdio-1.0 + hs-source-dirs: test + main-is: test.hs + build-depends: base ==4.7.* + , QuickCheck >=2.8 + , smaoin