diff options
| author | Peter Simons <simons@cryp.to> | 2011-09-21 16:46:54 +0000 |
|---|---|---|
| committer | Peter Simons <simons@cryp.to> | 2011-09-21 16:46:54 +0000 |
| commit | 54acb664731f856eebcf2536c8cf4c8a80387816 (patch) | |
| tree | b849b55521a4d3ae4ab09f1e1bc6d951536b1440 /pkgs/development/libraries | |
| parent | d10badf202ef054b6ac676af53456f3bb2a2f56b (diff) | |
| download | nixpkgs-54acb664731f856eebcf2536c8cf4c8a80387816.tar nixpkgs-54acb664731f856eebcf2536c8cf4c8a80387816.tar.gz nixpkgs-54acb664731f856eebcf2536c8cf4c8a80387816.tar.bz2 nixpkgs-54acb664731f856eebcf2536c8cf4c8a80387816.tar.lz nixpkgs-54acb664731f856eebcf2536c8cf4c8a80387816.tar.xz nixpkgs-54acb664731f856eebcf2536c8cf4c8a80387816.tar.zst nixpkgs-54acb664731f856eebcf2536c8cf4c8a80387816.zip | |
haskell-prolog: added version 0.1
haskell-prolog-graph: added version 0.1.0.2 haskell-prolog-graph-lib: added version 0.1 svn path=/nixpkgs/trunk/; revision=29417
Diffstat (limited to 'pkgs/development/libraries')
3 files changed, 59 insertions, 0 deletions
diff --git a/pkgs/development/libraries/haskell/prolog-graph-lib/default.nix b/pkgs/development/libraries/haskell/prolog-graph-lib/default.nix new file mode 100644 index 00000000000..5459b8fa6dc --- /dev/null +++ b/pkgs/development/libraries/haskell/prolog-graph-lib/default.nix @@ -0,0 +1,18 @@ +{ cabal, fgl, graphviz, mtl, prolog, text }: + +cabal.mkDerivation (self: { + pname = "prolog-graph-lib"; + version = "0.1"; + sha256 = "1gryhk0jd8bvmjbjkz6n7sfnsa6iwzkckpgi51xsj5f2nwdxbl6g"; + buildDepends = [ fgl graphviz mtl prolog text ]; + meta = { + homepage = "https://github.com/Erdwolf/prolog"; + description = "Generating images of resolution trees for Prolog queries"; + license = self.stdenv.lib.licenses.publicDomain; + platforms = self.ghc.meta.platforms; + maintainers = [ + self.stdenv.lib.maintainers.andres + self.stdenv.lib.maintainers.simons + ]; + }; +}) diff --git a/pkgs/development/libraries/haskell/prolog-graph/default.nix b/pkgs/development/libraries/haskell/prolog-graph/default.nix new file mode 100644 index 00000000000..446a430ed7c --- /dev/null +++ b/pkgs/development/libraries/haskell/prolog-graph/default.nix @@ -0,0 +1,23 @@ +{ cabal, cmdargs, fgl, graphviz, mtl, prolog, prologGraphLib, text +}: + +cabal.mkDerivation (self: { + pname = "prolog-graph"; + version = "0.1.0.2"; + sha256 = "1w3wz0sn1qhw286g3arin30jvlldadw976xr7hp0afdvqicl3892"; + isLibrary = false; + isExecutable = true; + buildDepends = [ + cmdargs fgl graphviz mtl prolog prologGraphLib text + ]; + meta = { + homepage = "https://github.com/Erdwolf/prolog"; + description = "A command line tool to visualize query resolution in Prolog"; + license = self.stdenv.lib.licenses.publicDomain; + platforms = self.ghc.meta.platforms; + maintainers = [ + self.stdenv.lib.maintainers.andres + self.stdenv.lib.maintainers.simons + ]; + }; +}) diff --git a/pkgs/development/libraries/haskell/prolog/default.nix b/pkgs/development/libraries/haskell/prolog/default.nix new file mode 100644 index 00000000000..6702e2e3887 --- /dev/null +++ b/pkgs/development/libraries/haskell/prolog/default.nix @@ -0,0 +1,18 @@ +{ cabal, mtl, parsec, syb, thLift, transformers }: + +cabal.mkDerivation (self: { + pname = "prolog"; + version = "0.1"; + sha256 = "00791fb1f84wq42wvacnjl290fbn28x9hknxsic3ksi3f7psladm"; + buildDepends = [ mtl parsec syb thLift transformers ]; + meta = { + homepage = "https://github.com/Erdwolf/prolog"; + description = "A Prolog interpreter written in Haskell"; + license = self.stdenv.lib.licenses.publicDomain; + platforms = self.ghc.meta.platforms; + maintainers = [ + self.stdenv.lib.maintainers.andres + self.stdenv.lib.maintainers.simons + ]; + }; +}) |