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

coq_8_5: fix build (use gnumake 4.2)

Browse Source
This commit is contained in:
Vincent Laporte 2020-07-27 10:35:18 +02:00 committed by Vincent Laporte
parent 7f0a9a4adb
commit 390769312d
1 changed files with 4 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -5,7 +5,7 @@
# - The exact version can be specified through the `version` argument to # - The exact version can be specified through the `version` argument to
# the derivation; it defaults to the latest stable version. # the derivation; it defaults to the latest stable version.
{ stdenv, fetchFromGitHub, writeText, pkgconfig { stdenv, fetchFromGitHub, writeText, pkgconfig, gnumake42
, ocamlPackages, ncurses , ocamlPackages, ncurses
, buildIde ? !(stdenv.isDarwin && stdenv.lib.versionAtLeast version "8.10") , buildIde ? !(stdenv.isDarwin && stdenv.lib.versionAtLeast version "8.10")
, glib, gnome3, wrapGAppsHook , glib, gnome3, wrapGAppsHook
@ -107,7 +107,9 @@ self = stdenv.mkDerivation {
inherit sha256; inherit sha256;
}; };
nativeBuildInputs = [ pkgconfig ]; nativeBuildInputs = [ pkgconfig ]
++ stdenv.lib.optional (!versionAtLeast "8.6") gnumake42
;
buildInputs = [ ncurses ocamlPackages.ocaml ocamlPackages.findlib ] buildInputs = [ ncurses ocamlPackages.ocaml ocamlPackages.findlib ]
++ stdenv.lib.optional (!versionAtLeast "8.10") ocamlPackages.camlp5 ++ stdenv.lib.optional (!versionAtLeast "8.10") ocamlPackages.camlp5
++ [ ocamlPackages.num ] ++ [ ocamlPackages.num ]