2017-10-18 07:50:06 +02:00
|
|
|
{ stdenv, fetchurl, ocaml, findlib, pkgconfig, gtk2, libgnomecanvas, libglade, gtksourceview }:
|
2010-12-31 18:48:55 +01:00
|
|
|
|
|
|
|
let
|
|
|
|
pname = "lablgtk";
|
|
|
|
in
|
|
|
|
|
2016-10-05 09:32:30 +02:00
|
|
|
assert stdenv.lib.versionAtLeast ocaml.version "3.12";
|
2014-09-20 19:53:43 +02:00
|
|
|
|
2016-10-05 09:32:30 +02:00
|
|
|
stdenv.mkDerivation rec {
|
2010-12-31 18:48:55 +01:00
|
|
|
name = "${pname}-${version}";
|
2016-12-20 23:02:43 +01:00
|
|
|
version = "2.18.5";
|
2016-10-05 09:32:30 +02:00
|
|
|
|
2010-12-31 18:48:55 +01:00
|
|
|
src = fetchurl {
|
2016-12-20 23:02:43 +01:00
|
|
|
url = https://forge.ocamlcore.org/frs/download.php/1627/lablgtk-2.18.5.tar.gz;
|
|
|
|
sha256 = "0cyj6sfdvzx8hw7553lhgwc0krlgvlza0ph3dk9gsxy047dm3wib";
|
2010-12-31 18:48:55 +01:00
|
|
|
};
|
|
|
|
|
2017-09-05 23:26:13 +02:00
|
|
|
nativeBuildInputs = [ pkgconfig ];
|
2017-10-18 07:50:06 +02:00
|
|
|
buildInputs = [ ocaml findlib gtk2 libgnomecanvas libglade gtksourceview ];
|
2010-12-31 18:48:55 +01:00
|
|
|
|
2016-10-05 09:32:30 +02:00
|
|
|
configureFlags = "--with-libdir=$(out)/lib/ocaml/${ocaml.version}/site-lib";
|
2010-12-31 18:48:55 +01:00
|
|
|
buildFlags = "world";
|
|
|
|
|
2013-06-04 20:30:50 +02:00
|
|
|
preInstall = ''
|
2016-10-05 09:32:30 +02:00
|
|
|
mkdir -p $out/lib/ocaml/${ocaml.version}/site-lib
|
|
|
|
export OCAMLPATH=$out/lib/ocaml/${ocaml.version}/site-lib/:$OCAMLPATH
|
2010-12-31 18:48:55 +01:00
|
|
|
'';
|
|
|
|
|
2017-06-26 08:27:03 +02:00
|
|
|
dontStrip = true;
|
|
|
|
|
2014-10-04 01:49:05 +02:00
|
|
|
meta = with stdenv.lib; {
|
2015-12-24 18:49:07 +01:00
|
|
|
platforms = ocaml.meta.platforms or [];
|
2014-10-04 01:49:05 +02:00
|
|
|
maintainers = with maintainers; [
|
|
|
|
z77z roconnor vbgl
|
2010-12-31 18:48:55 +01:00
|
|
|
];
|
2014-10-04 01:49:05 +02:00
|
|
|
homepage = http://lablgtk.forge.ocamlcore.org/;
|
|
|
|
description = "An OCaml interface to gtk+";
|
|
|
|
license = licenses.lgpl21Plus;
|
2010-12-31 18:48:55 +01:00
|
|
|
};
|
2014-10-04 01:49:05 +02:00
|
|
|
}
|