aboutsummaryrefslogtreecommitdiff
path: root/flake.nix
diff options
context:
space:
mode:
authorMalte Voos <git@mal.tc>2024-02-16 00:43:04 +0100
committerMalte Voos <git@mal.tc>2024-02-16 00:43:04 +0100
commit06d52c8ba30b1bd6e1174ebffbd6cc5ba668ecc2 (patch)
treec558e81d84fd12ef66e99c558e5b7dd1322e5c03 /flake.nix
parent2bc6cae2458ba5f9573985791536618a00cbed8a (diff)
downloadtoytt-06d52c8ba30b1bd6e1174ebffbd6cc5ba668ecc2.tar.gz
toytt-06d52c8ba30b1bd6e1174ebffbd6cc5ba668ecc2.zip
basic lexer and parser
Diffstat (limited to 'flake.nix')
-rw-r--r--flake.nix11
1 files changed, 8 insertions, 3 deletions
diff --git a/flake.nix b/flake.nix
index fa15c13..6be9e8b 100644
--- a/flake.nix
+++ b/flake.nix
@@ -1,13 +1,18 @@
{
inputs = {
+ nixpkgs.url = "github:NixOS/nixpkgs/nixos-unstable";
opam-repository = {
url = "github:ocaml/opam-repository";
flake = false;
};
- opam-nix.url = "github:tweag/opam-nix";
- opam-nix.inputs.opam-repository.follows = "opam-repository";
+ opam-nix = {
+ url = "github:tweag/opam-nix";
+ inputs = {
+ nixpkgs.follows = "nixpkgs";
+ opam-repository.follows = "opam-repository";
+ };
+ };
flake-utils.url = "github:numtide/flake-utils";
- nixpkgs.follows = "opam-nix/nixpkgs";
};
outputs = { flake-utils, opam-nix, nixpkgs, ... }: