diff options
| author | nsfisis <nsfisis@gmail.com> | 2026-01-03 13:27:40 +0900 |
|---|---|---|
| committer | nsfisis <nsfisis@gmail.com> | 2026-01-03 13:27:40 +0900 |
| commit | c5d7583bd9febdbb70322c08fc4cacdf2c7d11e5 (patch) | |
| tree | 6657f991b85592b10d6641426c088d6b6256281a /flake.nix | |
| parent | b11ca3a10d6c3a229fcb83d3969f52f5e9e55d72 (diff) | |
| download | TaPL-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.nix | 21 |
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 ]; }; + } + ); +} |
