aboutsummaryrefslogtreecommitdiffhomepage
path: root/flake.nix
diff options
context:
space:
mode:
authornsfisis <nsfisis@gmail.com>2026-01-03 13:27:40 +0900
committernsfisis <nsfisis@gmail.com>2026-01-03 13:27:40 +0900
commitc5d7583bd9febdbb70322c08fc4cacdf2c7d11e5 (patch)
tree6657f991b85592b10d6641426c088d6b6256281a /flake.nix
parentb11ca3a10d6c3a229fcb83d3969f52f5e9e55d72 (diff)
downloadTaPL-impls-c5d7583bd9febdbb70322c08fc4cacdf2c7d11e5.tar.gz
TaPL-impls-c5d7583bd9febdbb70322c08fc4cacdf2c7d11e5.tar.zst
TaPL-impls-c5d7583bd9febdbb70322c08fc4cacdf2c7d11e5.zip
set up nix flake
Diffstat (limited to 'flake.nix')
-rw-r--r--flake.nix21
1 files changed, 21 insertions, 0 deletions
diff --git a/flake.nix b/flake.nix
new file mode 100644
index 0000000..643d36b
--- /dev/null
+++ b/flake.nix
@@ -0,0 +1,21 @@
+{
+ description = "A basic flake with a shell";
+ inputs.nixpkgs.url = "github:NixOS/nixpkgs/nixpkgs-unstable";
+ inputs.systems.url = "github:nix-systems/default";
+ inputs.flake-utils = {
+ url = "github:numtide/flake-utils";
+ inputs.systems.follows = "systems";
+ };
+
+ outputs =
+ { nixpkgs, flake-utils, ... }:
+ flake-utils.lib.eachDefaultSystem (
+ system:
+ let
+ pkgs = nixpkgs.legacyPackages.${system};
+ in
+ {
+ devShells.default = pkgs.mkShell { packages = [ pkgs.ghc ]; };
+ }
+ );
+}