Merge pull request #160058 from Stunkymonkey/idris-modules-pname

idris-modules: rename name to pname
This commit is contained in:
Silvan Mosberger 2022-02-25 18:26:37 +01:00 committed by GitHub
commit 6dad37514f
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
80 changed files with 88 additions and 87 deletions

View File

@ -3,7 +3,7 @@
, lib
}:
build-idris-package {
name = "array";
pname = "array";
version = "2016-10-14";
src = fetchFromGitHub {

View File

@ -5,7 +5,7 @@
, lib
}:
build-idris-package {
name = "bi";
pname = "bi";
version = "2018-06-25";
ipkgName = "Bi";

View File

@ -3,7 +3,7 @@
, lib
}:
build-idris-package {
name = "bifunctors";
pname = "bifunctors";
version = "2017-02-07";
src = fetchFromGitHub {

View File

@ -1,13 +1,13 @@
# Build one of the packages that comes with idris
# name: The name of the package
# pname: The pname of the package
# deps: The dependencies of the package
{ idris, build-idris-package }: name: deps:
{ idris, build-idris-package }: pname: deps:
let
inherit (builtins.parseDrvName idris.name) version;
in
build-idris-package {
inherit name version;
inherit pname version;
inherit (idris) src;
noPrelude = true;
@ -16,10 +16,10 @@ build-idris-package {
idrisDeps = deps;
postUnpack = ''
sourceRoot=$sourceRoot/libs/${name}
sourceRoot=$sourceRoot/libs/${pname}
'';
meta = idris.meta // {
description = "${name} builtin Idris library";
description = "${pname} builtin Idris library";
};
}

View File

@ -3,9 +3,9 @@
{ idrisDeps ? []
, noPrelude ? false
, noBase ? false
, name
, pname
, version
, ipkgName ? name
, ipkgName ? pname
, extraBuildInputs ? []
, idrisBuildOptions ? []
, idrisTestOptions ? []
@ -20,7 +20,7 @@ let
idris-with-packages = with-packages allIdrisDeps;
newAttrs = builtins.removeAttrs attrs [
"idrisDeps" "noPrelude" "noBase"
"name" "version" "ipkgName" "extraBuildInputs"
"pname" "version" "ipkgName" "extraBuildInputs"
] // {
meta = attrs.meta // {
platforms = attrs.meta.platforms or idris.meta.platforms;
@ -28,7 +28,8 @@ let
};
in
stdenv.mkDerivation ({
name = "idris-${name}-${version}";
pname = "idris-${pname}";
inherit version;
buildInputs = [ idris-with-packages gmp ] ++ extraBuildInputs;
propagatedBuildInputs = allIdrisDeps;

View File

@ -3,7 +3,7 @@
, lib
}:
build-idris-package {
name = "bytes";
pname = "bytes";
version = "2018-02-10";
src = fetchFromGitHub {

View File

@ -3,7 +3,7 @@
, lib
}:
build-idris-package {
name = "canvas";
pname = "canvas";
version = "2017-11-09";
ipkgName = "idriscanvas";

View File

@ -3,7 +3,7 @@
, lib
}:
build-idris-package {
name = "categories";
pname = "categories";
version = "2018-07-02";
src = fetchFromGitHub {

View File

@ -3,7 +3,7 @@
, lib
}:
build-idris-package {
name = "coda";
pname = "coda";
version = "2018-01-25";
ipkgName = "Coda";

View File

@ -3,7 +3,7 @@
, lib
}:
build-idris-package {
name = "comonad";
pname = "comonad";
version = "2018-02-26";
src = fetchFromGitHub {

View File

@ -4,7 +4,7 @@
, lib
}:
build-idris-package {
name = "composition";
pname = "composition";
version = "2017-11-12";
idrisDeps = [ hezarfen ];

View File

@ -7,7 +7,7 @@
, lib
}:
build-idris-package {
name = "config";
pname = "config";
version = "2017-11-06";
idrisDeps = [ effects containers lightyear test ];

View File

@ -6,7 +6,7 @@
, lib
}:
build-idris-package {
name = "console";
pname = "console";
version = "2017-04-20";
idrisDeps = [ idrisscript hrtime webgl ];

View File

@ -5,7 +5,7 @@
, lib
}:
build-idris-package {
name = "containers";
pname = "containers";
version = "2017-09-10";
idrisDeps = [ effects test ];

View File

@ -3,7 +3,7 @@
, lib
}:
build-idris-package {
name = "cube";
pname = "cube";
version = "2017-07-05";
src = fetchFromGitHub {

View File

@ -5,7 +5,7 @@
, lib
}:
build-idris-package {
name = "derive";
pname = "derive";
version = "2018-07-02";
idrisDeps = [ contrib pruviloj ];

View File

@ -4,7 +4,7 @@
, lib
}:
build-idris-package {
name = "descncrunch";
pname = "descncrunch";
version = "2017-11-15";
idrisDeps = [ pruviloj ];

View File

@ -4,7 +4,7 @@
, lib
}:
build-idris-package {
name = "dict";
pname = "dict";
version = "2016-12-26";
idrisDeps = [ contrib ];

View File

@ -6,7 +6,7 @@
, lib
}:
build-idris-package {
name = "dom";
pname = "dom";
version = "2017-04-22";
idrisDeps = [ idrisscript html xhr ];

View File

@ -6,7 +6,7 @@
, lib
}:
build-idris-package {
name = "electron";
pname = "electron";
version = "2016-03-07";
idrisDeps = [ contrib jheiling-extras jheiling-js ];

View File

@ -4,7 +4,7 @@
, lib
}:
build-idris-package {
name = "eternal";
pname = "eternal";
version = "2018-07-02";
idrisDeps = [ effects ];

View File

@ -4,7 +4,7 @@
, lib
}:
build-idris-package {
name = "farrp";
pname = "farrp";
version = "2018-02-13";
idrisDeps = [ effects ];

View File

@ -3,7 +3,7 @@
, lib
}:
build-idris-package {
name = "free";
pname = "free";
version = "2017-07-03";
ipkgName = "idris-free";

View File

@ -3,7 +3,7 @@
, lib
}:
build-idris-package {
name = "fsm";
pname = "fsm";
version = "2017-04-16";
src = fetchFromGitHub {

View File

@ -5,7 +5,7 @@
, pkgs
}:
build-idris-package {
name = "glfw";
pname = "glfw";
version = "2016-12-05";
idrisDeps = [ effects ];

View File

@ -4,7 +4,7 @@
, lib
}:
build-idris-package {
name = "graphviz";
pname = "graphviz";
version = "2017-01-16";
idrisDeps = [ lightyear ];

View File

@ -5,7 +5,7 @@
, lib
}:
build-idris-package {
name = "hamt";
pname = "hamt";
version = "2016-11-15";
idrisDeps = [ contrib effects ];

View File

@ -3,7 +3,7 @@
, lib
}:
build-idris-package {
name = "hezarfen";
pname = "hezarfen";
version = "2018-02-03";
src = fetchFromGitHub {

View File

@ -4,7 +4,7 @@
, lib
}:
build-idris-package {
name = "hrtime";
pname = "hrtime";
version = "2017-04-16";
ipkgName = "hrTime";

View File

@ -6,7 +6,7 @@
, lib
}:
build-idris-package {
name = "html";
pname = "html";
version = "2017-04-23";
idrisDeps = [ idrisscript hrtime webgl ];

View File

@ -6,7 +6,7 @@
, lib
}:
build-idris-package {
name = "http";
pname = "http";
version = "2018-02-25";
idrisDeps = [ contrib lightyear bytes ];

View File

@ -4,7 +4,7 @@
, lib
}:
build-idris-package {
name = "http4idris";
pname = "http4idris";
version = "2018-01-16";
idrisDeps = [ contrib ];

View File

@ -4,7 +4,7 @@
, lib
}:
build-idris-package {
name = "iaia";
pname = "iaia";
version = "2017-11-10";
idrisDeps = [ contrib ];

View File

@ -5,7 +5,7 @@
, lib
}:
build-idris-package {
name = "idrishighlighter";
pname = "idrishighlighter";
version = "2018-02-22";
ipkgName = "idris-code-highlighter";

View File

@ -3,7 +3,7 @@
, lib
}:
build-idris-package {
name = "idrisscript";
pname = "idrisscript";
version = "2017-07-01";
src = fetchFromGitHub {

View File

@ -6,7 +6,7 @@
, lib
}:
build-idris-package {
name = "ipkgparser";
pname = "ipkgparser";
version = "2017-11-14";
idrisDeps = [ contrib effects lightyear ];

View File

@ -4,7 +4,7 @@
, lib
}:
build-idris-package {
name = "extras";
pname = "extras";
version = "2018-03-06";
idrisDeps = [ contrib ];

View File

@ -5,7 +5,7 @@
, lib
}:
build-idris-package {
name = "jheiling-js";
pname = "jheiling-js";
version = "2016-03-09";
ipkgName = "js";

View File

@ -5,7 +5,7 @@
, lib
}:
build-idris-package {
name = "js";
pname = "js";
version = "2018-11-27";
idrisDeps = [ contrib pruviloj ];

View File

@ -4,7 +4,7 @@
, lib
}:
build-idris-package {
name = "lens";
pname = "lens";
version = "2017-09-25";
idrisDeps = [ bifunctors ];

View File

@ -4,7 +4,7 @@
, lib
}:
build-idris-package {
name = "lightyear";
pname = "lightyear";
version = "2017-09-10";
idrisDeps = [ effects ];

View File

@ -4,7 +4,7 @@
, lib
}:
build-idris-package {
name = "logic";
pname = "logic";
version = "2016-12-02";
idrisDeps = [ bifunctors ];

View File

@ -3,7 +3,7 @@
, lib
}:
build-idris-package {
name = "mapping";
pname = "mapping";
version = "2018-02-27";
src = fetchFromGitHub {

View File

@ -6,7 +6,7 @@
, lib
}:
build-idris-package {
name = "mhd";
pname = "mhd";
version = "2016-04-22";
ipkgName = "MHD";

View File

@ -5,7 +5,7 @@
, lib
}:
build-idris-package {
name = "pacman";
pname = "pacman";
version = "2017-11-10";
idrisDeps = [ contrib sdl2 ];

View File

@ -4,7 +4,7 @@
, lib
}:
build-idris-package {
name = "patricia";
pname = "patricia";
version = "2017-10-27";
idrisDeps = [ specdris ];

View File

@ -3,7 +3,7 @@
, lib
}:
build-idris-package {
name = "permutations";
pname = "permutations";
version = "2018-01-19";
src = fetchFromGitHub {

View File

@ -4,7 +4,7 @@
, lib
}:
build-idris-package {
name = "pfds";
pname = "pfds";
version = "2017-09-25";
idrisDeps = [ contrib ];

View File

@ -3,7 +3,7 @@
, lib
}:
build-idris-package {
name = "pipes";
pname = "pipes";
version = "2017-12-02";
src = fetchFromGitHub {

View File

@ -3,7 +3,7 @@
, lib
}:
build-idris-package {
name = "posix";
pname = "posix";
version = "2017-11-18";
src = fetchFromGitHub {

View File

@ -3,7 +3,7 @@
, lib
}:
build-idris-package {
name = "quantities";
pname = "quantities";
version = "2018-04-17";
src = fetchFromGitHub {

View File

@ -4,7 +4,7 @@
, lib
}:
build-idris-package {
name = "rationals";
pname = "rationals";
version = "2017-04-29";
idrisDeps = [ contrib ];

View File

@ -8,7 +8,7 @@
, lib
}:
build-idris-package {
name = "recursion_schemes";
pname = "recursion_schemes";
version = "2018-01-19";
idrisDeps = [ free composition comonad bifunctors hezarfen ];

View File

@ -3,7 +3,7 @@
, lib
}:
build-idris-package {
name = "refined";
pname = "refined";
version = "2017-12-28";
ipkgName = "idris-refined";

View File

@ -6,7 +6,7 @@
, SDL_gfx
}:
build-idris-package {
name = "sdl";
pname = "sdl";
version = "2017-03-24";
idrisDeps = [ effects ];

View File

@ -7,7 +7,7 @@
, SDL2_gfx
}:
build-idris-package rec {
name = "sdl2";
pname = "sdl2";
version = "0.1.1";
idrisDeps = [ effects ];

View File

@ -5,7 +5,7 @@
, lib
}:
build-idris-package {
name = "semidirect";
pname = "semidirect";
version = "2018-07-02";
idrisDeps = [ contrib patricia ];

View File

@ -4,7 +4,7 @@
, lib
}:
build-idris-package {
name = "setoids";
pname = "setoids";
version = "2018-06-18";
idrisDeps = [ contrib ];

View File

@ -4,7 +4,7 @@
, lib
}:
build-idris-package {
name = "smproc";
pname = "smproc";
version = "2018-02-08";
idrisDeps = [ contrib ];

View File

@ -4,7 +4,7 @@
, lib
}:
build-idris-package {
name = "snippets";
pname = "snippets";
version = "2018-03-17";
ipkgName = "idris-snippets";

View File

@ -4,7 +4,7 @@
, lib
}:
build-idris-package {
name = "software_foundations";
pname = "software_foundations";
version = "2017-11-04";
idrisDeps = [ pruviloj ];

View File

@ -4,7 +4,7 @@
, lib
}:
build-idris-package {
name = "specdris";
pname = "specdris";
version = "2018-01-23";
src = fetchFromGitHub {

View File

@ -4,7 +4,7 @@
, lib
}:
build-idris-package {
name = "tap";
pname = "tap";
version = "2017-04-08";
ipkgName = "TAP";

View File

@ -4,7 +4,7 @@
, lib
}:
build-idris-package {
name = "test";
pname = "test";
version = "2017-03-30";
idrisDeps = [ effects ];

View File

@ -4,7 +4,7 @@
}:
build-idris-package {
name = "tf-random";
pname = "tf-random";
version = "2020-01-15";
src = fetchFromGitHub {

View File

@ -6,7 +6,7 @@
, lib
}:
build-idris-package {
name = "tlhydra";
pname = "tlhydra";
version = "2017-13-26";
idrisDeps = [ effects contrib lightyear ];

View File

@ -5,7 +5,7 @@
, lib
}:
build-idris-package {
name = "tomladris";
pname = "tomladris";
version = "2017-11-14";
idrisDeps = [ lightyear contrib ];

View File

@ -3,7 +3,7 @@
, lib
}:
build-idris-package {
name = "tp";
pname = "tp";
version = "2017-08-15";
src = fetchFromGitHub {

View File

@ -4,7 +4,7 @@
, lib
}:
build-idris-package {
name = "tparsec";
pname = "tparsec";
version = "2020-02-11";
ipkgName = "TParsec";

View File

@ -3,7 +3,7 @@
, lib
}:
build-idris-package {
name = "transducers";
pname = "transducers";
version = "2017-07-28";
src = fetchFromGitHub {

View File

@ -5,7 +5,7 @@
, lib
}:
build-idris-package {
name = "trees";
pname = "trees";
version = "2018-03-19";
idrisDeps = [ contrib bi ];

View File

@ -3,7 +3,7 @@
, lib
}:
build-idris-package {
name = "union_type";
pname = "union_type";
version = "2018-01-30";
src = fetchFromGitHub {

View File

@ -3,7 +3,7 @@
, lib
}:
build-idris-package {
name = "vdom";
pname = "vdom";
version = "0.6.0";
ipkgName = "idris-vdom";

View File

@ -4,7 +4,7 @@
, lib
}:
build-idris-package {
name = "vecspace";
pname = "vecspace";
version = "2018-01-12";
idrisDeps = [ contrib ];

View File

@ -4,7 +4,7 @@
, lib
}:
build-idris-package {
name = "webgl";
pname = "webgl";
version = "2017-05-08";
idrisDeps = [ idrisscript ];

View File

@ -3,7 +3,7 @@
, lib
}:
build-idris-package {
name = "wl-pprint";
pname = "wl-pprint";
version = "2017-03-13";
src = fetchFromGitHub {

View File

@ -5,7 +5,7 @@
, lib
}:
build-idris-package {
name = "wyvern";
pname = "wyvern";
version = "2017-06-26";
idrisDeps = [ contrib effects ];

View File

@ -4,7 +4,7 @@
, lib
}:
build-idris-package {
name = "xhr";
pname = "xhr";
version = "2017-04-22";
idrisDeps = [ idrisscript ];

View File

@ -5,7 +5,7 @@
, lib
}:
build-idris-package {
name = "yaml";
pname = "yaml";
version = "2018-01-25";
ipkgName = "Yaml";

View File

@ -4,7 +4,7 @@
, lib
}:
build-idris-package {
name = "yampa";
pname = "yampa";
version = "2016-07-05";
ipkgName = "idris-yampa";