bazelbuild · Mizux · Jul 10, 2026 · Jul 10, 2026 · Jul 10, 2026 · Jul 10, 2026
diff --git a/modules/highs/1.15.0/MODULE.bazel b/modules/highs/1.15.0/MODULE.bazel
@@ -0,0 +1,24 @@
+"""highs module
+"""
+module(
+    name = "highs",
+    version = "1.15.0",
+)
+
+bazel_dep(name = "bazel_skylib", version = "1.9.0")
+bazel_dep(name = "platforms", version = "1.1.0")
+bazel_dep(name = "rules_cc", version = "0.2.20")
+bazel_dep(name = "zlib", version = "1.3.2")
+bazel_dep(name = "rules_cuda", version = "0.3.0")
+
+# Load the extension
+cuda = use_extension("@rules_cuda//cuda:extensions.bzl", "toolchain")
+cuda.toolkit(
+    name = "cuda",
+)
+
+# Use 'cuda' as the repository name
+# use_repo(cuda, "cuda")
+
+# Alias local_cuda
+use_repo(cuda, local_cuda = "cuda")
diff --git a/modules/highs/1.15.0/patches/0001-add_bazel_dep_platforms.patch b/modules/highs/1.15.0/patches/0001-add_bazel_dep_platforms.patch
@@ -0,0 +1,44 @@
+From a7961bb279c922f867d18d7ff2bf48a6e1260cb0 Mon Sep 17 00:00:00 2001
+From: Corentin Le Molgat <corentinl@google.com>
+Date: Fri, 10 Jul 2026 14:58:06 +0200
+Subject: [PATCH 1/2] add_bazel_dep_platforms
+
+---
+ MODULE.bazel | 24 +++++-------------------
+ 1 file changed, 5 insertions(+), 19 deletions(-)
+
+diff --git a/MODULE.bazel b/MODULE.bazel
+index decdc65ce8..bc822088dc 100644
+--- a/MODULE.bazel
++++ b/MODULE.bazel
+@@ -5,25 +5,11 @@ module(
+     version = "1.15.0",
+ )
+
+-bazel_dep(
+-    name = "bazel_skylib",
+-    version = "1.9.0",
+-)
+-
+-bazel_dep(
+-    name = "rules_cc",
+-    version = "0.2.17",
+-)
+-
+-bazel_dep(
+-    name = "zlib",
+-    version = "1.3.2",
+-)
+-
+-bazel_dep(
+-    name = "rules_cuda",
+-    version = "0.3.0",
+-)
++bazel_dep(name = "bazel_skylib", version = "1.9.0")
++bazel_dep(name = "platforms", version = "1.1.0")
++bazel_dep(name = "rules_cc", version = "0.2.20")
++bazel_dep(name = "zlib", version = "1.3.2")
++bazel_dep(name = "rules_cuda", version = "0.3.0")
+
+ # Load the extension
+ cuda = use_extension("@rules_cuda//cuda:extensions.bzl", "toolchain")
diff --git a/modules/highs/1.15.0/patches/0002-fix_build_bazel.patch b/modules/highs/1.15.0/patches/0002-fix_build_bazel.patch
@@ -0,0 +1,24 @@
+From 23581947b670d9c93d67f9768c13fdc0f396f777 Mon Sep 17 00:00:00 2001
+From: Corentin Le Molgat <corentinl@google.com>
+Date: Fri, 10 Jul 2026 14:58:29 +0200
+Subject: [PATCH 2/2] fix_build_bazel
+
+---
+ BUILD.bazel | 4 ++++
+ 1 file changed, 4 insertions(+)
+
+diff --git a/BUILD.bazel b/BUILD.bazel
+index 6a6589bc46..f192e72517 100644
+--- a/BUILD.bazel
++++ b/BUILD.bazel
+@@ -118,6 +118,10 @@ cc_library(
+     ],
+     linkopts = select({
+         "@rules_cc//cc/compiler:msvc-cl": ["-DEFAULTLIB:shell32.lib"],
++        "@platforms//os:linux": [
++          "-Wl,--no-as-needed -ldl",
++          "-pthread",
++        ],
+         "//conditions:default": ["-lpthread"],
+     }),
+     visibility = ["//visibility:public"],
diff --git a/modules/highs/1.15.0/presubmit.yml b/modules/highs/1.15.0/presubmit.yml
@@ -0,0 +1,32 @@
+matrix:
+  unix_platform:
+  - debian11
+  - ubuntu2404
+  - macos
+  - macos_arm64
+  windows_platform:
+  - windows
+  bazel:
+  - 9.x
+  - 8.x
+tasks:
+  unix_presubmit:
+    name: Unix Presubmit
+    platform: ${{ unix_platform }}
+    bazel: ${{ bazel }}
+    build_flags:
+    - '--cxxopt=-std=c++17'
+    - '--cxxopt=-Wno-sign-compare'
+    - '--host_cxxopt=-std=c++17'
+    - '--host_cxxopt=-Wno-sign-compare'
+    build_targets:
+    - '@highs//...'
+  windows_presubmit:
+    name: Windows Presubmit
+    platform: ${{ windows_platform }}
+    bazel: ${{ bazel }}
+    build_flags:
+    - '--cxxopt=/std:c++17'
+    - '--host_cxxopt=/std=c++17'
+    build_targets:
+    - '@highs//...'
diff --git a/modules/highs/1.15.0/source.json b/modules/highs/1.15.0/source.json
@@ -0,0 +1,10 @@
+{
+    "url": "https://github.com/ERGO-Code/HiGHS/releases/download/v1.15.0/source-archive.tar.gz",
+    "integrity": "sha256-pP5qNVJwy9GCo3jEqiAikg0w/Wqh2tEMvZwCVXs0OQY=",
+    "strip_prefix": "HiGHS",
+    "patches": {
+        "0001-add_bazel_dep_platforms.patch": "sha256-Idr15kBoFoEuXfmxFDaBjEyaquzn35lKMrpLun5J/8I=",
+        "0002-fix_build_bazel.patch": "sha256-CU/aVNGUlzKON7X6UhOYbkPaTaoKwcMapCFncumBuRI="
+    },
+    "patch_strip": 1
+}
diff --git a/modules/highs/1.15.1/MODULE.bazel b/modules/highs/1.15.1/MODULE.bazel
@@ -0,0 +1,24 @@
+"""highs module
+"""
+module(
+    name = "highs",
+    version = "1.15.1",
+)
+
+bazel_dep(name = "bazel_skylib", version = "1.9.0")
+bazel_dep(name = "platforms", version = "1.1.0")
+bazel_dep(name = "rules_cc", version = "0.2.20")
+bazel_dep(name = "zlib", version = "1.3.2")
+bazel_dep(name = "rules_cuda", version = "0.3.0")
+
+# Load the extension
+cuda = use_extension("@rules_cuda//cuda:extensions.bzl", "toolchain")
+cuda.toolkit(
+    name = "cuda",
+)
+
+# Use 'cuda' as the repository name
+# use_repo(cuda, "cuda")
+
+# Alias local_cuda
+use_repo(cuda, local_cuda = "cuda")
diff --git a/modules/highs/1.15.1/patches/0001-add_bazel_dep_platforms.patch b/modules/highs/1.15.1/patches/0001-add_bazel_dep_platforms.patch
@@ -0,0 +1,44 @@
+From 29fc6cf3a179c79e19726bbd769ea3244ec5c21c Mon Sep 17 00:00:00 2001
+From: Corentin Le Molgat <corentinl@google.com>
+Date: Fri, 10 Jul 2026 14:48:50 +0200
+Subject: [PATCH 1/2] add_bazel_dep_platforms
+
+---
+ MODULE.bazel | 24 +++++-------------------
+ 1 file changed, 5 insertions(+), 19 deletions(-)
+
+diff --git a/MODULE.bazel b/MODULE.bazel
+index ad37a3b542..ecd464cfb2 100644
+--- a/MODULE.bazel
++++ b/MODULE.bazel
+@@ -5,25 +5,11 @@ module(
+     version = "1.15.1",
+ )
+
+-bazel_dep(
+-    name = "bazel_skylib",
+-    version = "1.9.0",
+-)
+-
+-bazel_dep(
+-    name = "rules_cc",
+-    version = "0.2.17",
+-)
+-
+-bazel_dep(
+-    name = "zlib",
+-    version = "1.3.2",
+-)
+-
+-bazel_dep(
+-    name = "rules_cuda",
+-    version = "0.3.0",
+-)
++bazel_dep(name = "bazel_skylib", version = "1.9.0")
++bazel_dep(name = "platforms", version = "1.1.0")
++bazel_dep(name = "rules_cc", version = "0.2.20")
++bazel_dep(name = "zlib", version = "1.3.2")
++bazel_dep(name = "rules_cuda", version = "0.3.0")
+
+ # Load the extension
+ cuda = use_extension("@rules_cuda//cuda:extensions.bzl", "toolchain")
diff --git a/modules/highs/1.15.1/patches/0002-fix_build_bazel.patch b/modules/highs/1.15.1/patches/0002-fix_build_bazel.patch
@@ -0,0 +1,24 @@
+From cd3a766d393446dc0954f4e3e831a361e231e144 Mon Sep 17 00:00:00 2001
+From: Corentin Le Molgat <corentinl@google.com>
+Date: Fri, 10 Jul 2026 15:53:35 +0200
+Subject: [PATCH 2/2] fix_build_bazel
+
+---
+ BUILD.bazel | 4 ++++
+ 1 file changed, 4 insertions(+)
+
+diff --git a/BUILD.bazel b/BUILD.bazel
+index 6a6589bc46..f192e72517 100644
+--- a/BUILD.bazel
++++ b/BUILD.bazel
+@@ -118,6 +118,10 @@ cc_library(
+     ],
+     linkopts = select({
+         "@rules_cc//cc/compiler:msvc-cl": ["-DEFAULTLIB:shell32.lib"],
++        "@platforms//os:linux": [
++          "-Wl,--no-as-needed -ldl",
++          "-pthread",
++        ],
+         "//conditions:default": ["-lpthread"],
+     }),
+     visibility = ["//visibility:public"],
diff --git a/modules/highs/1.15.1/presubmit.yml b/modules/highs/1.15.1/presubmit.yml
@@ -0,0 +1,32 @@
+matrix:
+  unix_platform:
+  - debian11
+  - ubuntu2404
+  - macos
+  - macos_arm64
+  windows_platform:
+  - windows
+  bazel:
+  - 9.x
+  - 8.x
+tasks:
+  unix_presubmit:
+    name: Unix Presubmit
+    platform: ${{ unix_platform }}
+    bazel: ${{ bazel }}
+    build_flags:
+    - '--cxxopt=-std=c++17'
+    - '--cxxopt=-Wno-sign-compare'
+    - '--host_cxxopt=-std=c++17'
+    - '--host_cxxopt=-Wno-sign-compare'
+    build_targets:
+    - '@highs//...'
+  windows_presubmit:
+    name: Windows Presubmit
+    platform: ${{ windows_platform }}
+    bazel: ${{ bazel }}
+    build_flags:
+    - '--cxxopt=/std:c++17'
+    - '--host_cxxopt=/std=c++17'
+    build_targets:
+    - '@highs//...'
diff --git a/modules/highs/1.15.1/source.json b/modules/highs/1.15.1/source.json
@@ -0,0 +1,10 @@
+{
+    "url": "https://github.com/ERGO-Code/HiGHS/releases/download/v1.15.1/source-archive.tar.gz",
+    "integrity": "sha256-MBMtorIYmcYvB8TWVmMlo7hpp9pM5h2LJfgzs44VYrE=",
+    "strip_prefix": "HiGHS",
+    "patches": {
+        "0001-add_bazel_dep_platforms.patch": "sha256-dPEk5CE3ZpnAoJgLawbYunOEoSltd1VMlaNwRF2UuKw=",
+        "0002-fix_build_bazel.patch": "sha256-BlbK0cxFL55nALpu5wG1hTMO6rlyFWf4TdP4uqDEieg="
+    },
+    "patch_strip": 1
+}
diff --git a/modules/highs/metadata.json b/modules/highs/metadata.json
@@ -21,7 +21,9 @@
         "1.11.0",
         "1.12.0",
         "1.13.0",
-        "1.14.0"
+        "1.14.0",
+        "1.15.0",
+        "1.15.1"
     ],
     "yanked_versions": {}
 }