A database of categories
| Revision | 7f4506952b520f6489f1909fb22fdbe5b993a71c (tree) |
|---|---|
| Time | 2023-12-05 12:30:16 |
| Author | Corbin <cds@corb...> |
| Commiter | Corbin |
Switch from nix-shell to a proper flake.
flake.lock (diff) flake.nix (diff) shell.nix| @@ -0,0 +1,59 @@ | ||
| 1 | +{ | |
| 2 | + "nodes": { | |
| 3 | + "flake-utils": { | |
| 4 | + "inputs": { | |
| 5 | + "systems": "systems" | |
| 6 | + }, | |
| 7 | + "locked": { | |
| 8 | + "lastModified": 1701680307, | |
| 9 | + "narHash": "sha256-kAuep2h5ajznlPMD9rnQyffWG8EM/C73lejGofXvdM8=", | |
| 10 | + "owner": "numtide", | |
| 11 | + "repo": "flake-utils", | |
| 12 | + "rev": "4022d587cbbfd70fe950c1e2083a02621806a725", | |
| 13 | + "type": "github" | |
| 14 | + }, | |
| 15 | + "original": { | |
| 16 | + "owner": "numtide", | |
| 17 | + "repo": "flake-utils", | |
| 18 | + "type": "github" | |
| 19 | + } | |
| 20 | + }, | |
| 21 | + "nixpkgs": { | |
| 22 | + "locked": { | |
| 23 | + "lastModified": 1701626906, | |
| 24 | + "narHash": "sha256-ugr1QyzzwNk505ICE4VMQzonHQ9QS5W33xF2FXzFQ00=", | |
| 25 | + "owner": "NixOS", | |
| 26 | + "repo": "nixpkgs", | |
| 27 | + "rev": "0c6d8c783336a59f4c59d4a6daed6ab269c4b361", | |
| 28 | + "type": "github" | |
| 29 | + }, | |
| 30 | + "original": { | |
| 31 | + "id": "nixpkgs", | |
| 32 | + "type": "indirect" | |
| 33 | + } | |
| 34 | + }, | |
| 35 | + "root": { | |
| 36 | + "inputs": { | |
| 37 | + "flake-utils": "flake-utils", | |
| 38 | + "nixpkgs": "nixpkgs" | |
| 39 | + } | |
| 40 | + }, | |
| 41 | + "systems": { | |
| 42 | + "locked": { | |
| 43 | + "lastModified": 1681028828, | |
| 44 | + "narHash": "sha256-Vy1rq5AaRuLzOxct8nz4T6wlgyUR7zLU309k9mBC768=", | |
| 45 | + "owner": "nix-systems", | |
| 46 | + "repo": "default", | |
| 47 | + "rev": "da67096a3b9bf56a91d16901293e51ba5b49a27e", | |
| 48 | + "type": "github" | |
| 49 | + }, | |
| 50 | + "original": { | |
| 51 | + "owner": "nix-systems", | |
| 52 | + "repo": "default", | |
| 53 | + "type": "github" | |
| 54 | + } | |
| 55 | + } | |
| 56 | + }, | |
| 57 | + "root": "root", | |
| 58 | + "version": 7 | |
| 59 | +} |
| @@ -0,0 +1,26 @@ | ||
| 1 | +{ | |
| 2 | + description = "Database of category theory"; | |
| 3 | + | |
| 4 | + inputs.flake-utils.url = "github:numtide/flake-utils"; | |
| 5 | + | |
| 6 | + outputs = { self, nixpkgs, flake-utils }: | |
| 7 | + flake-utils.lib.eachDefaultSystem (system: | |
| 8 | + let | |
| 9 | + pkgs = import nixpkgs { inherit system; }; | |
| 10 | + datasette-publish-fly = pkgs.python310.pkgs.callPackage ./datasette-publish-fly.nix {}; | |
| 11 | + py = (pkgs.python310.withPackages (ps: [ | |
| 12 | + ps.datasette ps.datasette-template-sql datasette-publish-fly | |
| 13 | + ])); | |
| 14 | + in { | |
| 15 | + devShells.default = pkgs.mkShell { | |
| 16 | + buildInputs = with pkgs; [ | |
| 17 | + py | |
| 18 | + sqlite sqlitebrowser | |
| 19 | + graphviz | |
| 20 | + pandoc | |
| 21 | + keychain | |
| 22 | + flyctl | |
| 23 | + ]; | |
| 24 | + }; | |
| 25 | + }); | |
| 26 | +} |
| @@ -1,17 +0,0 @@ | ||
| 1 | -{ nixpkgs ? import <nixpkgs> {} }: | |
| 2 | -let | |
| 3 | - inherit (nixpkgs) pkgs; | |
| 4 | - datasette-publish-fly = pkgs.python38.pkgs.callPackage ./datasette-publish-fly.nix {}; | |
| 5 | -in pkgs.stdenv.mkDerivation { | |
| 6 | - name = "catabase-env"; | |
| 7 | - buildInputs = with pkgs; [ | |
| 8 | - (python38.withPackages (ps: [ | |
| 9 | - ps.datasette ps.datasette-template-sql datasette-publish-fly | |
| 10 | - ])) | |
| 11 | - sqlite sqlitebrowser | |
| 12 | - graphviz | |
| 13 | - pandoc | |
| 14 | - keychain | |
| 15 | - flyctl | |
| 16 | - ]; | |
| 17 | -} |
Fork