blob: b5bcb0de1ee61ad340fe6b8f8e56034164fe181e (
plain) (
blame)
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
|
{stdenv, fetchurl, pkgconfig, ocaml, findlib, gmetadom, gtkmathview, lablgtk }:
let
pname = "lablgtkmathview";
in
stdenv.mkDerivation rec {
name = "${pname}-${version}";
version = "0.7.2";
src = fetchurl {
url = "http://helm.cs.unibo.it/mml-widget/sources/${pname}-${version}.tar.gz";
sha256 = "0rgrpgwrgphw106l1xawxir002b7rmzc23rcxhv8ib6rymp1divx";
};
nativeBuildInputs = [ pkgconfig ];
buildInputs = [ ocaml findlib gmetadom gtkmathview lablgtk];
createFindlibDestdir = true;
propagatedBuildInputs = [gtkmathview];
prePatch = ''
substituteInPlace Makefile.in --replace "PROPCC = @OCAML_LIB_DIR@" "PROPCC = ${lablgtk}/lib/ocaml/${ocaml.version}/site-lib"
'';
buildPhase = ''
mkdir -p .test
make
make opt
'';
meta = {
homepage = http://helm.cs.unibo.it/mml-widget/;
description = "OCaml bindings for gtkmathview";
license = stdenv.lib.licenses.lgpl2Plus;
maintainers = [ stdenv.lib.maintainers.roconnor ];
broken = true;
};
}
|