nixpkgs/pkgs/development/libraries/agda/agda-prelude/default.nix

29 lines
676 B
Nix
Raw Normal View History

2019-12-29 12:14:16 +00:00
{ stdenv, mkDerivation, fetchFromGitHub }:
2014-09-27 02:35:54 +01:00
2019-12-29 12:14:16 +00:00
mkDerivation rec {
version = "compat-2.6.1";
2019-12-29 12:14:16 +00:00
pname = "agda-prelude";
2014-09-27 02:35:54 +01:00
2019-12-29 12:14:16 +00:00
src = fetchFromGitHub {
owner = "UlfNorell";
repo = "agda-prelude";
2014-09-27 02:35:54 +01:00
rev = version;
sha256 = "128rbhd32qlq2nq3wgqni4ih58zzwvs9pkn9j8236ycxxp6x81sl";
2014-09-27 02:35:54 +01:00
};
2019-12-29 13:20:59 +00:00
preConfigure = ''
cd test
make everything
mv Everything.agda ..
cd ..
'';
2014-09-27 02:35:54 +01:00
meta = with stdenv.lib; {
homepage = "https://github.com/UlfNorell/agda-prelude";
2014-09-27 02:35:54 +01:00
description = "Programming library for Agda";
license = stdenv.lib.licenses.mit;
platforms = stdenv.lib.platforms.unix;
2020-05-14 20:50:00 +01:00
maintainers = with maintainers; [ mudri alexarice turion ];
2014-09-27 02:35:54 +01:00
};
2019-12-29 12:14:16 +00:00
}