diff options
| author | roconnor <roconnor@theorem.ca> | 2014-09-20 16:24:10 -0400 |
|---|---|---|
| committer | roconnor <roconnor@theorem.ca> | 2014-09-20 16:24:10 -0400 |
| commit | bbd58db13af435fde0f376c69c270e8a2853583b (patch) | |
| tree | 37d2d7d32a496b97cc797fdae028623cfc58cb7a /pkgs/development/ocaml-modules | |
| parent | 1cbcd2baae7d4dae340fb09fe3690876c7935186 (diff) | |
| parent | 40e79043b02a6ecb9da8766cddf99b462ba3c0ed (diff) | |
| download | nixlib-bbd58db13af435fde0f376c69c270e8a2853583b.tar nixlib-bbd58db13af435fde0f376c69c270e8a2853583b.tar.gz nixlib-bbd58db13af435fde0f376c69c270e8a2853583b.tar.bz2 nixlib-bbd58db13af435fde0f376c69c270e8a2853583b.tar.lz nixlib-bbd58db13af435fde0f376c69c270e8a2853583b.tar.xz nixlib-bbd58db13af435fde0f376c69c270e8a2853583b.tar.zst nixlib-bbd58db13af435fde0f376c69c270e8a2853583b.zip | |
Merge pull request #4133 from vbgl/coq-8-3
Fixes coq-8.3: requires OCaml 3.12 and lablgtk 2.14
Diffstat (limited to 'pkgs/development/ocaml-modules')
| -rw-r--r-- | pkgs/development/ocaml-modules/lablgtk/2.14.0.nix | 37 | ||||
| -rw-r--r-- | pkgs/development/ocaml-modules/lablgtk/default.nix | 2 |
2 files changed, 39 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; + }; +}) diff --git a/pkgs/development/ocaml-modules/lablgtk/default.nix b/pkgs/development/ocaml-modules/lablgtk/default.nix index c2f50c4e5b83..f303323b7c8c 100644 --- a/pkgs/development/ocaml-modules/lablgtk/default.nix +++ b/pkgs/development/ocaml-modules/lablgtk/default.nix @@ -6,6 +6,8 @@ let version = "2.16.0"; in +assert stdenv.lib.versionAtLeast ocaml_version "3.12"; + stdenv.mkDerivation (rec { name = "${pname}-${version}"; src = fetchurl { |