summary refs log blame commit diff
path: root/pkgs/development/ocaml-modules/menhir/sdk.nix
blob: 0e60849494cc52abb216b5ca945c37512a3703f4 (plain) (tree)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15














                                                                               
{ lib, fetchFromGitLab, buildDunePackage
, menhirLib
}:

buildDunePackage rec {
  pname = "menhirSdk";

  inherit (menhirLib) version src useDune2;

  meta = menhirLib.meta // {
    description = "Compile-time library for auxiliary tools related to Menhir";
    license = with lib.licenses; [ gpl2Only ];
  };
}