harden/flake.nix

37 lines
923 B
Nix
Raw Normal View History

2023-02-17 16:43:27 +00:00
{
inputs = {
nixpkgs.url = "github:nixos/nixpkgs/nixpkgs-unstable";
cclyzerpp.url = "github:peperunas/cclyzerpp/flake";
2023-02-17 16:43:27 +00:00
flake-utils.url = "github:numtide/flake-utils";
};
outputs = { self, nixpkgs, flake-utils, cclyzerpp }:
2023-02-17 16:43:27 +00:00
flake-utils.lib.eachDefaultSystem (system:
let
pkgs = import nixpkgs {
inherit system;
config.allowUnfree = true;
};
2023-02-18 19:26:43 +00:00
shellWithPkgs = packages: pkgs.mkShell {
inherit packages;
2023-02-17 16:43:27 +00:00
};
cclyzer = cclyzerpp.defaultPackage.${system};
shell = with pkgs; shellWithPkgs [ codeql klee souffle cclyzer ];
2023-02-17 16:43:27 +00:00
in
{
packages = rec {
workbench = {
files_handling = pkgs.callPackage ./workbench/files_handling/default.nix { cclyzerpp = cclyzer; };
};
default = workbench.files_handling;
};
devShell = shell;
2023-02-17 16:43:27 +00:00
});
}
2023-02-17 17:12:11 +00:00