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

   1 { stdenv
   2 , fetchFromGitHub
   3 , lib
   4 , ncurses
   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 rec {
  17   pname = "ocaml${ocaml.version}-lem";
  18   version = "2022-12-10";
  19
  20   src = fetchFromGitHub {
  21     owner = "rems-project";
  22     repo = "lem";
  23     rev = version;
  24     hash = "sha256-ZQgcuIVRkJS0KtpzjbO4OPHGg6B0TadWA6XpRir30y8=";
  25   };
  26
  27   nativeBuildInputs = [ makeWrapper ocamlbuild findlib ocaml ];
  28   propagatedBuildInputs = [ zarith num ];
  29
  30   installFlags = [ "INSTALL_DIR=$(out)" ];
  31
  32   createFindlibDestdir = true;
  33
  34   postInstall = ''
  35     wrapProgram $out/bin/lem --set LEMLIB $out/share/lem/library
  36   '';
  37
  38   meta = with lib; {
  39     homepage = "https://github.com/rems-project/lem";
  40     description = "A tool for lightweight executable mathematics";
  41     mainProgram = "lem";
  42     maintainers = with maintainers; [ genericnerdyusername ];
  43     license = with licenses; [ bsd3 gpl2 ];
  44     platforms = ocaml.meta.platforms;
  45   };
  46 }