Something went wrong. Try again.
What happens if I push all of nixpkgs
Something went wrong. Try again.
1.2 kB · 58 lines
Nix
1234567891011121314151617181920212223242526272829303132333435363738394041424344454647484950515253545556575859{ stdenv, fetchFromGitHub, lib, makeWrapper, ocamlbuild, findlib, ocaml, num, zarith,}:
lib.throwIfNot (lib.versionAtLeast ocaml.version "4.07") "lem is not available for OCaml ${ocaml.version}"
stdenv.mkDerivation rec { pname = "ocaml${ocaml.version}-lem"; version = "2025-03-13";
src = fetchFromGitHub { owner = "rems-project"; repo = "lem"; rev = version; hash = "sha256-ZV2OiFonMlNzqtsumMQ8jzY9/ATaZxiNHZ7JzOfGluY="; };
nativeBuildInputs = [ makeWrapper ocamlbuild findlib ocaml ]; propagatedBuildInputs = [ zarith num ];
installFlags = [ "INSTALL_DIR=$(out)" ];
createFindlibDestdir = true;
postInstall = '' wrapProgram $out/bin/lem --set LEMLIB $out/share/lem/library '';
meta = with lib; { homepage = "https://github.com/rems-project/lem"; description = "Tool for lightweight executable mathematics"; mainProgram = "lem"; maintainers = with maintainers; [ genericnerdyusername ]; license = with licenses; [ bsd3 gpl2 ]; platforms = ocaml.meta.platforms; }; }