Unverified Commit 1bce75bc authored by Anderson Torres's avatar Anderson Torres Committed by GitHub
Browse files

Merge pull request #219600 from wegank/cubicle-env 

cubicle: set env instead of postPatch
parents fbb9bb53 1148f282

pkgs/applications/science/logic/cubicle/default.nix

+6 −7
Original line number Diff line number Diff line
@@ -14,13 +14,6 @@ stdenv.mkDerivation rec { 
    hash = "sha256-/EtbXpyXqRm0jGcMfGLAEwdr92061edjFys1V7/w6/Y=";

  };



  # https://github.com/cubicle-model-checker/cubicle/issues/1

  postPatch = ''

    substituteInPlace Makefile.in \

      --replace "@OCAMLC@" "ocamlfind ocamlc -package num" \

      --replace "@OCAMLOPT@" "ocamlfind ocamlopt -package num"

  '';



  strictDeps = true;



  nativeBuildInputs = [
@@ -36,6 +29,12 @@ stdenv.mkDerivation rec { 
    num

  ];



  # https://github.com/cubicle-model-checker/cubicle/issues/1

  env = {

    OCAMLC = "ocamlfind ocamlc -package num";

    OCAMLOPT = "ocamlfind ocamlopt -package num";

  };



  meta = with lib; {

    description = "An open source model checker for verifying safety properties of array-based systems";

    homepage = "https://cubicle.lri.fr/";