diff --git a/nix/default.nix b/nix/default.nix index 769c6bbebccc9aa01fe1e119a72ca7c3c109dee9..03228dd27a436ab8cc3b5fb1d6c640af04df9fd9 100644 --- a/nix/default.nix +++ b/nix/default.nix @@ -236,8 +236,10 @@ pkgs.lib.makeExtensible true ''; buildPhase = '' + make clean_share_link + make create_share_link export CONFIGS="equality bitwise symblocs gauges octagon" - src/plugins/value/vtests + src/plugins/value/vtests -j 4 ''; installPhase = '' true