diff options
| author | Peter Simons <simons@cryp.to> | 2011-08-09 23:00:20 +0000 |
|---|---|---|
| committer | Peter Simons <simons@cryp.to> | 2011-08-09 23:00:20 +0000 |
| commit | 3685cea8e9e25bc26584c26dafa26f708b32450d (patch) | |
| tree | 3d9b0a9191ad82f5df5ea7c17c0808181a08b258 /pkgs/development/libraries/haskell/Agda | |
| parent | 065c0213cf95691bbba87a31211b343f559b26b7 (diff) | |
Updated (almost) all Haskell package expressions with cabal2nix.
The new files ... * conform to the coding guidelines, * consistently specify meta.maintainers and meta.platforms, * have proper descriptions and licenses as specified in their Cabal file, and * take advantage of the new cabal.nix extensions, i.e. proper distinction between buildInputs and propagatedBuildInputs. Furthermore, the following updates were performed: * haskell-Ranged-sets: updated to version 0.3.0 * haskell-Shellac-haskeline: updated to version 0.2.0.1 * haskell-cpphs: updated to version 1.12 * haskell-hslogger: updated to version 1.1.5 * haskell-xml: updated to version 1.3.9 * haskell-HDBC-postgresql: updated to version 2.3.2.0 * haskell-HDBC-sqlite3: updated to version 2.3.3.0 * haskell-HDBC: updated to version 2.3.1.0 * haskell-base-unicode-symbols: updated to version 0.2.2.1 * haskell-convertible: updated to version 1.0.11.0 * haskell-monad-control: updated to version 0.2.0.2 * haskell-murmur-hash: updated to version 0.1.0.4 * haskell-repa: updated to version 2.1.1.3 * haskell-statistics: updated to version 0.9.0.0 * haskell-ansi-terminal: updated to version 0.5.5 haskell-maybench was dropped, because it cannot be built with recent versions of Cabal: Configuring maybench-0.2.4.1... Setup: At least the following dependencies are missing: Cabal >=1.2 && <1.5 svn path=/nixpkgs/trunk/; revision=28446
Diffstat (limited to 'pkgs/development/libraries/haskell/Agda')
| -rw-r--r-- | pkgs/development/libraries/haskell/Agda/default.nix | 29 |
1 files changed, 18 insertions, 11 deletions
diff --git a/pkgs/development/libraries/haskell/Agda/default.nix b/pkgs/development/libraries/haskell/Agda/default.nix index 5c896747ef13c..4979d21bf45f2 100644 --- a/pkgs/development/libraries/haskell/Agda/default.nix +++ b/pkgs/development/libraries/haskell/Agda/default.nix @@ -1,18 +1,25 @@ -{cabal, QuickCheck, binary, haskeline, haskellSrcExts, mtl, utf8String, - syb, xhtml, zlib, - happy, alex}: +{ cabal, alex, happy, QuickCheck, binary, haskeline, haskellSrcExts +, mtl, syb, xhtml, zlib +}: -cabal.mkDerivation (self : { +cabal.mkDerivation (self: { pname = "Agda"; version = "2.2.10"; sha256 = "1bh96g5c6b6jzaf3m9gm0vr64avgi86kb45p8i1vg1jbfjdbdlsw"; - extraBuildInputs = [happy alex]; - propagatedBuildInputs = - [QuickCheck binary haskeline haskellSrcExts mtl utf8String - syb xhtml zlib]; + isLibrary = true; + isExecutable = true; + buildDepends = [ + QuickCheck binary haskeline haskellSrcExts mtl syb xhtml zlib + ]; + buildTools = [ alex happy ]; meta = { - description = "A dependently typed functional language and proof assistant"; - maintainers = [self.stdenv.lib.maintainers.andres]; + homepage = "http://wiki.portal.chalmers.se/agda/"; + description = "A dependently typed functional programming language and proof assistant"; + license = "unknown"; + platforms = self.ghc.meta.platforms; + maintainers = [ + self.stdenv.lib.maintainers.andres + self.stdenv.lib.maintainers.simons + ]; }; }) - |