Skip to content

Instantly share code, notes, and snippets.

@nothingnesses
Last active May 26, 2023 15:17
Show Gist options
  • Save nothingnesses/113283b36f36ad863fa92bfd5f598849 to your computer and use it in GitHub Desktop.
Save nothingnesses/113283b36f36ad863fa92bfd5f598849 to your computer and use it in GitHub Desktop.
HVM new flake.nix
{
description = "A massively parallel functional runtime.";
inputs = {
devenv = {
inputs.flake-compat.follows = "flake-compat";
inputs.nixpkgs.follows = "nixpkgs";
url = "github:cachix/devenv";
};
flake-compat = {
flake = false;
url = "github:edolstra/flake-compat";
};
flake-parts = {
inputs.nixpkgs-lib.follows = "nixpkgs";
url = "github:hercules-ci/flake-parts";
};
nci = {
inputs.nixpkgs.follows = "nixpkgs";
url = "github:yusdacra/nix-cargo-integration";
};
nix-filter.url = "github:numtide/nix-filter";
nixpkgs.url = "github:nixos/nixpkgs/nixos-unstable";
};
outputs = inputs:
inputs.flake-parts.lib.mkFlake { inherit inputs; } {
# debug = true;
imports = builtins.map (item: inputs.${item}.flakeModule) ["devenv" "nci"];
perSystem = { config, self', inputs', pkgs, system, ... }: let
crate_name = "hvm";
crate_outputs = config.nci.outputs.${crate_name};
nix-filter = import inputs.nix-filter;
override.overrideAttrs = old: {buildInputs = (old.buildInputs or []) ++ pkgs.lib.attrsets.attrVals ["openssl" "pkg-config"] pkgs;};
in {
devenv.shells.default = {
languages = {
javascript.enable = true;
rust.enable = true;
haskell.enable = true;
};
packages = [config.packages.default];
};
nci.projects.${crate_name}.relPath = nix-filter {
root = ./.;
include = ["Cargo.lock" "Cargo.toml" "rust-toolchain.toml" "src"];
};
nci.crates.${crate_name} = {
depsOverrides = {inherit override;};
export = true;
overrides = {inherit override;};
profiles.release.runTests = false;
runtimeLibs = pkgs.lib.attrsets.attrVals ["openssl"] pkgs;
};
packages.default = crate_outputs.packages.release;
};
systems = [ "x86_64-linux" "aarch64-darwin" ];
};
}
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment