diff options
| author | Vincent Laporte <Vincent.Laporte@gmail.com> | 2014-09-17 23:44:02 +0100 |
|---|---|---|
| committer | Vincent Laporte <Vincent.Laporte@gmail.com> | 2014-09-17 23:52:27 +0100 |
| commit | d67588a5f1a281942f10501c5c4a0ea21126f1d1 (patch) | |
| tree | 5c44e77872199216c7f84f91d6ce00c9a82973b7 /pkgs/development/ocaml-modules/lablgtk | |
| parent | 55d5747a9021b8d0965263707b141321475e56a3 (diff) | |
| download | nixlib-d67588a5f1a281942f10501c5c4a0ea21126f1d1.tar nixlib-d67588a5f1a281942f10501c5c4a0ea21126f1d1.tar.gz nixlib-d67588a5f1a281942f10501c5c4a0ea21126f1d1.tar.bz2 nixlib-d67588a5f1a281942f10501c5c4a0ea21126f1d1.tar.lz nixlib-d67588a5f1a281942f10501c5c4a0ea21126f1d1.tar.xz nixlib-d67588a5f1a281942f10501c5c4a0ea21126f1d1.tar.zst nixlib-d67588a5f1a281942f10501c5c4a0ea21126f1d1.zip | |
Fixes coq-8.3: requires OCaml 3.12
Diffstat (limited to 'pkgs/development/ocaml-modules/lablgtk')
| -rw-r--r-- | pkgs/development/ocaml-modules/lablgtk/2.14.0.nix | 37 |
1 files changed, 37 insertions, 0 deletions
diff --git a/pkgs/development/ocaml-modules/lablgtk/2.14.0.nix b/pkgs/development/ocaml-modules/lablgtk/2.14.0.nix new file mode 100644 index 000000000000..5fb9969e62ef --- /dev/null +++ b/pkgs/development/ocaml-modules/lablgtk/2.14.0.nix @@ -0,0 +1,37 @@ +{stdenv, fetchurl, ocaml, findlib, pkgconfig, gtk, libgnomecanvas, libglade, gtksourceview}: + +let + ocaml_version = (builtins.parseDrvName ocaml.name).version; + pname = "lablgtk"; + version = "2.14.0"; +in + +stdenv.mkDerivation (rec { + name = "${pname}-${version}"; + + src = fetchurl { + url = "https://forge.ocamlcore.org/frs/download.php/561/${name}.tar.gz"; + sha256 = "1fnh0amm7lwgyjdhmlqgsp62gwlar1140425yc1j6inwmgnsp0a9"; + }; + + buildInputs = [ocaml findlib pkgconfig gtk libgnomecanvas libglade gtksourceview]; + + configureFlags = "--with-libdir=$(out)/lib/ocaml/${ocaml_version}/site-lib"; + buildFlags = "world"; + + preInstall = '' + mkdir -p $out/lib/ocaml/${ocaml_version}/site-lib + export OCAMLPATH=$out/lib/ocaml/${ocaml_version}/site-lib/:$OCAMLPATH + ''; + + meta = { + platforms = ocaml.meta.platforms; + maintainers = [ + stdenv.lib.maintainers.z77z + stdenv.lib.maintainers.roconnor + ]; + homepage = http://wwwfun.kurims.kyoto-u.ac.jp/soft/lsl/lablgtk.html; + description = "LablGTK is is an Objective Caml interface to gtk+"; + license = stdenv.lib.licenses.lgpl21Plus; + }; +}) |