pkgs/development/ocaml-modules/linksem/default.nix

   1 { lib
   2 , fetchFromGitHub
   3 , stdenv
   4 , findlib
   5 , ocaml
   6 , lem
   7 }:
   8
   9 lib.throwIfNot (lib.versionAtLeast ocaml.version "4.07")
  10   "linksem is not available for OCaml ${ocaml.version}"
  11
  12 stdenv.mkDerivation rec {
  13   pname = "ocaml${ocaml.version}-linksem";
  14   version = "0.8";
  15
  16   src = fetchFromGitHub {
  17     owner = "rems-project";
  18     repo = "linksem";
  19     rev = version;
  20     hash = "sha256-7/YfDK3TruKCckMzAPLRrwBkHRJcX1S+AzXHWRxkZPA=";
  21   };
  22
  23   nativeBuildInputs = [ findlib ocaml ];
  24
  25   propagatedBuildInputs = [ lem ];
  26
  27   createFindlibDestdir = true;
  28
  29   meta = with lib; {
  30     homepage = "https://github.com/rems-project/linksem";
  31     description = "A formalisation of substantial parts of ELF linking and DWARF debug information";
  32     maintainers = with maintainers; [ genericnerdyusername ];
  33     license = licenses.bsd2;
  34     platforms = ocaml.meta.platforms;
  35   };
  36 }