diff --git a/nix/default.nix b/nix/default.nix
index 8dab3661d4050956be2ff90d973290530146c553..17772aa310933da98b09b1fd94836cc89f2ceede 100644
--- a/nix/default.nix
+++ b/nix/default.nix
@@ -160,6 +160,7 @@ pkgs.lib.makeExtensible
 
   build-from-distrib-tarball = mk_deriv {
         name = "frama-c-build-from-distrib-tarball";
+        doCheck = true;
         buildInputs = self.buildInputs;
         opamPackages = self.build-distrib-tarball.opamPackages;
         src = self.build-distrib-tarball.out ;