ellmau/adf-obdd
1
0
Fork 0
mirror of https://github.com/ellmau/adf-obdd.git synced 2025-12-19 09:29:36 +01:00
Code Issues Projects Releases Wiki Activity

Update Flake to nix 22.05

Browse Source
This commit is contained in:
Stefan Ellmauthaler 2022-06-17 14:14:53 +02:00
parent ced0b3aea3
commit 670a604fc4
Failed to extract signature
1 changed files with 12 additions and 8 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

20
flake.nix
View File

@ -2,21 +2,23 @@
description = "basic rust flake"; description = "basic rust flake";
inputs = { inputs = {
nixpkgs.url = "github:NixOS/nixpkgs/nixos-21.11"; nixpkgs.url = "github:NixOS/nixpkgs/nixos-22.05";
nixpkgs-unstable.url = "github:NixOS/nixpkgs/nixos-unstable"; nixpkgs-unstable.url = "github:NixOS/nixpkgs/nixos-unstable";
rust-overlay.url = "github:oxalica/rust-overlay"; rust-overlay = {
flake-utils.url = "github:numtide/flake-utils"; url = "github:oxalica/rust-overlay";
flake-compat = { inputs = {
url = "github:edolstra/flake-compat"; nixpkgs.follows = "nixpkgs";
flake = false; flake-utils.follows = "flake-utils";
}; };
};
flake-utils.url = "github:numtide/flake-utils";
gitignoresrc = { gitignoresrc = {
url = "github:hercules-ci/gitignore.nix"; url = "github:hercules-ci/gitignore.nix";
flake = false; flake = false;
}; };
}; };
outputs = { self, nixpkgs, nixpkgs-unstable, flake-utils, flake-compat, gitignoresrc, rust-overlay, ... }@inputs: outputs = { self, nixpkgs, nixpkgs-unstable, flake-utils, gitignoresrc, rust-overlay, ... }@inputs:
{ {
#overlay = import ./nix { inherit gitignoresrc; }; #overlay = import ./nix { inherit gitignoresrc; };
} // (flake-utils.lib.eachDefaultSystem (system: } // (flake-utils.lib.eachDefaultSystem (system:
@ -35,11 +37,13 @@
buildInputs = [ buildInputs = [
pkgs.rust-bin.nightly.latest.rustfmt pkgs.rust-bin.nightly.latest.rustfmt
pkgs.rust-bin.stable.latest.default pkgs.rust-bin.stable.latest.default
unstable.rust-analyzer pkgs.rust-analyzer
pkgs.cargo-audit pkgs.cargo-audit
pkgs.cargo-license pkgs.cargo-license
pkgs.cargo-tarpaulin pkgs.cargo-tarpaulin
pkgs.cargo-kcov pkgs.cargo-kcov
pkgs.valgrind
pkgs.gnuplot
pkgs.kcov pkgs.kcov
]; ];
}; };