Unverified Commit 704511c0 authored by Aleksana's avatar Aleksana Committed by GitHub
Browse files

Merge pull request #302405 from wegank/prooftree-prefix 

prooftree: use prefixKey
parents 5492cb73 7e375a74

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