Merge pull request #33005 from vbgl/coq-lablgtk

coq: lablgtk is only needed for coqide
This commit is contained in:
Graham Christensen 2017-12-26 15:52:28 -05:00 committed by GitHub
commit c964449c98
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -91,7 +91,8 @@ self = stdenv.mkDerivation {
};
nativeBuildInputs = [ pkgconfig ];
buildInputs = [ ocamlPackages.ocaml ocamlPackages.findlib camlp5 ncurses ocamlPackages.lablgtk ];
buildInputs = [ ocamlPackages.ocaml ocamlPackages.findlib camlp5 ncurses ]
++ stdenv.lib.optional buildIde ocamlPackages.lablgtk;
postPatch = ''
UNAME=$(type -tp uname)