Something went wrong. Try again.
What happens if I push all of nixpkgs
Something went wrong. Try again.
921 B · 41 lines
Nix
123456789101112131415161718192021222324252627282930313233343536373839404142{ lib, fetchFromGitHub, stdenv, findlib, ocaml, lem,}:
lib.throwIfNot (lib.versionAtLeast ocaml.version "4.07") "linksem is not available for OCaml ${ocaml.version}"
stdenv.mkDerivation rec { pname = "ocaml${ocaml.version}-linksem"; version = "0.8";
src = fetchFromGitHub { owner = "rems-project"; repo = "linksem"; rev = version; hash = "sha256-7/YfDK3TruKCckMzAPLRrwBkHRJcX1S+AzXHWRxkZPA="; };
nativeBuildInputs = [ findlib ocaml ];
propagatedBuildInputs = [ lem ];
createFindlibDestdir = true;
meta = with lib; { homepage = "https://github.com/rems-project/linksem"; description = "Formalisation of substantial parts of ELF linking and DWARF debug information"; maintainers = with maintainers; [ genericnerdyusername ]; license = licenses.bsd2; platforms = ocaml.meta.platforms; }; }