diff --git a/Makefile b/Makefile index 435544a1f55..fbcbc717732 100644 --- a/Makefile +++ b/Makefile @@ -37,7 +37,7 @@ test-bootstrap-script: .PHONY: release release: $(BIN) - @$(BIN) build @install -p dune --profile dune-bootstrap + @$(BIN) build dune.install -p dune --profile dune-bootstrap $(BIN): @ocaml boot/bootstrap.ml diff --git a/flake.nix b/flake.nix index 3c32f56996d..c274b0c785f 100644 --- a/flake.nix +++ b/flake.nix @@ -233,7 +233,6 @@ dune = (self.packages.${pkgs.stdenv.hostPlatform.system}.default).overrideAttrs { postPatch = '' echo '(version ${dune-version})' >> dune-project - sed -i '2a version: "${dune-version}"' opam/dune.opam ''; }; menhirPackages = import ./nix/menhir.nix {