diff options
author | Russell O'Connor <roconnor@theorem.ca> | 2010-12-31 17:48:55 +0000 |
---|---|---|
committer | Russell O'Connor <roconnor@theorem.ca> | 2010-12-31 17:48:55 +0000 |
commit | 88ec92d14c400eee0164ace51e5b37e8bf035676 (patch) | |
tree | c7c5d538c20ed91252dbd1380da844b50d367697 /pkgs/development/ocaml-modules/lablgtkmathview | |
parent | d3bb1b263001b3035f779ffcdb4588b7a8284eae (diff) | |
download | nixlib-88ec92d14c400eee0164ace51e5b37e8bf035676.tar nixlib-88ec92d14c400eee0164ace51e5b37e8bf035676.tar.gz nixlib-88ec92d14c400eee0164ace51e5b37e8bf035676.tar.bz2 nixlib-88ec92d14c400eee0164ace51e5b37e8bf035676.tar.lz nixlib-88ec92d14c400eee0164ace51e5b37e8bf035676.tar.xz nixlib-88ec92d14c400eee0164ace51e5b37e8bf035676.tar.zst nixlib-88ec92d14c400eee0164ace51e5b37e8bf035676.zip |
Matita and its dependencies.
svn path=/nixpkgs/trunk/; revision=25328
Diffstat (limited to 'pkgs/development/ocaml-modules/lablgtkmathview')
-rw-r--r-- | pkgs/development/ocaml-modules/lablgtkmathview/configure.patch | 14 | ||||
-rw-r--r-- | pkgs/development/ocaml-modules/lablgtkmathview/default.nix | 40 |
2 files changed, 54 insertions, 0 deletions
diff --git a/pkgs/development/ocaml-modules/lablgtkmathview/configure.patch b/pkgs/development/ocaml-modules/lablgtkmathview/configure.patch new file mode 100644 index 000000000000..b841e8f43822 --- /dev/null +++ b/pkgs/development/ocaml-modules/lablgtkmathview/configure.patch @@ -0,0 +1,14 @@ +--- configure 2010-09-02 10:58:16.128236964 -0400 ++++ configure.old 2010-09-02 10:57:42.368111615 -0400 +@@ -1637,9 +1637,9 @@ + echo "$as_me:$LINENO: result: $ac_cv_file__usr_include_caml_mlvalues_h" >&5 + echo "${ECHO_T}$ac_cv_file__usr_include_caml_mlvalues_h" >&6 + if test $ac_cv_file__usr_include_caml_mlvalues_h = yes; then +- OCAML_INCLUDE_DIR=/usr/include ++ OCAML_INCLUDE_DIR=/usr/include/caml + else +- OCAML_INCLUDE_DIR=$OCAML_LIB_DIR ++ OCAML_INCLUDE_DIR=$OCAML_LIB_DIR/caml + + fi + diff --git a/pkgs/development/ocaml-modules/lablgtkmathview/default.nix b/pkgs/development/ocaml-modules/lablgtkmathview/default.nix new file mode 100644 index 000000000000..13c25495cdc6 --- /dev/null +++ b/pkgs/development/ocaml-modules/lablgtkmathview/default.nix @@ -0,0 +1,40 @@ +{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 ]; + }; +} |