why3.withProvers: fix #168644

2022-05-19 00:09:30 +02:00
parent 4ca72ffe4e
commit 6e3a86f2f7
1 changed files with 1 additions and 1 deletions
@@ -27,6 +27,6 @@ stdenv.mkDerivation {

  installPhase = ''
    mkdir -p $out/bin
-    makeWrapper ${why3}/bin/why3 $out/bin/why3 --add-flags "--extra-config $out/share/why3/why3.conf"
+    makeWrapper ${why3}/bin/why3 $out/bin/why3 --add-flags "--config $out/share/why3/why3.conf"
  '';
 }