diff options
author | Merijn Broeren <merijnb@iloquent.com> | 2019-10-27 13:03:25 +0000 |
---|---|---|
committer | Jan Tojnar <jtojnar@gmail.com> | 2019-12-30 12:58:11 +0100 |
commit | 133103d7094c148bdc9152562b16c8872c44f345 (patch) | |
tree | 2ccef8bd86eff2104561da4eccdd41dd6776950b /pkgs/development/tools/analysis | |
parent | 08d5fc393457121b531417ee6c922e3ebee0187c (diff) | |
download | nixlib-133103d7094c148bdc9152562b16c8872c44f345.tar nixlib-133103d7094c148bdc9152562b16c8872c44f345.tar.gz nixlib-133103d7094c148bdc9152562b16c8872c44f345.tar.bz2 nixlib-133103d7094c148bdc9152562b16c8872c44f345.tar.lz nixlib-133103d7094c148bdc9152562b16c8872c44f345.tar.xz nixlib-133103d7094c148bdc9152562b16c8872c44f345.tar.zst nixlib-133103d7094c148bdc9152562b16c8872c44f345.zip |
treewide: replace make/build/configure/patchFlags with nix lists
Diffstat (limited to 'pkgs/development/tools/analysis')
-rw-r--r-- | pkgs/development/tools/analysis/ikos/default.nix | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/pkgs/development/tools/analysis/ikos/default.nix b/pkgs/development/tools/analysis/ikos/default.nix index 6f3df32f3c04..a882d158f32d 100644 --- a/pkgs/development/tools/analysis/ikos/default.nix +++ b/pkgs/development/tools/analysis/ikos/default.nix @@ -23,7 +23,7 @@ stdenv.mkDerivation rec { buildInputs = [ cmake boost gmp clang llvm sqlite python ocamlPackages.apron mpfr ppl doxygen graphviz ]; - cmakeFlags = "-DAPRON_ROOT=${ocamlPackages.apron}"; + cmakeFlags = [ "-DAPRON_ROOT=${ocamlPackages.apron}" ]; postBuild = "make doc"; |