Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Add support for building with Nix #797

Closed
wants to merge 4 commits into from
Closed
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
217 changes: 217 additions & 0 deletions flake.lock

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

113 changes: 113 additions & 0 deletions flake.nix
Original file line number Diff line number Diff line change
@@ -0,0 +1,113 @@
{
inputs = {
nixpkgs.url = "github:nixos/nixpkgs";
opam-nix.url = "github:tweag/opam-nix";
hillingar.url = "github:RyanGibb/hillingar";

hillingar.inputs.opam-nix.follows = "opam-nix";

# maintain different repositories to those pinned in upstream repositories
opam-repository = {
url = "github:ocaml/opam-repository";
flake = false;
};
opam-overlays = {
url = "github:dune-universe/opam-overlays";
flake = false;
};
opam-nix.inputs.opam-repository.follows = "opam-repository";
opam-nix.inputs.opam-overlays.follows = "opam-overlays";
hillingar.inputs.opam-repository.follows = "opam-repository";
hillingar.inputs.opam-overlays.follows = "opam-overlays";

# follow this flake's nixpkgs
# useful if pinning nixos system nixpkgs with
# `nix.registry.nixpkgs.flake = nixpkgs;`
opam-nix.inputs.nixpkgs.follows = "nixpkgs";
hillingar.inputs.nixpkgs.follows = "nixpkgs";

# deduplicate flakes
flake-utils.url = "github:numtide/flake-utils";
hillingar.inputs.flake-utils.follows = "flake-utils";
opam-nix.inputs.flake-utils.follows = "flake-utils";
opam2json.url = "github:tweag/opam2json";
opam2json.inputs.nixpkgs.follows = "nixpkgs";
hillingar.inputs.opam2json.follows = "opam2json";
opam-nix.inputs.opam2json.follows = "opam2json";
};

outputs = { self, nixpkgs, flake-utils, opam-nix, hillingar, ... }:
flake-utils.lib.eachDefaultSystem (system:
let
pkgs = nixpkgs.legacyPackages.${system};
opam-nix-lib = opam-nix.lib.${system};
query = {
# find non-trunk version https://github.com/tweag/opam-nix/issues/35
ocaml-base-compiler = "*";
mirage = "4.3.3";
};
queryForOverlay = {
ke = "*";
mirage-crypto-rng = "0.10.7";
};
overlay = final: prev: {
# dream-httpaf is vendored in dream, so we don't detect dream's depdnancy on gluten and gluten's depenancy on ke
"dream-httpaf" = prev."dream-httpaf".overrideAttrs (oa: {
buildInputs = oa.buildInputs ++ [ prev.ke ];
});
# dream uses mirage-crypto-rng.wt, so we need mirage-crypto-rng.0.10.7 before lwt was split
"dream" = prev."dream".overrideAttrs (oa: {
buildInputs = oa.buildInputs ++ [ prev.mirage-crypto-rng ];
});
# uses https://github.com/NixOS/nixpkgs/pull/159564
"tailwindcss" = pkgs.nodePackages.tailwindcss.overrideAttrs (oldAttrs: {
plugins = [
pkgs.nodePackages."@tailwindcss/typography"
];
});
};

devPackagesQuery = {
ocaml-lsp-server = "*";
ocamlformat = "*";
};
scope =
let scope = opam-nix-lib.buildOpamProject' { } ./. (query // devPackagesQuery // queryForOverlay); in
scope.overrideScope' overlay;

unikernel = let
mirage-nix = (hillingar.lib.${system});
inherit (mirage-nix) mkUnikernelPackages;
in
mkUnikernelPackages {
unikernelName = "www";
mirageDir = "mirage";
# depexts for ocaml-gmp
depexts = with pkgs; [ opam gnum4 ];
monorepoQuery = {
# isn't picked up by `opam admin list`
gmp = "*";

# workaround https://github.com/RyanGibb/hillingar/issues/3
ptime = "1.0.0+dune"; # ptime 1.1.0 doesn't have an overlay
omd = "1.3.2"; # omd.2.0.0 introduces a dependancy on non-dune uunf
};
queryArgs.overlays = opam-nix-lib.__overlays ++ [ overlay ];
query = query // queryForOverlay;
} self;
in {
packages = { inherit scope unikernel; };

defaultPackage = self.packages.${system}.scope.mirageio-bin;

devShells.default =
let
devPackages = builtins.attrValues
(pkgs.lib.getAttrs (builtins.attrNames devPackagesQuery) scope);
in pkgs.mkShell {
inputsFrom = [ scope.mirageio-bin ];
buildInputs = devPackages;
};
}
);
}