diff options
-rw-r--r-- | pkgs/development/idris-modules/curses.nix | 33 | ||||
-rw-r--r-- | pkgs/development/idris-modules/default.nix | 2 |
2 files changed, 0 insertions, 35 deletions
diff --git a/pkgs/development/idris-modules/curses.nix b/pkgs/development/idris-modules/curses.nix deleted file mode 100644 index 98b42f827b9c7..0000000000000 --- a/pkgs/development/idris-modules/curses.nix +++ /dev/null @@ -1,33 +0,0 @@ -{ build-idris-package -, fetchFromGitHub -, effects -, lib -, ncurses -}: -build-idris-package { - name = "curses"; - version = "2017-10-12"; - - idrisDeps = [ effects ]; - - extraBuildInputs = [ ncurses ]; - - postUnpack = '' - sed -i 's/^libs = curses$/libs = ncurses/g' source/curses.ipkg - sed -i 's/\#include <curses.h>/#include \<ncurses.h\>/g' source/src/cursesrun.h - ''; - - src = fetchFromGitHub { - owner = "JakobBruenker"; - repo = "curses-idris"; - rev = "ea4bbcfcf691f0dc731f2dfa676011809db084cb"; - sha256 = "17q8hg5f61lk2kh3j4cwrwja282sihlcjdrx233z4237alp9w4g1"; - }; - - meta = { - description = "libusb binding for idris and Effectful curses programming"; - homepage = https://github.com/JakobBruenker/curses-idris; - license = lib.licenses.mit; - maintainers = [ lib.maintainers.brainrape ]; - }; -} diff --git a/pkgs/development/idris-modules/default.nix b/pkgs/development/idris-modules/default.nix index 0368c00d12380..47c6998a587d6 100644 --- a/pkgs/development/idris-modules/default.nix +++ b/pkgs/development/idris-modules/default.nix @@ -75,8 +75,6 @@ cube = callPackage ./cube.nix {}; - curses = callPackage ./curses.nix {}; - data = callPackage ./data.nix {}; derive = callPackage ./derive.nix {}; |