Automatic Update

input-output-hk · Nov 27, 2024 · 3a14852 · 3a14852
1 parent 1585be3
commit 3a14852
Show file tree

Hide file tree

Showing 24 changed files with 1,034 additions and 1 deletion.
diff --git a/default.nix b/default.nix
@@ -2977,6 +2977,11 @@ with builtins; mapAttrs (_: mapAttrs (_: data: rec {
   "bricks-rendering" = import ./nix/bricks-rendering.nix;
   "bricks-syntax" = import ./nix/bricks-syntax.nix;
   "brillig" = import ./nix/brillig.nix;
+  "brillo" = import ./nix/brillo.nix;
+  "brillo-algorithms" = import ./nix/brillo-algorithms.nix;
+  "brillo-examples" = import ./nix/brillo-examples.nix;
+  "brillo-juicy" = import ./nix/brillo-juicy.nix;
+  "brillo-rendering" = import ./nix/brillo-rendering.nix;
   "brittany" = import ./nix/brittany.nix;
   "broadcast-chan" = import ./nix/broadcast-chan.nix;
   "broadcast-chan-conduit" = import ./nix/broadcast-chan-conduit.nix;
@@ -17906,6 +17911,7 @@ with builtins; mapAttrs (_: mapAttrs (_: data: rec {
   "yices" = import ./nix/yices.nix;
   "yices-easy" = import ./nix/yices-easy.nix;
   "yices-painless" = import ./nix/yices-painless.nix;
+  "yield" = import ./nix/yield.nix;
   "yiyd" = import ./nix/yiyd.nix;
   "yj-sandbox" = import ./nix/yj-sandbox.nix;
   "yjftp" = import ./nix/yjftp.nix;

diff --git a/...age/brillo-1.13.3-r0-80ee5b6ec249128ed11b1c5acbcaaeb7dcd749d1d2a79aaf386461b584ea93a4.nix b/...age/brillo-1.13.3-r0-80ee5b6ec249128ed11b1c5acbcaaeb7dcd749d1d2a79aaf386461b584ea93a4.nix
@@ -0,0 +1,40 @@
+{ system
+  , compiler
+  , flags
+  , pkgs
+  , hsPkgs
+  , pkgconfPkgs
+  , errorHandler
+  , config
+  , ... }:
+  {
+    flags = {};
+    package = {
+      specVersion = "3.0";
+      identifier = { name = "brillo"; version = "1.13.3"; };
+      license = "MIT";
+      copyright = "";
+      maintainer = "[email protected]";
+      author = "Ben Lippmeier, Adrian Sieber";
+      homepage = "https://github.com/ad-si/Brillo";
+      url = "";
+      synopsis = "Painless 2D vector graphics, animations, and simulations powered by GLFW";
+      description = "Brillo hides the pain of drawing simple vector graphics\nbehind a nice data type and a few display functions.\nBrillo uses GLFW and OpenGL under the hood,\nbut you won't need to worry about any of that.\nGet something cool on the screen in under 10 minutes.";
+      buildType = "Simple";
+    };
+    components = {
+      "library" = {
+        depends = [
+          (hsPkgs."base" or (errorHandler.buildDepError "base"))
+          (hsPkgs."bmp" or (errorHandler.buildDepError "bmp"))
+          (hsPkgs."brillo-rendering" or (errorHandler.buildDepError "brillo-rendering"))
+          (hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring"))
+          (hsPkgs."containers" or (errorHandler.buildDepError "containers"))
+          (hsPkgs."ghc-prim" or (errorHandler.buildDepError "ghc-prim"))
+          (hsPkgs."GLFW-b" or (errorHandler.buildDepError "GLFW-b"))
+          (hsPkgs."OpenGL" or (errorHandler.buildDepError "OpenGL"))
+        ];
+        buildable = true;
+      };
+    };
+  }
diff --git a/...algorithms-1.13.3-r0-dd33a4195e6962e64ed88e46d6af8d7c8958e90d69d099cdc1080708e51f2c8b.nix b/...algorithms-1.13.3-r0-dd33a4195e6962e64ed88e46d6af8d7c8958e90d69d099cdc1080708e51f2c8b.nix
@@ -0,0 +1,36 @@
+{ system
+  , compiler
+  , flags
+  , pkgs
+  , hsPkgs
+  , pkgconfPkgs
+  , errorHandler
+  , config
+  , ... }:
+  {
+    flags = {};
+    package = {
+      specVersion = "3.0";
+      identifier = { name = "brillo-algorithms"; version = "1.13.3"; };
+      license = "MIT";
+      copyright = "";
+      maintainer = "[email protected]";
+      author = "Ben Lippmeier, Adrian Sieber";
+      homepage = "https://github.com/ad-si/Brillo";
+      url = "";
+      synopsis = "Data structures and algorithms for working with 2D graphics.";
+      description = "Data structures and algorithms for working with 2D graphics.";
+      buildType = "Simple";
+    };
+    components = {
+      "library" = {
+        depends = [
+          (hsPkgs."base" or (errorHandler.buildDepError "base"))
+          (hsPkgs."brillo" or (errorHandler.buildDepError "brillo"))
+          (hsPkgs."containers" or (errorHandler.buildDepError "containers"))
+          (hsPkgs."ghc-prim" or (errorHandler.buildDepError "ghc-prim"))
+        ];
+        buildable = true;
+      };
+    };
+  }
diff --git a/...o-examples-1.13.3-r0-aca00d768e5dbfe272dd86a79794a59c1c5b452f70973e38c6b6cfd1d0c1c2b3.nix b/...o-examples-1.13.3-r0-aca00d768e5dbfe272dd86a79794a59c1c5b452f70973e38c6b6cfd1d0c1c2b3.nix
@@ -0,0 +1,195 @@
+{ system
+  , compiler
+  , flags
+  , pkgs
+  , hsPkgs
+  , pkgconfPkgs
+  , errorHandler
+  , config
+  , ... }:
+  {
+    flags = { llvm = false; };
+    package = {
+      specVersion = "3.0";
+      identifier = { name = "brillo-examples"; version = "1.13.3"; };
+      license = "MIT";
+      copyright = "";
+      maintainer = "[email protected]";
+      author = "Ben Lippmeier, Adrian Sieber";
+      homepage = "https://github.com/ad-si/Brillo";
+      url = "";
+      synopsis = "Examples using the Brillo library";
+      description = "Examples using the Brillo graphics library.\nA mixed bag of fractals, particle simulations and cellular automata.";
+      buildType = "Simple";
+    };
+    components = {
+      exes = {
+        "brillo-bitmap" = {
+          depends = [
+            (hsPkgs."base" or (errorHandler.buildDepError "base"))
+            (hsPkgs."bmp" or (errorHandler.buildDepError "bmp"))
+            (hsPkgs."brillo" or (errorHandler.buildDepError "brillo"))
+            (hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring"))
+          ];
+          buildable = true;
+        };
+        "brillo-boids" = {
+          depends = [
+            (hsPkgs."base" or (errorHandler.buildDepError "base"))
+            (hsPkgs."brillo" or (errorHandler.buildDepError "brillo"))
+            (hsPkgs."random" or (errorHandler.buildDepError "random"))
+          ];
+          buildable = true;
+        };
+        "brillo-clock" = {
+          depends = [
+            (hsPkgs."base" or (errorHandler.buildDepError "base"))
+            (hsPkgs."brillo" or (errorHandler.buildDepError "brillo"))
+          ];
+          buildable = true;
+        };
+        "brillo-color" = {
+          depends = [
+            (hsPkgs."base" or (errorHandler.buildDepError "base"))
+            (hsPkgs."brillo" or (errorHandler.buildDepError "brillo"))
+            (hsPkgs."vector" or (errorHandler.buildDepError "vector"))
+          ];
+          buildable = true;
+        };
+        "brillo-conway" = {
+          depends = [
+            (hsPkgs."base" or (errorHandler.buildDepError "base"))
+            (hsPkgs."brillo" or (errorHandler.buildDepError "brillo"))
+            (hsPkgs."random" or (errorHandler.buildDepError "random"))
+            (hsPkgs."vector" or (errorHandler.buildDepError "vector"))
+          ];
+          buildable = true;
+        };
+        "brillo-draw" = {
+          depends = [
+            (hsPkgs."base" or (errorHandler.buildDepError "base"))
+            (hsPkgs."brillo" or (errorHandler.buildDepError "brillo"))
+          ];
+          buildable = true;
+        };
+        "brillo-easy" = {
+          depends = [
+            (hsPkgs."base" or (errorHandler.buildDepError "base"))
+            (hsPkgs."brillo" or (errorHandler.buildDepError "brillo"))
+          ];
+          buildable = true;
+        };
+        "brillo-eden" = {
+          depends = [
+            (hsPkgs."base" or (errorHandler.buildDepError "base"))
+            (hsPkgs."brillo" or (errorHandler.buildDepError "brillo"))
+            (hsPkgs."random" or (errorHandler.buildDepError "random"))
+          ];
+          buildable = true;
+        };
+        "brillo-flake" = {
+          depends = [
+            (hsPkgs."base" or (errorHandler.buildDepError "base"))
+            (hsPkgs."brillo" or (errorHandler.buildDepError "brillo"))
+          ];
+          buildable = true;
+        };
+        "brillo-gameevent" = {
+          depends = [
+            (hsPkgs."base" or (errorHandler.buildDepError "base"))
+            (hsPkgs."brillo" or (errorHandler.buildDepError "brillo"))
+          ];
+          buildable = true;
+        };
+        "brillo-hello" = {
+          depends = [
+            (hsPkgs."base" or (errorHandler.buildDepError "base"))
+            (hsPkgs."brillo" or (errorHandler.buildDepError "brillo"))
+          ];
+          buildable = true;
+        };
+        "brillo-lifespan" = {
+          depends = [
+            (hsPkgs."base" or (errorHandler.buildDepError "base"))
+            (hsPkgs."brillo" or (errorHandler.buildDepError "brillo"))
+            (hsPkgs."random" or (errorHandler.buildDepError "random"))
+          ];
+          buildable = true;
+        };
+        "brillo-machina" = {
+          depends = [
+            (hsPkgs."base" or (errorHandler.buildDepError "base"))
+            (hsPkgs."brillo" or (errorHandler.buildDepError "brillo"))
+          ];
+          buildable = true;
+        };
+        "brillo-occlusion" = {
+          depends = [
+            (hsPkgs."base" or (errorHandler.buildDepError "base"))
+            (hsPkgs."brillo" or (errorHandler.buildDepError "brillo"))
+            (hsPkgs."brillo-algorithms" or (errorHandler.buildDepError "brillo-algorithms"))
+          ];
+          buildable = true;
+        };
+        "brillo-styrene" = {
+          depends = [
+            (hsPkgs."base" or (errorHandler.buildDepError "base"))
+            (hsPkgs."brillo" or (errorHandler.buildDepError "brillo"))
+            (hsPkgs."containers" or (errorHandler.buildDepError "containers"))
+            (hsPkgs."ghc-prim" or (errorHandler.buildDepError "ghc-prim"))
+          ];
+          buildable = true;
+        };
+        "brillo-tree" = {
+          depends = [
+            (hsPkgs."base" or (errorHandler.buildDepError "base"))
+            (hsPkgs."brillo" or (errorHandler.buildDepError "brillo"))
+          ];
+          buildable = true;
+        };
+        "brillo-visibility" = {
+          depends = [
+            (hsPkgs."base" or (errorHandler.buildDepError "base"))
+            (hsPkgs."brillo" or (errorHandler.buildDepError "brillo"))
+            (hsPkgs."vector" or (errorHandler.buildDepError "vector"))
+          ];
+          buildable = true;
+        };
+        "brillo-zen" = {
+          depends = [
+            (hsPkgs."base" or (errorHandler.buildDepError "base"))
+            (hsPkgs."brillo" or (errorHandler.buildDepError "brillo"))
+          ];
+          buildable = true;
+        };
+        "brillo-graph" = {
+          depends = [
+            (hsPkgs."base" or (errorHandler.buildDepError "base"))
+            (hsPkgs."brillo" or (errorHandler.buildDepError "brillo"))
+            (hsPkgs."containers" or (errorHandler.buildDepError "containers"))
+            (hsPkgs."random" or (errorHandler.buildDepError "random"))
+          ];
+          buildable = true;
+        };
+        "brillo-gravity" = {
+          depends = [
+            (hsPkgs."base" or (errorHandler.buildDepError "base"))
+            (hsPkgs."brillo" or (errorHandler.buildDepError "brillo"))
+            (hsPkgs."containers" or (errorHandler.buildDepError "containers"))
+            (hsPkgs."random" or (errorHandler.buildDepError "random"))
+          ];
+          buildable = true;
+        };
+        "brillo-render" = {
+          depends = [
+            (hsPkgs."base" or (errorHandler.buildDepError "base"))
+            (hsPkgs."brillo" or (errorHandler.buildDepError "brillo"))
+            (hsPkgs."brillo-rendering" or (errorHandler.buildDepError "brillo-rendering"))
+            (hsPkgs."containers" or (errorHandler.buildDepError "containers"))
+            (hsPkgs."GLFW-b" or (errorHandler.buildDepError "GLFW-b"))
+          ];
+          buildable = true;
+        };
+      };
+    };
+  }
diff --git a/...rillo-juicy-0.2.4-r0-6342ed80f43a6f087aae9b42c7b23b2fb1cb8ed7c61f00cd30a3679db8829154.nix b/...rillo-juicy-0.2.4-r0-6342ed80f43a6f087aae9b42c7b23b2fb1cb8ed7c61f00cd30a3679db8829154.nix
@@ -0,0 +1,51 @@
+{ system
+  , compiler
+  , flags
+  , pkgs
+  , hsPkgs
+  , pkgconfPkgs
+  , errorHandler
+  , config
+  , ... }:
+  {
+    flags = {};
+    package = {
+      specVersion = "3.0";
+      identifier = { name = "brillo-juicy"; version = "0.2.4"; };
+      license = "BSD-3-Clause";
+      copyright = "";
+      maintainer = "Adrian Sieber";
+      author = "Alp Mestanogullari <[email protected]>, Adrian Sieber";
+      homepage = "https://github.com/ad-si/Brillo";
+      url = "";
+      synopsis = "Load any image supported by Juicy.Pixels in your brillo application";
+      description = "Lets you convert any image supported by Juicy.Pixels in a brillo application\nby converting to brillo' Bitmap representation.\nVersion 0.1.2 just enabled caching (from a frame to the next, and so on)\nof the images you load, so that they are not recomputed for each frame.\nCredits go to Jonathan Daugherty for the patch.";
+      buildType = "Simple";
+    };
+    components = {
+      "library" = {
+        depends = [
+          (hsPkgs."base" or (errorHandler.buildDepError "base"))
+          (hsPkgs."bmp" or (errorHandler.buildDepError "bmp"))
+          (hsPkgs."brillo" or (errorHandler.buildDepError "brillo"))
+          (hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring"))
+          (hsPkgs."JuicyPixels" or (errorHandler.buildDepError "JuicyPixels"))
+          (hsPkgs."vector" or (errorHandler.buildDepError "vector"))
+        ];
+        buildable = true;
+      };
+      exes = {
+        "brillo-juicy-viewer" = {
+          depends = [
+            (hsPkgs."base" or (errorHandler.buildDepError "base"))
+            (hsPkgs."bmp" or (errorHandler.buildDepError "bmp"))
+            (hsPkgs."brillo" or (errorHandler.buildDepError "brillo"))
+            (hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring"))
+            (hsPkgs."JuicyPixels" or (errorHandler.buildDepError "JuicyPixels"))
+            (hsPkgs."vector" or (errorHandler.buildDepError "vector"))
+          ];
+          buildable = true;
+        };
+      };
+    };
+  }
diff --git a/...-rendering-1.13.3-r0-c0e03990a9d6739253a7c92751d50fa08f949b59e8ff4f54e14d7b2e244659c3.nix b/...-rendering-1.13.3-r0-c0e03990a9d6739253a7c92751d50fa08f949b59e8ff4f54e14d7b2e244659c3.nix
@@ -0,0 +1,38 @@
+{ system
+  , compiler
+  , flags
+  , pkgs
+  , hsPkgs
+  , pkgconfPkgs
+  , errorHandler
+  , config
+  , ... }:
+  {
+    flags = {};
+    package = {
+      specVersion = "3.0";
+      identifier = { name = "brillo-rendering"; version = "1.13.3"; };
+      license = "MIT";
+      copyright = "";
+      maintainer = "[email protected]";
+      author = "Elise Huard, Ben Lippmeier, Adrian Sieber";
+      homepage = "";
+      url = "";
+      synopsis = "Brillo picture data types and rendering functions.";
+      description = "Brillo picture data types and rendering functions.\nThese functions don't do any window management.\nIf you want Brillo to setup your window as well,\nthen use the plain @brillo@ package.";
+      buildType = "Simple";
+    };
+    components = {
+      "library" = {
+        depends = [
+          (hsPkgs."base" or (errorHandler.buildDepError "base"))
+          (hsPkgs."bmp" or (errorHandler.buildDepError "bmp"))
+          (hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring"))
+          (hsPkgs."containers" or (errorHandler.buildDepError "containers"))
+          (hsPkgs."OpenGL" or (errorHandler.buildDepError "OpenGL"))
+          (hsPkgs."vector" or (errorHandler.buildDepError "vector"))
+        ];
+        buildable = true;
+      };
+    };
+  }