Add eigen version from main.

modules/eigen/4.0.0-20241125/MODULE.bazel

@@ -0,0 +1,5 @@
+module(
+    name = "eigen",
+    version = "4.0.0-20241125",
+    compatibility_level = 1,
+)

modules/eigen/4.0.0-20241125/patches/add_build_file.patch

@@ -0,0 +1,39 @@
+--- /dev/null
++++ BUILD.bazel
+@@ -0,0 +1,36 @@
++licenses([
++    # Note: Eigen is an MPL2 library that includes GPL v3 and LGPL v2.1+ code.
++    #       We've taken special care to not reference any restricted code.
++    "reciprocal",  # MPL2
++    "notice",  # Portions BSD
++])
++
++exports_files(["COPYING.MPL2"])
++
++EIGEN_FILES = [
++    "Eigen/**",
++    "unsupported/Eigen/**",
++]
++
++# Files known to be under MPL2 license.
++EIGEN_MPL2_HEADER_FILES = glob(
++    EIGEN_FILES,
++    exclude = [
++        # Guarantees that any non-MPL2 file added to the list above will fail to
++        # compile.
++        "Eigen/src/Core/util/NonMPL2.h",
++        "Eigen/**/CMakeLists.txt",    
++    ],
++)
++
++cc_library(
++    name = "eigen",
++    hdrs = EIGEN_MPL2_HEADER_FILES,
++    defines = [
++        # This define (mostly) guarantees we don't link any problematic
++        # code. We use it, but we do not rely on it, as evidenced above.
++        "EIGEN_MPL2_ONLY",
++    ],
++    includes = ["."],
++    visibility = ["//visibility:public"],
++)

modules/eigen/4.0.0-20241125/patches/module_dot_bazel.patch

@@ -0,0 +1,8 @@
+--- MODULE.bazel
++++ MODULE.bazel
+@@ -0,0 +1,5 @@
++module(
++    name = "eigen",
++    version = "4.0.0-20241125",
++    compatibility_level = 1,
++)

modules/eigen/4.0.0-20241125/presubmit.yml

@@ -0,0 +1,14 @@
+matrix:
+  platform:
+  - debian10
+  - ubuntu2004
+  - macos
+  - windows
+  bazel: ["7.x", "rolling"]
+tasks:
+  verify_targets:
+    name: Verify build targets
+    platform: ${{ platform }}
+    bazel: ${{ bazel }}
+    build_targets:
+    - '@eigen//:eigen'

modules/eigen/4.0.0-20241125/source.json

@@ -0,0 +1,10 @@
+{
+    "url": "https://gitlab.com/libeigen/eigen/-/archive/8ad4344ca79f2f248bc5ed70eec72e4b9c4d5e88/eigen-8ad4344ca79f2f248bc5ed70eec72e4b9c4d5e88.zip",
+    "integrity": "sha256-bc6qoYiVoNU8m6Wzs9LxtgjXi6cESrrmrwndiYYQFFQ=",
+    "strip_prefix": "eigen-8ad4344ca79f2f248bc5ed70eec72e4b9c4d5e88",
+    "patch_strip": 0,
+    "patches": {
+        "add_build_file.patch": "sha256-Z/WfakKJQNeioN3cZSlZgNQlQfncYJtBKAnPCyPC/2A=",
+        "module_dot_bazel.patch": "sha256-4R/Q+wbTHHJpkHeb5Ox2wLjIpbqhbnIc9gvfve8FAbA="
+    }
+}

modules/eigen/metadata.json

@@ -1,15 +1,16 @@
 {
-  "homepage": "https://gitlab.com/libeigen/eigen",
-  "maintainers": [
-    {
-      "email": "[email protected]",
-      "name": "No Maintainer Specified"
-    }
-  ],
-  "repository": [],
-  "versions": [
-    "3.4.0",
-    "3.4.0.bcr.1"
-  ],
-  "yanked_versions": {}
+    "homepage": "https://gitlab.com/libeigen/eigen",
+    "maintainers": [
+        {
+            "email": "[email protected]",
+            "name": "No Maintainer Specified"
+        }
+    ],
+    "repository": [],
+    "versions": [
+        "3.4.0",
+        "3.4.0.bcr.1",
+        "4.0.0-20241125"
+    ],
+    "yanked_versions": {}
 }