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

   1 {
   2   stdenv,
   3   fetchFromGitHub,
   4   lib,
   5   makeWrapper,
   6   ocamlbuild,
   7   findlib,
   8   ocaml,
   9   num,
  10   zarith,
  11 }:
  12
  13 lib.throwIfNot (lib.versionAtLeast ocaml.version "4.07")
  14   "lem is not available for OCaml ${ocaml.version}"
  15
  16   stdenv.mkDerivation
  17   rec {
  18     pname = "ocaml${ocaml.version}-lem";
  19     version = "2022-12-10";
  20
  21     src = fetchFromGitHub {
  22       owner = "rems-project";
  23       repo = "lem";
  24       rev = version;
  25       hash = "sha256-ZQgcuIVRkJS0KtpzjbO4OPHGg6B0TadWA6XpRir30y8=";
  26     };
  27
  28     nativeBuildInputs = [
  29       makeWrapper
  30       ocamlbuild
  31       findlib
  32       ocaml
  33     ];
  34     propagatedBuildInputs = [
  35       zarith
  36       num
  37     ];
  38
  39     installFlags = [ "INSTALL_DIR=$(out)" ];
  40
  41     createFindlibDestdir = true;
  42
  43     postInstall = ''
  44       wrapProgram $out/bin/lem --set LEMLIB $out/share/lem/library
  45     '';
  46
  47     meta = with lib; {
  48       homepage = "https://github.com/rems-project/lem";
  49       description = "Tool for lightweight executable mathematics";
  50       mainProgram = "lem";
  51       maintainers = with maintainers; [ genericnerdyusername ];
  52       license = with licenses; [
  53         bsd3
  54         gpl2
  55       ];
  56       platforms = ocaml.meta.platforms;
  57     };
  58   }