add extra-math

2024-09-06 13:53:49 +02:00 · 2024-09-06 13:53:49 +02:00 · 428cdfbf1f
commit 428cdfbf1f
parent bcad87b56a
2 changed files with 9 additions and 1 deletions
--- a/default.nix
+++ b/default.nix
@ -1,11 +1,13 @@
 {
  nixpkgs,
+  extra-math,
  rand-testsuite-prs,
  rust-template-prs,
 }: let
  pkgs = import nixpkgs {};
  prs = with pkgs.lib;
    concatLists (map (f: attrValues (builtins.fromJSON (builtins.readFile f))) [
+      extra-math
      rand-testsuite-prs
      rust-template-prs
    ]);
@ -96,6 +98,7 @@
          };
        };
      }) [
+        "extra_math"
        "rand_testsuite"
        "rust-template"
      ]);
--- a/spec.json
+++ b/spec.json
@ -35,6 +35,11 @@
            "value": "ci",
            "emailresponsible": false
        },
+        "extra-math-prs": {
+            "type": "giteapulls",
+            "value": "git.chir.rs ProcyOS extra_math",
+            "emailresponsible": false
+        },
        "rand-testsuite-prs": {
            "type": "giteapulls",
            "value": "git.chir.rs ProcyOS rand_testsuite",