JakeHillion/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Merge pull request #3418 from peti/drop-obsolete-agda-version

Browse Source 
Agda: drop obsolete version 2.3.2.2
This commit is contained in:
Peter Simons 2014-08-06 13:39:30 +02:00
commit b6e2a52b72
5 changed files with 2 additions and 71 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

29
pkgs/development/compilers/agda/2.3.2.2.nix
View File

@ -1,29 +0,0 @@
{ cabal, alex, binary, deepseq, emacs, filepath, geniplate, happy
, hashable, hashtables, haskeline, haskellSrcExts, mtl, parallel
, QuickCheck, text, time, unorderedContainers, xhtml, zlib
}:
cabal.mkDerivation (self: {
pname = "Agda";
version = "2.3.2.2";
sha256 = "0zr2rg2yvq6pqg69c6h7hqqpc5nj8prfhcvj5p2alkby0vs110qc";
isLibrary = true;
isExecutable = true;
buildDepends = [
binary deepseq filepath geniplate hashable hashtables haskeline
haskellSrcExts mtl parallel QuickCheck text time
unorderedContainers xhtml zlib
];
buildTools = [ alex emacs happy ];
jailbreak = true;
postInstall = ''
$out/bin/agda-mode compile
'';
meta = {
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 ];
};
})

0
pkgs/development/compilers/agda/2.4.0.2.nix → pkgs/development/compilers/agda/default.nix
View File

31
pkgs/development/compilers/agda/stdlib-0.7.nix
View File

@ -1,31 +0,0 @@
{ cabal, fetchurl, filemanip, Agda }:
cabal.mkDerivation (self: {
pname = "Agda-stdlib";
version = "0.7";
src = fetchurl {
url = "http://www.cse.chalmers.se/~nad/software/lib-0.7.tar.gz";
sha256 = "1ynjgqk8hhnm6rbngy8fjsrd6i4phj2hlan9bk435bbywbl366k3";
};
buildDepends = [ filemanip Agda ];
preConfigure = "cd ffi";
postInstall = ''
mkdir -p $out/share
cd ..
runhaskell GenerateEverything
agda -i . -i src Everything.agda
cp -pR src $out/share/agda
'';
meta = {
homepage = "http://wiki.portal.chalmers.se/agda/pmwiki.php?n=Libraries.StandardLibrary";
description = "A standard library for use with the Agda compiler.";
license = "unknown";
platforms = self.ghc.meta.platforms;
maintainers = [ self.stdenv.lib.maintainers.jwiegley ];
};
})

0
pkgs/development/compilers/agda/stdlib-0.8.nix → pkgs/development/compilers/agda/stdlib.nix
View File

13
pkgs/top-level/haskell-packages.nix
View File

@ -2775,17 +2775,8 @@ self : let callPackage = x : y : modifyPrio (newScope self x y); in
# Compilers.
Agda_2_3_2_2 = callPackage ../development/compilers/agda/2.3.2.2.nix {};
Agda_2_4_0_2 = callPackage ../development/compilers/agda/2.4.0.2.nix {};
Agda = self.Agda_2_4_0_2;
AgdaStdlib_0_7 = callPackage ../development/compilers/agda/stdlib-0.7.nix {
Agda = self.Agda_2_3_2_2;
};
AgdaStdlib_0_8 = callPackage ../development/compilers/agda/stdlib-0.8.nix {
Agda = self.Agda_2_4_0_2;
};
AgdaStdlib = self.AgdaStdlib_0_8;
Agda = callPackage ../development/compilers/agda {};
AgdaStdlib = callPackage ../development/compilers/agda/stdlib.nix {};
uhc = callPackage ../development/compilers/uhc {};