pyrox.dev
1{ stdenv, fetchurl, bash, makeWrapper, coreutils, emacs, tcl, tk, boost, gmp, cacert }:
2
3assert stdenv.isLinux;
4
5let
6 version = "2.0.0";
7in
8stdenv.mkDerivation {
9 name = "mozart-binary-${version}";
10
11 src = fetchurl {
12 url = "http://sourceforge.net/projects/mozart-oz/files/v${version}-alpha.0/mozart2-${version}-alpha.0+build.4105.5c06ced-x86_64-linux.tar.gz";
13 sha256 = "0rsfrjimjxqbwprpzzlmydl3z3aiwg5qkb052jixdxjyad7gyh5z";
14 };
15
16 libPath = stdenv.lib.makeLibraryPath
17 [stdenv.cc.cc emacs tk tcl boost gmp];
18
19 builder = ./builder.sh;
20
21 buildInputs = [ makeWrapper ];
22
23 meta = with stdenv.lib; {
24 homepage = "http://www.mozart-oz.org/";
25 description = "Multiplatform implementation of the Oz programming language";
26 longDescription = ''
27 The Mozart Programming System combines ongoing research in
28 programming language design and implementation, constraint logic
29 programming, distributed computing, and human-computer
30 interfaces. Mozart implements the Oz language and provides both
31 expressive power and advanced functionality.
32 '';
33 license = licenses.mit;
34 platforms = [ "x86_64-linux" ];
35 };
36}