cafkafk/nixpkgs
cafkafk/nixpkgs
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions 2

ocamlPackages.pratter: init at 2.0.0

Browse source
This commit is contained in:
Ben Darwin 2022-09-08 20:33:39 -04:00 committed by Vincent Laporte
parent b361e1895f
commit 1b327858f9
2 changed files with 37 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

35
pkgs/development/ocaml-modules/pratter/default.nix Normal file
View file

@ -0,0 +1,35 @@
{ lib
, fetchFromGitHub
, buildDunePackage
, camlp-streams
, alcotest
, qcheck
, qcheck-alcotest
}:
buildDunePackage rec {
version = "2.0.0";
pname = "pratter";
minimalOCamlVersion = "4.08";
src = fetchFromGitHub {
owner = "gabrielhdt";
repo = "pratter";
rev = version;
hash = "sha256-QEq8Zt2pfsRT04Zd+ugGKcHdzkqYcDDUg/iAFMMDdEE=";
};
propagatedBuildInputs = [ camlp-streams ];
checkInputs = [ alcotest qcheck qcheck-alcotest ];
doCheck = true;
meta = with lib; {
description = "An extended Pratt parser";
homepage = "https://github.com/gabrielhdt/pratter";
license = licenses.bsd3;
changelog = "https://github.com/gabrielhdt/pratter/raw/${version}/CHANGELOG.md";
maintainers = with maintainers; [ bcdarwin ];
};
}

2
pkgs/top-level/ocaml-packages.nix
View file

@ -1181,6 +1181,8 @@ let
ppxlib = callPackage ../development/ocaml-modules/ppxlib { };
pratter = callPackage ../development/ocaml-modules/pratter { };
psmt2-frontend = callPackage ../development/ocaml-modules/psmt2-frontend { };
psq = callPackage ../development/ocaml-modules/psq { };