2010-12-31 17:48:55 +00:00
|
|
|
{stdenv, fetchurl, pkgconfig, ocaml, findlib, gmetadom, gtkmathview, lablgtk }:
|
|
|
|
|
|
|
|
let
|
|
|
|
ocaml_version = (builtins.parseDrvName ocaml.name).version;
|
|
|
|
version = "0.7.2";
|
|
|
|
pname = "lablgtkmathview";
|
|
|
|
|
|
|
|
in
|
|
|
|
|
|
|
|
stdenv.mkDerivation {
|
|
|
|
name = "${pname}-${version}";
|
|
|
|
|
|
|
|
src = fetchurl {
|
|
|
|
url = "http://helm.cs.unibo.it/mml-widget/sources/${pname}-${version}.tar.gz";
|
|
|
|
sha256 = "0rgrpgwrgphw106l1xawxir002b7rmzc23rcxhv8ib6rymp1divx";
|
|
|
|
};
|
|
|
|
|
|
|
|
buildInputs = [pkgconfig 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 = ''
|
2012-01-18 20:16:00 +00:00
|
|
|
mkdir -p .test
|
2010-12-31 17:48:55 +00:00
|
|
|
make
|
|
|
|
make opt
|
|
|
|
'';
|
|
|
|
|
|
|
|
meta = {
|
|
|
|
homepage = http://helm.cs.unibo.it/mml-widget/;
|
|
|
|
description = "OCaml bindings for gtkmathview";
|
2014-06-19 05:19:00 +01:00
|
|
|
license = stdenv.lib.licenses.lgpl2Plus;
|
2010-12-31 17:48:55 +00:00
|
|
|
maintainers = [ stdenv.lib.maintainers.roconnor ];
|
|
|
|
};
|
|
|
|
}
|