diff --git a/nix/frama-c.nix b/nix/frama-c.nix
index 3f6a99533e46a339044100944bac921d7994c616..a5668ac01487cfcf4e6975cc4954ee5a8e8ae27c 100644
--- a/nix/frama-c.nix
+++ b/nix/frama-c.nix
@@ -69,6 +69,11 @@ stdenv.mkDerivation rec {
     autoconf
   '';
 
+  buildPhase = ''
+    make config.sed
+    dune build --display short @install
+  '';
+
   installFlags = [
     "FRAMAC_INSTALLDIR=$(out)"
   ];