swendel/nixpkgs
1
0
Fork 0
mirror of https://github.com/SebastianWendel/nixpkgs.git synced 2024-09-20 12:29:02 +02:00
Code Issues Packages Projects Releases Wiki Activity

Add expression for the Agda standard library

Browse source
This commit is contained in:
John Wiegley 2014-05-02 19:15:38 -05:00
parent 0ea20bef3c
commit 7d788d5e4f
2 changed files with 28 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

26
pkgs/development/compilers/Agda-stdlib/default.nix Normal file
View file

@ -0,0 +1,26 @@
{ cabal, fetchurl }:
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";
};
preConfigure = "cd ffi";
postInstall = ''
mkdir -p $out/share
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 ];
};
})

2
pkgs/top-level/haskell-packages.nix
View file

@ -2919,6 +2919,8 @@ let result = let callPackage = x : y : modifyPrio (newScope result.finalReturn x
AgdaExecutable = callPackage ../development/compilers/Agda-executable {}; AgdaExecutable = callPackage ../development/compilers/Agda-executable {};
AgdaStdLib = callPackage ../development/compilers/Agda-stdlib {};
uhc = callPackage ../development/compilers/uhc {}; uhc = callPackage ../development/compilers/uhc {};
epic = callPackage ../development/compilers/epic {}; epic = callPackage ../development/compilers/epic {};