From efe45feea10551feda95d647dccecd973cfe5320 Mon Sep 17 00:00:00 2001 From: Marc Coquand Date: Thu, 16 May 2024 14:48:58 -0500 Subject: test --- flake.nix | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) (limited to 'flake.nix') diff --git a/flake.nix b/flake.nix index 1d741f7..c6d15f0 100644 --- a/flake.nix +++ b/flake.nix @@ -55,11 +55,12 @@ src = ./.; buildInputs = devPackages; buildPhase = '' - dune build --profile-release + dune build --profile release ''; installPhase = '' - cp _build/install/default/bin/stitch/bin/stitch $out + echo "building to $out" + cp _build/install/default/bin/stitch/ $out ''; }; -- cgit v1.2.3