diff options
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 + ]; + }; +}) |