diff options
author | ajs124 <git@ajs124.de> | 2022-03-31 22:03:52 +0200 |
---|---|---|
committer | ajs124 <git@ajs124.de> | 2022-04-03 16:14:11 +0100 |
commit | af541e7f95f34fd10b2044daef67143bb8257d06 (patch) | |
tree | 45b53959d2d18ed0ac74c41b6bdb60de53f8861b | |
parent | f9fe536c8f60d7bb98c728c72b3d47a0691ba76c (diff) | |
download | nixpkgs-af541e7f95f34fd10b2044daef67143bb8257d06.tar nixpkgs-af541e7f95f34fd10b2044daef67143bb8257d06.tar.gz nixpkgs-af541e7f95f34fd10b2044daef67143bb8257d06.tar.bz2 nixpkgs-af541e7f95f34fd10b2044daef67143bb8257d06.tar.lz nixpkgs-af541e7f95f34fd10b2044daef67143bb8257d06.tar.xz nixpkgs-af541e7f95f34fd10b2044daef67143bb8257d06.tar.zst nixpkgs-af541e7f95f34fd10b2044daef67143bb8257d06.zip |
aldor: remove after being marked broken for over two years
It was marked in commit 893ab31159486b260e0ede4ab876ea9cdf935fbc by zimbatm on 2016-06-25 (commited on 2016-06-25)
-rw-r--r-- | pkgs/development/compilers/aldor/default.nix | 54 | ||||
-rw-r--r-- | pkgs/top-level/all-packages.nix | 2 |
2 files changed, 0 insertions, 56 deletions
diff --git a/pkgs/development/compilers/aldor/default.nix b/pkgs/development/compilers/aldor/default.nix deleted file mode 100644 index 11a2904f608..00000000000 --- a/pkgs/development/compilers/aldor/default.nix +++ /dev/null @@ -1,54 +0,0 @@ -{ fetchFromGitHub, lib, stdenv, gmp, which, flex, bison, makeWrapper -, autoconf, automake, libtool, jdk, perl }: - -stdenv.mkDerivation { - pname = "aldor"; - version = "1.2.0"; - - src = fetchFromGitHub { - owner = "aldorlang"; - repo = "aldor"; - rev = "15471e75f3d65b93150f414ebcaf59a03054b68d"; - sha256 = "sha256-phKCghCeM+/QlxjIxfNQySo+5XMRqfOqlS9kgp07YKc="; - }; - - nativeBuildInputs = [ makeWrapper autoconf automake ]; - buildInputs = [ gmp which flex bison libtool jdk perl ]; - - preConfigure = '' - cd aldor ; - ./autogen.sh ; - ''; - - postInstall = '' - for prog in aldor unicl javagen ; - do - wrapProgram $out/bin/$prog --set ALDORROOT $out \ - --prefix PATH : ${jdk}/bin \ - --prefix PATH : ${stdenv.cc}/bin ; - done - ''; - - meta = { - # Please become a maintainer to fix this package - broken = true; - homepage = "http://www.aldor.org/"; - description = "Programming language with an expressive type system"; - license = lib.licenses.asl20; - - longDescription = '' - Aldor is a programming language with an expressive type system well-suited - for mathematical computing and which has been used to develop a number of - computer algebra libraries. Originally known as A#, Aldor was conceived as - an extension language for the Axiom system, but is now used more in other settings. - In Aldor, types and functions are first class values that can be constructed - and manipulated within programs. Pervasive support for dependent types allows - static checking of dynamic objects. What does this mean for a normal user? Aldor - solves many difficulties encountered in widely-used object-oriented programming - languages. It allows programs to use a natural style, combining the more attractive - and powerful properties of functional, object-oriented and aspect-oriented styles. - ''; - - platforms = lib.platforms.linux; - }; -} diff --git a/pkgs/top-level/all-packages.nix b/pkgs/top-level/all-packages.nix index 801301bb698..b43fe2ededa 100644 --- a/pkgs/top-level/all-packages.nix +++ b/pkgs/top-level/all-packages.nix @@ -11970,8 +11970,6 @@ with pkgs; jdk = jdk8; }; - aldor = callPackage ../development/compilers/aldor { }; - algol68g = callPackage ../development/compilers/algol68g { }; aliceml = callPackage ../development/compilers/aliceml { }; |