JakeHillion/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

coq: do not build CoqIDE for Coq 8.10

Browse Source 
GTK3 at version 3.24.11 has broken pkg-config files
This commit is contained in:
Vincent Laporte 2019-10-15 09:19:25 +00:00 committed by Vincent Laporte
parent 1292f49a37
commit 0cc70b5697
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
pkgs/applications/science/logic/coq/default.nix
View File

@ -7,7 +7,7 @@
{ stdenv, fetchFromGitHub, writeText, pkgconfig
, ocamlPackages, ncurses
, buildIde ? true
, buildIde ? !stdenv.lib.versionAtLeast version "8.10" # lablgtk3 cannot be built with GTK3 at version 3.24.11
, glib, gnome3, wrapGAppsHook
, darwin
, csdp ? null