1
0
Fork 1
mirror of https://github.com/NixOS/nixpkgs.git synced 2024-12-25 03:17:13 +00:00
nixpkgs/pkgs/development/ocaml-modules/lablgtkmathview/default.nix
Russell O'Connor 88ec92d14c Matita and its dependencies.
svn path=/nixpkgs/trunk/; revision=25328
2010-12-31 17:48:55 +00:00

41 lines
1,002 B
Nix

{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 = ''
ensureDir .test
make
make opt
'';
meta = {
homepage = http://helm.cs.unibo.it/mml-widget/;
description = "OCaml bindings for gtkmathview";
license = "LGPLv2+";
maintainers = [ stdenv.lib.maintainers.roconnor ];
};
}