ilyakooo0/nixpkgs
1
0
Fork 0
mirror of https://github.com/ilyakooo0/nixpkgs.git synced 2024-12-27 05:43:50 +03:00
Code Issues Projects Releases Wiki Activity

haskell-prolog: added version 0.1

Browse Source 
haskell-prolog-graph: added version 0.1.0.2
haskell-prolog-graph-lib: added version 0.1

svn path=/nixpkgs/trunk/; revision=29417
This commit is contained in:
Peter Simons 2011-09-21 16:46:54 +00:00
parent d10badf202
commit 54acb66473
4 changed files with 67 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

18
pkgs/development/libraries/haskell/prolog-graph-lib/default.nix Normal file
View File

@ -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
];
};
})

23
pkgs/development/libraries/haskell/prolog-graph/default.nix Normal file
View File

@ -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
];
};
})

18
pkgs/development/libraries/haskell/prolog/default.nix Normal file
View File

@ -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
];
};
})

8
pkgs/top-level/haskell-packages.nix
View File

@ -948,6 +948,14 @@ let result = let callPackage = x : y : modifyPrio (newScope result.final x y);
processLeksah = callPackage ../development/libraries/haskell/leksah/process-leksah.nix {}; processLeksah = callPackage ../development/libraries/haskell/leksah/process-leksah.nix {};
prolog = callPackage ../development/libraries/haskell/prolog {};
prologGraphLib = callPackage ../development/libraries/haskell/prolog-graph-lib {
fgl = self.fgl_5_4_2_4;
};
prologGraph = callPackage ../development/libraries/haskell/prolog-graph {
fgl = self.fgl_5_4_2_4;
};
PSQueue = callPackage ../development/libraries/haskell/PSQueue {}; PSQueue = callPackage ../development/libraries/haskell/PSQueue {};
pureMD5 = callPackage ../development/libraries/haskell/pureMD5 {}; pureMD5 = callPackage ../development/libraries/haskell/pureMD5 {};