Commit 1148f282 authored by Weijia Wang's avatar Weijia Wang
Browse files

cubicle: set env instead of postPatch

parent 67faa3e9

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/";