1
0
mirror of https://github.com/ellmau/adf-obdd.git synced 2025-12-19 09:29:36 +01:00

Delete flake.nix~

This commit is contained in:
Stefan Ellmauthaler 2021-11-12 14:17:25 +01:00 committed by GitHub
parent 0627301935
commit 591f95519c
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -1,42 +0,0 @@
{
description = "d2sgraph - a program to show the graphs (based on d2sparql)";
inputs = {
nixpkgs.url = "github:NixOS/nixpkgs/nixos-21.05";
rust-overlay.url = "github:oxalica/rust-overlay";
flake-utils.url = "github:numtide/flake-utils";
flake-compat = {
url = "github:edolstra/flake-compat";
flake = false;
};
gitignoresrc = {
url = "github:hercules-ci/gitignore.nix";
flake = false;
};
};
outputs = { self, nixpkgs, flake-utils, flake-compat, gitignoresrc, rust-overlay, ... }@inputs:
{
#overlay = import ./nix { inherit gitignoresrc; };
} // (flake-utils.lib.eachDefaultSystem (system:
let
pkgs = import nixpkgs {
inherit system;
overlays = [ (import rust-overlay)];
};
in
rec {
devShell =
pkgs.mkShell {
buildInputs = [
pkgs.rust-bin.stable.latest.default
pkgs.rust-analyzer
pkgs.cargo-audit
pkgs.cargo-license
pkgs.graphviz
pkgs.clingo
];
};
}
));
}