From 8dbf8014991bd7456dfa09b85f07c04086d70459 Mon Sep 17 00:00:00 2001 From: Marc Coquand Date: Fri, 17 May 2024 12:03:09 -0500 Subject: stuff --- flake.nix | 26 ++++++++------------------ 1 file changed, 8 insertions(+), 18 deletions(-) (limited to 'flake.nix') diff --git a/flake.nix b/flake.nix index c6d15f0..a51608b 100644 --- a/flake.nix +++ b/flake.nix @@ -33,9 +33,14 @@ ${package} = prev.${package}.overrideAttrs (_: { # Prevent the ocaml dependencies from leaking into dependent environments doNixSupport = false; - buildInputs = - [ pkgs."gmp" pkgs."libev" pkgs."openssl" pkgs."libargon2" ]; - DUNE_PROFILE = "release"; + buildInputs = [ + pkgs.glibc.static + pkgs.zlib.static + pkgs.binutils-unwrapped + pkgs.ocaml + pkgs.musl + pkgs.gcc + ]; }); }; scope' = scope.overrideScope' overlay; @@ -49,21 +54,6 @@ packages.default = main; - - defaultPackage = pkgs.stdenv.mkDerivation { - name = "stitch"; - src = ./.; - buildInputs = devPackages; - buildPhase = '' - dune build --profile release - ''; - - installPhase = '' - echo "building to $out" - cp _build/install/default/bin/stitch/ $out - ''; - }; - apps.stitch.default = { type = "app"; program = "${main}/bin/stitch"; -- cgit v1.2.3