Remove obsolete Agda-executable package; the compiler is not part of 'Agda'.
This commit is contained in:
parent
70b39119c3
commit
c2fd001fd4
|
@ -1,18 +0,0 @@
|
||||||
{ cabal, Agda }:
|
|
||||||
|
|
||||||
cabal.mkDerivation (self: {
|
|
||||||
pname = "Agda-executable";
|
|
||||||
version = "2.3.0.1";
|
|
||||||
sha256 = "156nzvpmqi7yizjr4yym2ybc0iv4nqfp84qrpdxcha682k298ib1";
|
|
||||||
isLibrary = false;
|
|
||||||
isExecutable = true;
|
|
||||||
buildDepends = [ Agda ];
|
|
||||||
jailbreak = true;
|
|
||||||
meta = {
|
|
||||||
homepage = "http://wiki.portal.chalmers.se/agda/";
|
|
||||||
description = "Command-line program for type-checking and compiling Agda programs";
|
|
||||||
license = "unknown";
|
|
||||||
platforms = self.ghc.meta.platforms;
|
|
||||||
maintainers = [ self.stdenv.lib.maintainers.andres ];
|
|
||||||
};
|
|
||||||
})
|
|
|
@ -502,8 +502,6 @@ let result = let callPackage = x : y : modifyPrio (newScope result.finalReturn x
|
||||||
|
|
||||||
acidState = callPackage ../development/libraries/haskell/acid-state {};
|
acidState = callPackage ../development/libraries/haskell/acid-state {};
|
||||||
|
|
||||||
Agda = callPackage ../development/libraries/haskell/Agda {};
|
|
||||||
|
|
||||||
accelerate = callPackage ../development/libraries/haskell/accelerate {};
|
accelerate = callPackage ../development/libraries/haskell/accelerate {};
|
||||||
|
|
||||||
accelerateCuda = callPackage ../development/libraries/haskell/accelerate-cuda {};
|
accelerateCuda = callPackage ../development/libraries/haskell/accelerate-cuda {};
|
||||||
|
@ -2923,8 +2921,8 @@ let result = let callPackage = x : y : modifyPrio (newScope result.finalReturn x
|
||||||
|
|
||||||
# Compilers.
|
# Compilers.
|
||||||
|
|
||||||
AgdaExecutable = callPackage ../development/compilers/agda/agda-executable.nix {};
|
Agda = callPackage ../development/compilers/agda/agda.nix {};
|
||||||
AgdaStdlib = callPackage ../development/compilers/agda/agda-stdlib.nix {};
|
AgdaStdlib = callPackage ../development/compilers/agda/stdlib.nix {};
|
||||||
|
|
||||||
uhc = callPackage ../development/compilers/uhc {};
|
uhc = callPackage ../development/compilers/uhc {};
|
||||||
|
|
||||||
|
|
Loading…
Reference in a new issue