19 lines
379 B
Nix
19 lines
379 B
Nix
{ lib, ocamlPackages }:
|
|
|
|
let
|
|
inherit (ocamlPackages) buildDunePackage libabsolute;
|
|
in
|
|
|
|
buildDunePackage {
|
|
pname = "absolute";
|
|
inherit (libabsolute) src version;
|
|
|
|
__structuredAttrs = true;
|
|
|
|
buildInputs = [ libabsolute ];
|
|
|
|
meta = libabsolute.meta // {
|
|
description = "A constraint solver based on abstract domains from the theory of abstract interpretation";
|
|
};
|
|
}
|