Create [email protected] with missing headers (#1069)

* Create [email protected] with missing headers * fixup * Delete modules/eigen/3.4.0.bcr.1/BUILD.bazel
bazelbuild · Oct 30, 2023 · 2e650e8 · 2e650e8
1 parent eb392d3
commit 2e650e8
Show file tree

Hide file tree

Showing 6 changed files with 72 additions and 1 deletion.
diff --git a/modules/eigen/3.4.0.bcr.1/MODULE.bazel b/modules/eigen/3.4.0.bcr.1/MODULE.bazel
@@ -0,0 +1,5 @@
+module(
+    name = "eigen",
+    version = "3.4.0.bcr.1",
+    compatibility_level = 1,
+)
diff --git a/modules/eigen/3.4.0.bcr.1/patches/add_build_file.patch b/modules/eigen/3.4.0.bcr.1/patches/add_build_file.patch
@@ -0,0 +1,35 @@
+--- /dev/null
++++ BUILD.bazel
+@@ -0,0 +1,32 @@
++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/**",
++]
++
++# Non MPL2 files
++EIGEN_RESTRICTED_FILES = [
++    "unsupported/Eigen/src/IterativeSolvers/IterationController.h",
++    "unsupported/Eigen/src/IterativeSolvers/ConstrainedConjGrad.h",
++]
++
++EIGEN_MPL2_HEADER_FILES = glob(
++    EIGEN_FILES,
++    exclude = EIGEN_RESTRICTED_FILES,
++)
++
++cc_library(
++    name = "eigen",
++    hdrs = EIGEN_MPL2_HEADER_FILES,
++    defines = ["EIGEN_MPL2_ONLY"],
++    includes = ["."],
++    visibility = ["//visibility:public"],
++)
diff --git a/modules/eigen/3.4.0.bcr.1/patches/module_dot_bazel.patch b/modules/eigen/3.4.0.bcr.1/patches/module_dot_bazel.patch
@@ -0,0 +1,8 @@
+--- MODULE.bazel
++++ MODULE.bazel
+@@ -0,0 +1,5 @@
++module(
++    name = "eigen",
++    version = "3.4.0.bcr.1",
++    compatibility_level = 1,
++)
diff --git a/modules/eigen/3.4.0.bcr.1/presubmit.yml b/modules/eigen/3.4.0.bcr.1/presubmit.yml
@@ -0,0 +1,12 @@
+matrix:
+  platform:
+  - debian10
+  - ubuntu2004
+  - macos
+  - windows
+tasks:
+  verify_targets:
+    name: Verify build targets
+    platform: ${{ platform }}
+    build_targets:
+    - '@eigen//:eigen'
diff --git a/modules/eigen/3.4.0.bcr.1/source.json b/modules/eigen/3.4.0.bcr.1/source.json
@@ -0,0 +1,10 @@
+{
+    "url": "https://gitlab.com/libeigen/eigen/-/archive/3.4.0/eigen-3.4.0.zip",
+    "integrity": "sha256-HMqrv+hw9grz1qUZxT4J89z2MCBzId/6VTVkqOdcT8g=",
+    "strip_prefix": "eigen-3.4.0",
+    "patch_strip": 0,
+    "patches": {
+        "add_build_file.patch": "sha256-6wFrSQ6HD9hsJ0nCkA0oDVfTygzHCTbnFwrMEgJZoFw=",
+        "module_dot_bazel.patch": "sha256-hXGZdRAXNJGUMaSnrx//f4vhV7rO/OhlMG66L4euZgM="
+    }
+}
diff --git a/modules/eigen/metadata.json b/modules/eigen/metadata.json
@@ -3,7 +3,8 @@
     "maintainers": [],
     "repository": [],
     "versions": [
-        "3.4.0"
+        "3.4.0",
+        "3.4.0.bcr.1"
     ],
     "yanked_versions": {}
 }