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/libraries/gdome2 | |
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/libraries/gdome2')
-rw-r--r-- | pkgs/development/libraries/gdome2/default.nix | 25 |
1 files changed, 25 insertions, 0 deletions
diff --git a/pkgs/development/libraries/gdome2/default.nix b/pkgs/development/libraries/gdome2/default.nix new file mode 100644 index 000000000000..415a98029cc6 --- /dev/null +++ b/pkgs/development/libraries/gdome2/default.nix @@ -0,0 +1,25 @@ +{stdenv, fetchurl, pkgconfig, glib, libxml2, gtkdoc}: + +let + pname = "gdome2"; + version = "0.8.1"; +in + +stdenv.mkDerivation { + name = "${pname}-${version}"; + + src = fetchurl { + url = "http://gdome2.cs.unibo.it/tarball/${pname}-${version}.tar.gz"; + sha256 = "0hyms5s3hziajp3qbwdwqjc2xcyhb783damqg8wxjpwfxyi81fzl"; + }; + + buildInputs = [pkgconfig glib libxml2 gtkdoc]; + propagatedBuildInputs = [glib libxml2]; + + meta = { + homepage = http://gdome2.cs.unibo.it/; + description = "DOM C library developped for the Gnome project"; + license = "LGPLv2.1+"; + maintainers = [ stdenv.lib.maintainers.roconnor ]; + }; +} |