pyrox.dev
1{stdenv, fetchurl, pkgconfig, ocaml, findlib, gmetadom, gtkmathview, lablgtk }:
2
3let
4 ocaml_version = (builtins.parseDrvName ocaml.name).version;
5 version = "0.7.2";
6 pname = "lablgtkmathview";
7
8in
9
10stdenv.mkDerivation {
11 name = "${pname}-${version}";
12
13 src = fetchurl {
14 url = "http://helm.cs.unibo.it/mml-widget/sources/${pname}-${version}.tar.gz";
15 sha256 = "0rgrpgwrgphw106l1xawxir002b7rmzc23rcxhv8ib6rymp1divx";
16 };
17
18 buildInputs = [pkgconfig ocaml findlib gmetadom gtkmathview lablgtk];
19
20 createFindlibDestdir = true;
21
22 propagatedBuildInputs = [gtkmathview];
23
24 prePatch = ''
25 substituteInPlace Makefile.in --replace "PROPCC = @OCAML_LIB_DIR@" "PROPCC = ${lablgtk}/lib/ocaml/${ocaml_version}/site-lib"
26 '';
27
28 buildPhase = ''
29 mkdir -p .test
30 make
31 make opt
32 '';
33
34 meta = {
35 homepage = http://helm.cs.unibo.it/mml-widget/;
36 description = "OCaml bindings for gtkmathview";
37 license = stdenv.lib.licenses.lgpl2Plus;
38 maintainers = [ stdenv.lib.maintainers.roconnor ];
39 broken = true;
40 };
41}