aos/shell.nix
Daniel Schwyn 6d444bf552 Main handout
Signed-off-by: Daniel Schwyn <daniel.schwyn@inf.ethz.ch>
2022-03-03 14:57:51 +01:00

44 lines
1.1 KiB
Nix

# How to employ Nix to compose/deploy the build environment:
#
# 1. Get derivation path:
#
# $ STOREDRVPATH=$(nix-instantiate --no-build-output --cores 4 -E 'import ./shell.nix { closure-generation-mode = true; repo-commit-id="commit-id"; repo-commit-sha256="nix-hash"; }')
#
# 2. Export closure on the source host:
#
# $ nix-store --export $(nix-store --query --requisites --include-outputs ${STOREDRVPATH}) > ~/barrelfish.closure
#
# 3. Import closure on the target host (and transfer the value of STOREDRVPATH):
#
# $ nix-store --import barrelfish.closure
#
# 4. Enter shell :
#
# $ nix-shell ${STOREDRVPATH}
{ nixpkgs ? import <nixpkgs> {}
, ghc-version ? "ghc801"
, closure-generation-mode ? false
, propagate-deps ? closure-generation-mode
, use-repo-source ? closure-generation-mode
, repo-url ? ""
, repo-commit-id ? ""
, repo-commit-sha256 ? ""
}:
let
inherit (nixpkgs) pkgs;
f = import ./.; # your default.nix
in
pkgs.callPackage f {
haskell = pkgs.haskell;
inherit ghc-version;
inherit propagate-deps use-repo-source repo-url repo-commit-id repo-commit-sha256;
}