about summary refs log tree commit diff
path: root/pkgs/development/compilers/mozart
diff options
context:
space:
mode:
Diffstat (limited to 'pkgs/development/compilers/mozart')
-rw-r--r--pkgs/development/compilers/mozart/binary.nix81
-rw-r--r--pkgs/development/compilers/mozart/default.nix82
-rw-r--r--pkgs/development/compilers/mozart/patch-limits.diff10
3 files changed, 0 insertions, 173 deletions
diff --git a/pkgs/development/compilers/mozart/binary.nix b/pkgs/development/compilers/mozart/binary.nix
deleted file mode 100644
index 18acd7c3d96f..000000000000
--- a/pkgs/development/compilers/mozart/binary.nix
+++ /dev/null
@@ -1,81 +0,0 @@
-{ lib, stdenv, fetchurl, makeWrapper
-, boost, gmp
-, tcl-8_5, tk-8_5
-, emacs
-}:
-
-let
-  version = "2.0.0";
-
-  binaries = {
-    x86_64-linux = fetchurl {
-      url = "mirror://sourceforge/project/mozart-oz/v${version}-alpha.0/mozart2-${version}-alpha.0+build.4105.5c06ced-x86_64-linux.tar.gz";
-      sha256 = "0rsfrjimjxqbwprpzzlmydl3z3aiwg5qkb052jixdxjyad7gyh5z";
-    };
-  };
-in
-
-stdenv.mkDerivation {
-  pname = "mozart-binary";
-  inherit version;
-
-  preferLocalBuild = true;
-
-  src = binaries.${stdenv.hostPlatform.system} or (throw "unsupported system: ${stdenv.hostPlatform.system}");
-
-  libPath = lib.makeLibraryPath
-    [ stdenv.cc.cc
-      boost
-      gmp
-      tcl-8_5
-      tk-8_5
-    ];
-
-  TK_LIBRARY = "${tk-8_5}/lib/tk8.5";
-
-  nativeBuildInputs = [ makeWrapper ];
-
-  buildCommand = ''
-    mkdir $out
-    tar xvf $src -C $out --strip-components=1
-
-    for exe in $out/bin/{ozemulator,ozwish} ; do
-      patchelf --set-interpreter $(< $NIX_CC/nix-support/dynamic-linker) \
-               --set-rpath $libPath \
-               $exe
-    done
-
-    wrapProgram $out/bin/ozwish \
-      --set OZHOME $out \
-      --set TK_LIBRARY $TK_LIBRARY
-
-    wrapProgram $out/bin/ozemulator --set OZHOME $out
-
-    ${lib.optionalString (emacs != null) ''
-      wrapProgram $out/bin/oz --suffix PATH ":" ${lib.makeBinPath [ emacs ]}
-    ''}
-
-    sed -i $out/share/applications/oz.desktop \
-        -e "s,Exec=oz %u,Exec=$out/bin/oz %u,"
-
-    gzip -9n $out/share/mozart/elisp"/"*.elc
-
-    patchShebangs $out
-  '';
-
-  meta = with lib; {
-    homepage = "http://www.mozart-oz.org/";
-    description = "Multiplatform implementation of the Oz programming language";
-    longDescription = ''
-      The Mozart Programming System combines ongoing research in
-      programming language design and implementation, constraint logic
-      programming, distributed computing, and human-computer
-      interfaces. Mozart implements the Oz language and provides both
-      expressive power and advanced functionality.
-    '';
-    sourceProvenance = with sourceTypes; [ binaryBytecode ];
-    license = licenses.mit;
-    platforms = attrNames binaries;
-    hydraPlatforms = [];
-  };
-}
diff --git a/pkgs/development/compilers/mozart/default.nix b/pkgs/development/compilers/mozart/default.nix
deleted file mode 100644
index 8b66cbce688b..000000000000
--- a/pkgs/development/compilers/mozart/default.nix
+++ /dev/null
@@ -1,82 +0,0 @@
-{ lib
-, fetchurl
-, fetchpatch
-, cmake
-, unzip
-, makeWrapper
-, boost
-, llvmPackages
-, gmp
-, emacs
-, jre_headless
-, tcl
-, tk
-}:
-
-let stdenv = llvmPackages.stdenv;
-
-in stdenv.mkDerivation rec {
-  pname = "mozart2";
-  version = "2.0.1";
-  name = "${pname}-${version}";
-
-  src = fetchurl {
-    url = "https://github.com/mozart/mozart2/releases/download/v${version}/${name}-Source.zip";
-    sha256 = "1mad9z5yzzix87cdb05lmif3960vngh180s2mb66cj5gwh5h9dll";
-  };
-
-  # This is a workaround to avoid using sbt.
-  # I guess it is acceptable to fetch the bootstrapping compiler in binary form.
-  bootcompiler = fetchurl {
-    url = "https://github.com/layus/mozart2/releases/download/v2.0.0-beta.1/bootcompiler.jar";
-    sha256 = "1hgh1a8hgzgr6781as4c4rc52m2wbazdlw3646s57c719g5xphjz";
-  };
-
-  patches = [
-    ./patch-limits.diff
-    (fetchpatch {
-      name = "remove-uses-of-deprecated-boost-apis.patch";
-      url = "https://github.com/mozart/mozart2/commit/4256d3a9122e1cbb01400a1807bdee66088ff274.patch";
-      hash = "sha256-AnOrBnxoCxqis+RdCsq8EKBg//jcNHSOFYUvf7vh+Hc=";
-    })
-  ];
-
-  postConfigure = ''
-    cp ${bootcompiler} bootcompiler/bootcompiler.jar
-  '';
-
-  nativeBuildInputs = [ cmake makeWrapper unzip ];
-
-  cmakeFlags = [
-    "-DBoost_USE_STATIC_LIBS=OFF"
-    "-DMOZART_BOOST_USE_STATIC_LIBS=OFF"
-    # We are building with clang, as nix does not support having clang and
-    # gcc together as compilers and we need clang for the sources generation.
-    # However, clang emits tons of warnings about gcc's atomic-base library.
-    "-DCMAKE_CXX_FLAGS=-Wno-braced-scalar-init"
-  ];
-
-  fixupPhase = ''
-    wrapProgram $out/bin/oz --set OZEMACS ${emacs}/bin/emacs
-  '';
-
-  buildInputs = [
-    boost
-    gmp
-    emacs
-    jre_headless
-    tcl
-    tk
-  ];
-
-  meta = with lib; {
-    description = "Open source implementation of Oz 3";
-    maintainers = with maintainers; [ layus h7x4 ];
-    license = licenses.bsd2;
-    homepage = "https://mozart.github.io";
-    platforms = platforms.all;
-    # Trace/BPT trap: 5
-    broken = stdenv.isDarwin;
-  };
-
-}
diff --git a/pkgs/development/compilers/mozart/patch-limits.diff b/pkgs/development/compilers/mozart/patch-limits.diff
deleted file mode 100644
index 336f5b3dbbdd..000000000000
--- a/pkgs/development/compilers/mozart/patch-limits.diff
+++ /dev/null
@@ -1,10 +0,0 @@
---- mozart2-2.0.1.orig/vm/vm/main/core-forward-decl.hh	2018-09-05 03:16:51.000000000 +0200
-+++ mozart2-2.0.1/vm/vm/main/core-forward-decl.hh	2021-08-03 10:31:50.281476430 +0200
-@@ -36,6 +36,7 @@
- #include <cstdint>
- #include <ostream>
- #include <functional>
-+#include <limits>
- #include <memory>
- #include <cassert>
-