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

treewide: installFlags is a list

Browse Source
This commit is contained in:
Robin Gloster
2019-11-05 02:10:31 +01:00
committed by Jan Tojnar
parent 133103d709
commit 2157dcd141
70 changed files with 86 additions and 91 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
pkgs/development/coq-modules/Cheerios/default.nix
View File

@@ -24,7 +24,7 @@ stdenv.mkDerivation {
preConfigure = "patchShebangs ./configure";
installFlags = "COQLIB=$(out)/lib/coq/${coq.coq-version}/";
installFlags = [ "COQLIB=$(out)/lib/coq/${coq.coq-version}/" ];
passthru = {
compatibleCoqVersions = v: builtins.elem v [ "8.6" "8.7" "8.8" "8.9" ];

2
pkgs/development/coq-modules/InfSeqExt/default.nix
View File

@@ -23,7 +23,7 @@ stdenv.mkDerivation {
preConfigure = "patchShebangs ./configure";
installFlags = "COQLIB=$(out)/lib/coq/${coq.coq-version}/";
installFlags = [ "COQLIB=$(out)/lib/coq/${coq.coq-version}/" ];
passthru = {
compatibleCoqVersions = v: builtins.elem v [ "8.5" "8.6" "8.7" "8.8" "8.9" ];

2
pkgs/development/coq-modules/StructTact/default.nix
View File

@@ -23,7 +23,7 @@ stdenv.mkDerivation {
preConfigure = "patchShebangs ./configure";
installFlags = "COQLIB=$(out)/lib/coq/${coq.coq-version}/";
installFlags = [ "COQLIB=$(out)/lib/coq/${coq.coq-version}/" ];
passthru = {
compatibleCoqVersions = v: stdenv.lib.versionAtLeast v "8.5";

2
pkgs/development/coq-modules/Verdi/default.nix
View File

@@ -29,7 +29,7 @@ stdenv.mkDerivation {
preConfigure = "patchShebangs ./configure";
installFlags = "COQLIB=$(out)/lib/coq/${coq.coq-version}/";
installFlags = [ "COQLIB=$(out)/lib/coq/${coq.coq-version}/" ];
passthru = {
compatibleCoqVersions = v: builtins.elem v [ "8.6" "8.7" "8.8" "8.9" ];

2
pkgs/development/coq-modules/autosubst/default.nix
View File

@@ -16,7 +16,7 @@ stdenv.mkDerivation rec {
patches = [./0001-changes-to-work-with-Coq-8.6.patch];
installFlags = "COQLIB=$(out)/lib/coq/${coq.coq-version}/";
installFlags = [ "COQLIB=$(out)/lib/coq/${coq.coq-version}/" ];
meta = with stdenv.lib; {
homepage = https://www.ps.uni-saarland.de/autosubst/;

2
pkgs/development/coq-modules/bignums/default.nix
View File

@@ -37,7 +37,7 @@ stdenv.mkDerivation {
buildInputs = with coq.ocamlPackages; [ ocaml camlp5 findlib coq ];
installFlags = "COQLIB=$(out)/lib/coq/${coq.coq-version}/";
installFlags = [ "COQLIB=$(out)/lib/coq/${coq.coq-version}/" ];
meta = with stdenv.lib; {
license = licenses.lgpl2;

2
pkgs/development/coq-modules/coq-elpi/default.nix
View File

@@ -22,7 +22,7 @@ stdenv.mkDerivation rec {
nativeBuildInputs = [ which ];
buildInputs = [ coq coq.ocaml ] ++ (with coq.ocamlPackages; [ findlib elpi ]);
installFlags = "COQLIB=$(out)/lib/coq/${coq.coq-version}/";
installFlags = [ "COQLIB=$(out)/lib/coq/${coq.coq-version}/" ];
meta = {
description = "Coq plugin embedding ELPI.";

2
pkgs/development/coq-modules/coq-ext-lib/default.nix
View File

@@ -28,7 +28,7 @@ stdenv.mkDerivation rec {
enableParallelBuilding = true;
installFlags = "COQLIB=$(out)/lib/coq/${coq.coq-version}/";
installFlags = [ "COQLIB=$(out)/lib/coq/${coq.coq-version}/" ];
meta = with stdenv.lib; {
homepage = https://github.com/coq-ext-lib/coq-ext-lib;

2
pkgs/development/coq-modules/coqprime/default.nix
View File

@@ -34,7 +34,7 @@ stdenv.mkDerivation rec {
propagatedBuildInputs = [ bignums ];
installFlags = "COQLIB=$(out)/lib/coq/${coq.coq-version}/";
installFlags = [ "COQLIB=$(out)/lib/coq/${coq.coq-version}/" ];
meta = with stdenv.lib; {
description = "Library to certify primality using Pocklington certificate and Elliptic Curve Certificate";

2
pkgs/development/coq-modules/corn/default.nix
View File

@@ -21,7 +21,7 @@ stdenv.mkDerivation rec {
enableParallelBuilding = true;
installFlags = "COQLIB=$(out)/lib/coq/${coq.coq-version}/";
installFlags = [ "COQLIB=$(out)/lib/coq/${coq.coq-version}/" ];
meta = {
homepage = http://c-corn.github.io/;

8
pkgs/development/coq-modules/dpdgraph/default.nix
View File

@@ -41,10 +41,10 @@ stdenv.mkDerivation {
mkdir -p $out/bin
'';
installFlags = ''
COQLIB=$(out)/lib/coq/${coq.coq-version}/
BINDIR=$(out)/bin
'';
installFlags = [
"COQLIB=$(out)/lib/coq/${coq.coq-version}/"
"BINDIR=$(out)/bin"
];
meta = {
description = "Build dependency graphs between Coq objects";

2
pkgs/development/coq-modules/equations/default.nix
View File

@@ -51,7 +51,7 @@ stdenv.mkDerivation rec {
preBuild = "coq_makefile -f _CoqProject -o Makefile";
installFlags = "COQLIB=$(out)/lib/coq/${coq.coq-version}/";
installFlags = [ "COQLIB=$(out)/lib/coq/${coq.coq-version}/" ];
meta = with stdenv.lib; {
homepage = https://mattam82.github.io/Coq-Equations/;

2
pkgs/development/coq-modules/heq/default.nix
View File

@@ -15,7 +15,7 @@ stdenv.mkDerivation rec {
preBuild = "cd src";
installFlags = "COQLIB=$(out)/lib/coq/${coq.coq-version}";
installFlags = [ "COQLIB=$(out)/lib/coq/${coq.coq-version}" ];
meta = with stdenv.lib; {
homepage = https://www.mpi-sws.org/~gil/Heq/;

2
pkgs/development/coq-modules/ltac2/default.nix
View File

@@ -41,7 +41,7 @@ stdenv.mkDerivation rec {
coq.ocamlPackages.camlp5
;
installFlags = "COQLIB=$(out)/lib/coq/${coq.coq-version}/";
installFlags = [ "COQLIB=$(out)/lib/coq/${coq.coq-version}/" ];
meta = {
description = "A robust and expressive tactic language for Coq";

2
pkgs/development/coq-modules/math-classes/default.nix
View File

@@ -14,7 +14,7 @@ stdenv.mkDerivation rec {
buildInputs = [ coq bignums ];
enableParallelBuilding = true;
installFlags = "COQLIB=$(out)/lib/coq/${coq.coq-version}/";
installFlags = [ "COQLIB=$(out)/lib/coq/${coq.coq-version}/" ];
meta = with stdenv.lib; {
homepage = https://math-classes.github.io;

4
pkgs/development/coq-modules/mathcomp/extra.nix
View File

@@ -74,7 +74,7 @@ versions = {
core-deps = with coqPackages; [ mathcomp-field_1_9 ];
extra-deps = with coqPackages; [ mathcomp_1_9-bigenough ];
};
};
};
"1.8.0" = {
finmap.version = "1.2.1";
bigenough.version = "1.0.0";
@@ -154,7 +154,7 @@ packageGen = {
propagatedBuildInputs = [ coq ] ++ mc-core-deps ++ extra-deps;
installFlags = "-f Makefile.coq COQLIB=$(out)/lib/coq/${coq.coq-version}/";
installFlags = [ "-f" "Makefile.coq" "COQLIB=$(out)/lib/coq/${coq.coq-version}/" ];
meta = {
inherit description;

2
pkgs/development/coq-modules/paramcoq/default.nix
View File

@@ -32,7 +32,7 @@ stdenv.mkDerivation rec {
++ (with coq.ocamlPackages; [ ocaml findlib camlp5 ])
;
installFlags = "COQLIB=$(out)/lib/coq/${coq.coq-version}/";
installFlags = [ "COQLIB=$(out)/lib/coq/${coq.coq-version}/" ];
passthru = {
compatibleCoqVersions = v: builtins.hasAttr v params;

2
pkgs/development/coq-modules/tlc/default.nix
View File

@@ -11,7 +11,7 @@ stdenv.mkDerivation rec {
buildInputs = [ coq ];
installFlags = "CONTRIB=$(out)/lib/coq/${coq.coq-version}/user-contrib";
installFlags = [ "CONTRIB=$(out)/lib/coq/${coq.coq-version}/user-contrib" ];
meta = {
homepage = "http://www.chargueraud.org/softs/tlc/";