agda-aaron-stump-stdlib: new package
This commit is contained in:
parent
d409ae809a
commit
d8f2c32bcf
@ -0,0 +1,26 @@
|
||||
{ stdenv, agda, fetchsvn }:
|
||||
|
||||
agda.mkDerivation (self: rec {
|
||||
version = "18437";
|
||||
name = "aaron-stump-stdlib-${version}";
|
||||
|
||||
src = fetchsvn {
|
||||
url = "https://svn.divms.uiowa.edu/repos/clc/projects/agda/lib";
|
||||
rev = version;
|
||||
sha256 = "1g6pwvrcir53ppf6wd8s62gizc3qy35mp229b66mh53abg4brik2";
|
||||
};
|
||||
|
||||
sourceDirectories = [ "./." ];
|
||||
buildPhase = ''
|
||||
patchShebangs find-deps.sh
|
||||
make
|
||||
'';
|
||||
|
||||
meta = {
|
||||
homepage = "https://svn.divms.uiowa.edu/repos/clc/projects/agda/lib/";
|
||||
description = "A standard library by Aaron Stump";
|
||||
license = stdenv.lib.licenses.free;
|
||||
platforms = stdenv.lib.platforms.unix;
|
||||
maintainers = with stdenv.lib.maintainers; [ fuuzetsu ];
|
||||
};
|
||||
})
|
@ -6782,6 +6782,8 @@ let
|
||||
|
||||
### DEVELOPMENT / LIBRARIES / AGDA
|
||||
|
||||
aaronStumpStdlib = callPackage ../development/libraries/agda/aaron-stump-stdlib {};
|
||||
|
||||
agda = callPackage ../build-support/agda {
|
||||
glibcLocales = if pkgs.stdenv.isLinux then pkgs.glibcLocales else null;
|
||||
extension = self : super : {};
|
||||
|
Loading…
Reference in New Issue
Block a user