aliceml: remove after being marked broken for over two years

It was marked in commit ad902fbba1 by Joachim Fasting on 2017-03-30 (commited on 2017-03-30)

pkgs/development/compilers/aliceml/default.nix

@@ -1,59 +0,0 @@
-{lib, stdenv, gcc, glibc, fetchurl, fetchgit, libtool, autoconf, automake, file, gnumake, which, zsh, m4, pkg-config, perl, gnome2, gtk2, pango, sqlite, libxml2, zlib, gmp, smlnj }:
-
-stdenv.mkDerivation {
-  pname = "aliceml";
-  version = "1.4-7d44dc8e";
-
-  src = fetchgit {
-    url = "https://github.com/aliceml/aliceml";
-    rev = "7d44dc8e4097c6f85888bbf4ff86d51fe05b0a08";
-    sha256 = "1xpvia00cpig0i7qvz29sx7xjic6kd472ng722x4rapz8mjnf8bk";
-    fetchSubmodules = true;
-  };
-
-  gecodeSrc = fetchurl {
-    url = "http://www.gecode.org/download/gecode-1.3.1.tar.gz";
-    sha256 = "0mgc6llbq166jmlq3alvagqsg3730670zvbwwkdgsqklw70v9355";
-  };
-
-  nativeBuildInputs = [ autoconf automake ];
-  buildInputs = [
-    gcc glibc
-    libtool gnumake
-    file which zsh m4 gtk2 zlib gmp
-    gnome2.libgnomecanvas pango sqlite
-    libxml2 pkg-config perl smlnj
-  ];
-
-  makePatch = ./make.patch;
-  seamPatch = ./seam.patch;
-
-  phases = [ "unpackPhase" "patchPhase" "configurePhase" "buildPhase" ];
-
-  patchPhase = ''
-    sed -i -e "s@wget ..GECODE_URL. -O - | tar xz@tar xf $gecodeSrc@" make/Makefile
-    patch -p1 <$makePatch
-    patch -p1 <$seamPatch
-  '';
-
-  configurePhase = ''
-    make -C make setup PREFIX="$out"
-  '';
-
-  buildPhase = ''
-    gmp="${gmp.dev}" zlib="${zlib.dev}" PATH=$PATH:`pwd`/seam-support/install/bin make -C make all PREFIX="$out"
-  '';
-
-  meta = {
-    description = "Functional programming language based on Standard ML";
-    longDescription = ''
-      Alice ML is a functional programming language based on Standard ML,
-      extended with rich support for concurrent, distributed, and constraint
-      programming.
-    '';
-    homepage = "https://www.ps.uni-saarland.de/alice/";
-    license = lib.licenses.mit;
-    maintainers = [ lib.maintainers.doublec ];
-    broken = true;
-  };
-}

pkgs/development/compilers/aliceml/make.patch

@@ -1,20 +0,0 @@
-diff --git a/Makefile b/Makefile
-index 6a55b06..84a6000 100644
---- a/make/Makefile
-+++ b/make/Makefile
-@@ -387,6 +387,7 @@ configure-seam-linux64:
- 	 ../sources/configure \
- 		--prefix='$(PREFIX)' \
- 		--with-warnings=yes \
-+		--with-zlib='$(zlib)' \
- 		--disable-lightning)
- 
- .PHONY: configure-seam-darwin64
-@@ -434,6 +435,7 @@ configure-alice-ll-linux:
- 	(cd $(PWD)/alice/build && \
- 	 ../sources/vm-seam/configure \
- 		--prefix='$(PREFIX)' \
-+		--with-gmp='$(gmp)' \
- 		--with-warnings=yes)
- 
- .PHONY:	rebuild-alice-ll

pkgs/development/compilers/aliceml/seam.patch

@@ -1,13 +0,0 @@
-diff --git a/Makefile.cvs b/Makefile.cvs
-index b59434a..cd1316f 100644
---- a/seam/sources/Makefile.cvs
-+++ b/seam/sources/Makefile.cvs
-@@ -32,7 +32,7 @@ autotools:
- 	aclocal -I .
- 	autoconf
- 	automake --add-missing
--	cd libltdl; aclocal; autoconf; automake --add-missing
-+	cd libltdl; chmod +w *; aclocal; autoconf; automake --add-missing
- 
- lightning:
- 	rm -rf lightning

pkgs/top-level/all-packages.nix

@@ -11972,8 +11972,6 @@ with pkgs;
 
   algol68g = callPackage ../development/compilers/algol68g { };
 
-  aliceml = callPackage ../development/compilers/aliceml { };
-
   armips = callPackage ../development/compilers/armips { };
 
   arachne-pnr = callPackage ../development/compilers/arachne-pnr { };