diff options
Diffstat (limited to 'pkgs/development/compilers/agda/default.nix')
| -rw-r--r-- | pkgs/development/compilers/agda/default.nix | 36 |
1 files changed, 0 insertions, 36 deletions
diff --git a/pkgs/development/compilers/agda/default.nix b/pkgs/development/compilers/agda/default.nix deleted file mode 100644 index 573f7c6b8904..000000000000 --- a/pkgs/development/compilers/agda/default.nix +++ /dev/null @@ -1,36 +0,0 @@ -# This file was auto-generated by cabal2nix. Please do NOT edit manually! - -{ cabal, alex, binary, boxes, cpphs, dataHash, deepseq, emacs -, equivalence, filepath, geniplate, happy, hashable, hashtables -, haskeline, haskellSrcExts, mtl, parallel, QuickCheck -, STMonadTrans, strict, text, time, transformers -, unorderedContainers, xhtml, zlib -}: - -cabal.mkDerivation (self: { - pname = "Agda"; - version = "2.4.2.2"; - sha256 = "1hxvapnvlkx6imifswc70ng869zll0zfsygivhc2mjyhaiv10i13"; - isLibrary = true; - isExecutable = true; - buildDepends = [ - binary boxes dataHash deepseq equivalence filepath geniplate - hashable hashtables haskeline haskellSrcExts mtl parallel - QuickCheck STMonadTrans strict text time transformers - unorderedContainers xhtml zlib - ]; - buildTools = [ alex cpphs emacs happy ]; - noHaddock = true; - jailbreak = true; - postInstall = '' - $out/bin/agda -c --no-main $(find $out/share -name Primitive.agda) - $out/bin/agda-mode compile - ''; - meta = { - homepage = "http://wiki.portal.chalmers.se/agda/"; - description = "A dependently typed functional programming language and proof assistant"; - license = "unknown"; - platforms = self.ghc.meta.platforms; - maintainers = with self.stdenv.lib.maintainers; [ fuuzetsu ]; - }; -}) |