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