Add CI flag and pkgs for buildbot

diff --git a/modules/private/buildbot/projects/immaeEu/__init__.py b/modules/private/buildbot/projects/immaeEu/__init__.py
index cf64ad91966642ff2bc5324c882ecc2dd9a83ed2..ce6cdb1e0b5573d900ccdd9f3d50b41116659ada 100644 (file)
--- a/modules/private/buildbot/projects/immaeEu/__init__.py
+++ b/modules/private/buildbot/projects/immaeEu/__init__.py
@@ -149,7 +149,8 @@ def immae_eu_factory():
 
 def cours_factory():
     path_env = {
-            "PATH": os.environ["BUILDBOT_PATH_Cours"] + ":${PATH}"
+            "PATH": os.environ["BUILDBOT_PATH_Cours"] + ":${PATH}",
+            "CI": "yes"
             }
     factory = util.BuildFactory()
     factory.addStep(steps.Git(logEnviron=False, repourl=E.COURS_GIT_URL,

diff --git a/nix/sources.json b/nix/sources.json
index 09c44558285208a829e8e51868607bf54330b326..0680f76f72152811444ccbd7fa61a3deeb74089d 100644 (file)
--- a/nix/sources.json
+++ b/nix/sources.json
@@ -29,6 +29,24 @@
         "url": "https://github.com/NixOS/nixpkgs-channels/archive/ae6bdcc53584aaf20211ce1814bea97ece08a248.tar.gz",
         "url_template": "https://github.com/<owner>/<repo>/archive/<rev>.tar.gz"
     },
+    "nixpkgs-buildbot-cours": {
+        "description": "Frozen nixpkgs snapshot for texlive",
+        "revision": "173017.85f820d6e41",
+        "sha256": "0fs390gvz8d3n7v4zj538gf3n1b14sikbf0ijrxgxib5i0704mdb",
+        "type": "tarball",
+        "url": "https://releases.nixos.org/nixos/19.03/nixos-19.03.173017.85f820d6e41/nixexprs.tar.xz",
+        "url_template": "https://releases.nixos.org/nixos/<version>/nixos-<version>.<revision>/nixexprs.tar.xz",
+        "version": "19.03"
+    },
+    "nixpkgs-buildbot-normalesup": {
+        "description": "Frozen nixpkgs snapshot for texlive",
+        "revision": "173017.85f820d6e41",
+        "sha256": "0fs390gvz8d3n7v4zj538gf3n1b14sikbf0ijrxgxib5i0704mdb",
+        "type": "tarball",
+        "url": "https://releases.nixos.org/nixos/19.03/nixos-19.03.173017.85f820d6e41/nixexprs.tar.xz",
+        "url_template": "https://releases.nixos.org/nixos/<version>/nixos-<version>.<revision>/nixexprs.tar.xz",
+        "version": "19.03"
+    },
     "nixpkgs-nixops": {
         "branch": "nixos-unstable",
         "description": "A read-only mirror of NixOS/nixpkgs tracking the released channels. Send issues and PRs to",