From 64139f552bf39151a52284a16fe2f8348e6ea6a0 Mon Sep 17 00:00:00 2001
From: Giulio De Pasquale <git@depasquale.giugl.io>
Date: Fri, 17 Feb 2023 08:43:27 -0800
Subject: [PATCH] Added CodeQL flake

---
 codeql/samples/flake.nix | 24 ++++++++++++++++++++++++
 1 file changed, 24 insertions(+)
 create mode 100644 codeql/samples/flake.nix

diff --git a/codeql/samples/flake.nix b/codeql/samples/flake.nix
new file mode 100644
index 0000000..5b6ac3e
--- /dev/null
+++ b/codeql/samples/flake.nix
@@ -0,0 +1,24 @@
+{
+  inputs = {
+    nixpkgs.url = "github:nixos/nixpkgs/nixpkgs-unstable";
+    flake-utils.url = "github:numtide/flake-utils";
+  };
+
+  outputs = { self, nixpkgs, flake-utils }:
+    flake-utils.lib.eachDefaultSystem (system:
+      let
+        pkgs = import nixpkgs {
+          inherit system;
+          config.allowUnfree = true;
+        };
+        lib = pkgs.lib;
+
+        shellWithPkgs = buildInputs: pkgs.mkShell {
+          inherit buildInputs;
+        };
+      in
+      {
+        devShells.default = shellWithPkgs (lib.singleton pkgs.codeql);
+      });
+}
+