1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
|
{ 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;
};
}
|
