mirrors/nixpkgs
1
0
Fork 1
mirror of https://github.com/NixOS/nixpkgs.git synced 2024-12-25 03:17:13 +00:00
Code Issues Wiki Activity
nixpkgs/pkgs/development/libraries/haskell/Agda/default.nix

30 lines
957 B
Nix
Raw Normal View History

Byte-compile Agda's elisp files
2014-02-27 14:05:29 +00:00
{ cabal, alex, binary, deepseq, emacs, filepath, geniplate, happy
haskell-Agda: update to version 2.3.2
2012-11-12 11:34:28 +00:00
, hashable, hashtables, haskeline, haskellSrcExts, mtl, parallel
Agda: cosmetic change
2013-06-03 21:09:09 +01:00
, QuickCheck, text, time, unorderedContainers, xhtml, zlib
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
2011-08-10 00:00:20 +01:00
}:
* Fixed external library dependencies for some Haskell-Platform packages. * Added Agda plus dependencies. svn path=/nixpkgs/trunk/; revision=15227
2009-04-21 22:05:30 +01:00
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
2011-08-10 00:00:20 +01:00
cabal.mkDerivation (self: {
* Fixed external library dependencies for some Haskell-Platform packages. * Added Agda plus dependencies. svn path=/nixpkgs/trunk/; revision=15227
2009-04-21 22:05:30 +01:00
pname = "Agda";
Agda: update to 2.3.2.2. This update also fixes the build errors on hydra that were caused by an incompatible version of haskell-src-ext. Close #1153.
2013-10-30 20:59:27 +00:00
version = "2.3.2.2";
sha256 = "0zr2rg2yvq6pqg69c6h7hqqpc5nj8prfhcvj5p2alkby0vs110qc";
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
2011-08-10 00:00:20 +01:00
isLibrary = true;
isExecutable = true;
buildDepends = [
haskell-Agda: update to version 2.3.2
2012-11-12 11:34:28 +00:00
binary deepseq filepath geniplate hashable hashtables haskeline
Agda: cosmetic change
2013-06-03 21:09:09 +01:00
haskellSrcExts mtl parallel QuickCheck text time
unorderedContainers xhtml zlib
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
2011-08-10 00:00:20 +01:00
];
Byte-compile Agda's elisp files
2014-02-27 14:05:29 +00:00
buildTools = [ alex emacs happy ];
haskell-Agda: jailbreak to support the latest version of 'hashtables'
2013-02-09 17:17:32 +00:00
jailbreak = true;
Byte-compile Agda's elisp files
2014-02-27 14:05:29 +00:00
postInstall = ''
$out/bin/agda-mode compile
'';
* Fixed external library dependencies for some Haskell-Platform packages. * Added Agda plus dependencies. svn path=/nixpkgs/trunk/; revision=15227
2009-04-21 22:05:30 +01:00
meta = {
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
2011-08-10 00:00:20 +01:00
homepage = "http://wiki.portal.chalmers.se/agda/";
description = "A dependently typed functional programming language and proof assistant";
license = "unknown";
platforms = self.ghc.meta.platforms;
Remove myself from the meta.maintainer field of most Haskell packages. There is no point in receiving hundreds of e-mails; I cannot read them anyway.
2013-05-10 23:36:36 +01:00
maintainers = [ self.stdenv.lib.maintainers.andres ];
* Fixed external library dependencies for some Haskell-Platform packages. * Added Agda plus dependencies. svn path=/nixpkgs/trunk/; revision=15227
2009-04-21 22:05:30 +01:00
};
Removing trailing whitespace. svn path=/nixpkgs/trunk/; revision=26570
2011-03-28 16:04:00 +01:00
})
Copy permalink