From 0d4bb4e90d9fa282a20e1c49ded954421d152b43 Mon Sep 17 00:00:00 2001 From: Marc Coquand Date: Thu, 16 May 2024 14:46:33 -0500 Subject: update flake.nix --- flake.nix | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'flake.nix') diff --git a/flake.nix b/flake.nix index 8e12969..1d741f7 100644 --- a/flake.nix +++ b/flake.nix @@ -55,11 +55,11 @@ src = ./.; buildInputs = devPackages; buildPhase = '' - dune build --profile-release + dune build --profile-release ''; installPhase = '' - cp _build/install/default/bin/stitch $out + cp _build/install/default/bin/stitch/bin/stitch $out ''; }; -- cgit v1.2.3