2021-01-19 06:50:56 +00:00
|
|
|
{ stdenv, lib, fetchurl, ocaml, findlib, pkg-config, gtk2, libgnomecanvas, libglade, gtksourceview, camlp4 }:
|
2014-09-17 23:44:02 +01:00
|
|
|
|
2021-01-11 12:49:15 +00:00
|
|
|
if lib.versionAtLeast ocaml.version "4.04"
|
2017-06-26 07:38:52 +01:00
|
|
|
then throw "lablgtk-2.14 is not available for OCaml ${ocaml.version}" else
|
|
|
|
|
2014-09-17 23:44:02 +01:00
|
|
|
let
|
|
|
|
pname = "lablgtk";
|
|
|
|
in
|
|
|
|
|
|
|
|
stdenv.mkDerivation (rec {
|
|
|
|
name = "${pname}-${version}";
|
2016-10-05 08:32:30 +01:00
|
|
|
version = "2.14.0";
|
2014-09-17 23:44:02 +01:00
|
|
|
|
|
|
|
src = fetchurl {
|
|
|
|
url = "https://forge.ocamlcore.org/frs/download.php/561/${name}.tar.gz";
|
|
|
|
sha256 = "1fnh0amm7lwgyjdhmlqgsp62gwlar1140425yc1j6inwmgnsp0a9";
|
|
|
|
};
|
|
|
|
|
2021-01-19 06:50:56 +00:00
|
|
|
nativeBuildInputs = [ pkg-config ];
|
2017-09-05 22:26:13 +01:00
|
|
|
buildInputs = [ ocaml findlib gtk2 libgnomecanvas libglade gtksourceview camlp4 ];
|
2014-09-17 23:44:02 +01:00
|
|
|
|
2018-07-25 22:44:21 +01:00
|
|
|
configureFlags = [ "--with-libdir=$(out)/lib/ocaml/${ocaml.version}/site-lib" ];
|
2019-10-27 13:03:25 +00:00
|
|
|
buildFlags = [ "world" ];
|
2014-09-17 23:44:02 +01:00
|
|
|
|
|
|
|
preInstall = ''
|
2016-10-05 08:32:30 +01:00
|
|
|
mkdir -p $out/lib/ocaml/${ocaml.version}/site-lib
|
|
|
|
export OCAMLPATH=$out/lib/ocaml/${ocaml.version}/site-lib/:$OCAMLPATH
|
2014-09-17 23:44:02 +01:00
|
|
|
'';
|
|
|
|
|
|
|
|
meta = {
|
2014-11-06 19:40:20 +00:00
|
|
|
branch = "2.14";
|
2015-12-24 17:49:07 +00:00
|
|
|
platforms = ocaml.meta.platforms or [];
|
2014-09-17 23:44:02 +01:00
|
|
|
maintainers = [
|
2021-01-11 12:49:15 +00:00
|
|
|
lib.maintainers.maggesi
|
|
|
|
lib.maintainers.roconnor
|
2014-09-17 23:44:02 +01:00
|
|
|
];
|
2020-04-01 02:11:51 +01:00
|
|
|
homepage = "http://wwwfun.kurims.kyoto-u.ac.jp/soft/lsl/lablgtk.html";
|
2019-09-03 23:49:40 +01:00
|
|
|
description = "LablGTK is is an Objective Caml interface to GTK";
|
2021-01-11 12:49:15 +00:00
|
|
|
license = lib.licenses.lgpl21Plus;
|
2014-09-17 23:44:02 +01:00
|
|
|
};
|
|
|
|
})
|