add circt tools

This commit is contained in:
Felix Suchert 2023-03-15 16:10:45 +01:00
parent 6c820a3ae5
commit b76a4599de
Signed by: feliix42
GPG key ID: 24363525EA0E8A99
3 changed files with 16 additions and 12 deletions

View file

@ -230,6 +230,7 @@ in
# provided by my own overlay
mlir
circt
## I heard you like man pages?
man-pages
@ -241,7 +242,9 @@ in
gitAndTools.gitui
## terminal, browsers, text editing, note taking
alacritty
vscodium
# doesn't support the MLIR tooling from the marketplace :(
#unstable.vscodium
vscode
neovim
ghostwriter
firefox-wayland

View file

@ -7,27 +7,27 @@
]
},
"locked": {
"lastModified": 1674815343,
"narHash": "sha256-M+ZzNzz3NXq+8ofYT6zCR17fyWm1VwBIpB/k0xUoT38=",
"lastModified": 1678827852,
"narHash": "sha256-V8+w7LI9LWIShDV+bD4bEBmemM4tpJv9U5JNe+71LJk=",
"owner": "Feliix42",
"repo": "mlir.nix",
"rev": "904defc1d01a7987ca4d0efe4f63489bca7a4b0f",
"rev": "dec3d6103757d4cdb9ea81162cfbc99fc3befd56",
"type": "github"
},
"original": {
"owner": "Feliix42",
"ref": "main",
"ref": "circt",
"repo": "mlir.nix",
"type": "github"
}
},
"nixos-hardware": {
"locked": {
"lastModified": 1677591639,
"narHash": "sha256-DMlAyge+u3K+JOFLA5YfdjqagdAYJf29YGBWpy5izg4=",
"lastModified": 1678397099,
"narHash": "sha256-5xq8YJe+h19TlD+EI4AE/3H3jcCcQ2AWU6CWBVc5tRc=",
"owner": "NixOS",
"repo": "nixos-hardware",
"rev": "77de4cd09db4dbee9551ed2853cfcf113d7dc5ce",
"rev": "556101ff85bd6e20900ec73ee525b935154bc8ea",
"type": "github"
},
"original": {
@ -39,11 +39,11 @@
},
"nixpkgs": {
"locked": {
"lastModified": 1677624842,
"narHash": "sha256-4DF9DbDuK4/+KYx0L6XcPBeDHUFVCtzok2fWtwXtb5w=",
"lastModified": 1678761643,
"narHash": "sha256-tapXZvg6Kg5Fm7Fm6i+7cRC5Exp2lX7cgMrqsfrGhuc=",
"owner": "NixOS",
"repo": "nixpkgs",
"rev": "d70f5cd5c3bef45f7f52698f39e7cc7a89daa7f0",
"rev": "c4aec3c021620d98861639946123214207e98344",
"type": "github"
},
"original": {

View file

@ -9,7 +9,8 @@
#inputs.nixpkgs.follows = "nixpkgs";
#};
mlir = {
url = "github:Feliix42/mlir.nix/main";
#url = "github:Feliix42/mlir.nix/main";
url = "github:Feliix42/mlir.nix/circt";
inputs.nixpkgs.follows = "nixpkgs";
};
};