From af541e7f95f34fd10b2044daef67143bb8257d06 Mon Sep 17 00:00:00 2001 From: ajs124 Date: Thu, 31 Mar 2022 22:03:52 +0200 Subject: [PATCH] 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) --- pkgs/development/compilers/aldor/default.nix | 54 -------------------- pkgs/top-level/all-packages.nix | 2 - 2 files changed, 56 deletions(-) delete mode 100644 pkgs/development/compilers/aldor/default.nix diff --git a/pkgs/development/compilers/aldor/default.nix b/pkgs/development/compilers/aldor/default.nix deleted file mode 100644 index 11a2904f6086..000000000000 --- 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 801301bb6985..b43fe2ededab 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 { };