mirror of
https://github.com/NixOS/nixpkgs.git
synced 2025-02-26 14:04:52 +00:00
aldor: remove after being marked broken for over two years
It was marked in commit 893ab31159
by zimbatm on 2016-06-25 (commited on 2016-06-25)
This commit is contained in:
parent
f9fe536c8f
commit
af541e7f95
@ -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;
|
||||
};
|
||||
}
|
@ -11970,8 +11970,6 @@ with pkgs;
|
||||
jdk = jdk8;
|
||||
};
|
||||
|
||||
aldor = callPackage ../development/compilers/aldor { };
|
||||
|
||||
algol68g = callPackage ../development/compilers/algol68g { };
|
||||
|
||||
aliceml = callPackage ../development/compilers/aliceml { };
|
||||
|
Loading…
Reference in New Issue
Block a user