diff options
Diffstat (limited to 'nixpkgs/pkgs/development/idris-modules/wyvern.nix')
-rw-r--r-- | nixpkgs/pkgs/development/idris-modules/wyvern.nix | 30 |
1 files changed, 30 insertions, 0 deletions
diff --git a/nixpkgs/pkgs/development/idris-modules/wyvern.nix b/nixpkgs/pkgs/development/idris-modules/wyvern.nix new file mode 100644 index 000000000000..750b5dd2fd07 --- /dev/null +++ b/nixpkgs/pkgs/development/idris-modules/wyvern.nix @@ -0,0 +1,30 @@ +{ build-idris-package +, fetchFromGitHub +, contrib +, effects +, lib +}: +build-idris-package { + name = "wyvern"; + version = "2017-06-26"; + + idrisDeps = [ contrib effects ]; + + src = fetchFromGitHub { + owner = "ericqweinstein"; + repo = "wyvern"; + rev = "b9e3e5747c5b23608c6ed5e2ccf43b86caa04292"; + sha256 = "0zihf95w7i0903zy1mzn1ldn697nf57yl80nl32dpgji72h98kh2"; + }; + + postUnpack = '' + sed -i "s/Wyvern.Core/Wyvern.Main/g" source/src/Wyvern.idr + ''; + + meta = { + description = "Little web server written in Idris"; + homepage = "https://github.com/ericqweinstein/wyvern"; + license = lib.licenses.mit; + maintainers = [ lib.maintainers.brainrape ]; + }; +} |