diff options
author | Sandro <sandro.jaeckel@gmail.com> | 2022-05-19 11:25:24 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2022-05-19 11:25:24 +0200 |
commit | ed58443645be1761a86b9251d596b18ad1839372 (patch) | |
tree | a65c74a919dc6d0b3f3ec2ad15412ea46ac24c9a /pkgs/applications/science/logic | |
parent | f5da52e7834f1eb5e0a685cedbac635c5b475538 (diff) | |
parent | cf7476804a3f29e446a5aece77e60b64d15182c5 (diff) |
Merge pull request #173172 from Artturin/deprecatestringconf
stdenv: start deprecating non-list configureFlags
Diffstat (limited to 'pkgs/applications/science/logic')
-rw-r--r-- | pkgs/applications/science/logic/alt-ergo/default.nix | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/pkgs/applications/science/logic/alt-ergo/default.nix b/pkgs/applications/science/logic/alt-ergo/default.nix index 096a648b4ddf0..0767c58bdea1e 100644 --- a/pkgs/applications/science/logic/alt-ergo/default.nix +++ b/pkgs/applications/science/logic/alt-ergo/default.nix @@ -17,7 +17,7 @@ in let alt-ergo-lib = ocamlPackages.buildDunePackage rec { pname = "alt-ergo-lib"; inherit version src useDune2; - configureFlags = pname; + configureFlags = [ pname ]; nativeBuildInputs = [ which ]; buildInputs = with ocamlPackages; [ dune-configurator ]; propagatedBuildInputs = with ocamlPackages; [ num ocplib-simplex stdlib-shims zarith ]; @@ -26,7 +26,7 @@ let alt-ergo-lib = ocamlPackages.buildDunePackage rec { let alt-ergo-parsers = ocamlPackages.buildDunePackage rec { pname = "alt-ergo-parsers"; inherit version src useDune2; - configureFlags = pname; + configureFlags = [ pname ]; nativeBuildInputs = [ which ocamlPackages.menhir ]; propagatedBuildInputs = [ alt-ergo-lib ] ++ (with ocamlPackages; [ camlzip psmt2-frontend ]); }; in @@ -35,7 +35,7 @@ ocamlPackages.buildDunePackage { inherit pname version src useDune2; - configureFlags = pname; + configureFlags = [ pname ]; nativeBuildInputs = [ which ocamlPackages.menhir ]; buildInputs = [ alt-ergo-parsers ocamlPackages.cmdliner ]; |