Commit 7e375a74 authored by Weijia Wang's avatar Weijia Wang
Browse files

prooftree: use prefixKey

parent 9e7f26f8

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

+1 −2
Original line number Diff line number Diff line
@@ -14,8 +14,7 @@ stdenv.mkDerivation rec { 
  nativeBuildInputs = [ pkg-config ] ++ (with ocamlPackages; [ ocaml findlib camlp5 ]);

  buildInputs = [ ncurses ] ++ (with ocamlPackages; [ lablgtk ]);



  dontAddPrefix = true;

  configureFlags = [ "--prefix" "$(out)" ];

  prefixKey = "--prefix ";



  meta = with lib; {

    description = "A program for proof-tree visualization";