coq: lablgtk is only needed for coqide

This commit is contained in:
Vincent Laporte 2017-12-23 11:11:56 +00:00
parent a02f66e87b
commit b320538f4c
No known key found for this signature in database
GPG key ID: EBD582ADDDB1F81F

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)