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

coq: enable coqide on darwin

Browse Source 
This was disabled a while ago, when itstool was broken on darwin.
Now that itstool works again, it can be re-enabled.
This commit is contained in:
Paul Liétar 2021-03-12 12:04:27 +00:00 committed by Vincent Laporte
parent 4c54b5575e
commit 6f8eb1e65a
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

@ -8,7 +8,7 @@
{ lib, stdenv, fetchzip, writeText, pkg-config, gnumake42 { lib, stdenv, fetchzip, writeText, pkg-config, gnumake42
, customOCamlPackages ? null , customOCamlPackages ? null
, ocamlPackages_4_05, ocamlPackages_4_09, ocamlPackages_4_10, ncurses , ocamlPackages_4_05, ocamlPackages_4_09, ocamlPackages_4_10, ncurses
, buildIde ? !(stdenv.isDarwin && lib.versionAtLeast version "8.10") , buildIde ? true
, glib, gnome3, wrapGAppsHook , glib, gnome3, wrapGAppsHook
, csdp ? null , csdp ? null
, version, coq-version ? null, , version, coq-version ? null,