|
| 1 | +# Copyright 2023 Google LLC |
| 2 | +# |
| 3 | +# Licensed under the Apache License, Version 2.0 (the "License"); |
| 4 | +# you may not use this file except in compliance with the License. |
| 5 | +# You may obtain a copy of the License at |
| 6 | +# |
| 7 | +# http://www.apache.org/licenses/LICENSE-2.0 |
| 8 | +# |
| 9 | +# Unless required by applicable law or agreed to in writing, software |
| 10 | +# distributed under the License is distributed on an "AS IS" BASIS, |
| 11 | +# WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. |
| 12 | +# See the License for the specific language governing permissions and |
| 13 | +# limitations under the License. |
| 14 | + |
| 15 | +"""Registers Bazel workspaces for the GNU readline library.""" |
| 16 | + |
| 17 | +load("@bazel_tools//tools/build_defs/repo:git.bzl", "new_git_repository") |
| 18 | +load("@bazel_tools//tools/build_defs/repo:http.bzl", "http_archive") |
| 19 | +load("@bazel_tools//tools/build_defs/repo:utils.bzl", "maybe") |
| 20 | + |
| 21 | +def com_google_ortools(): |
| 22 | + maybe( |
| 23 | + http_archive, |
| 24 | + name = "com_google_ortools", |
| 25 | + strip_prefix = "or-tools-9.7", |
| 26 | + urls = ["https://github.com/google/or-tools/archive/refs/tags/v9.7.tar.gz"], |
| 27 | + sha256 = "054d9517fc6c83f15150c93ef1c2c674ffd7d4a0d1fdc78f6ef8bc3e25c2e339", |
| 28 | + ) |
| 29 | + maybe( |
| 30 | + new_git_repository, |
| 31 | + name = "scip", |
| 32 | + build_file = "@com_google_ortools//bazel:scip.BUILD", |
| 33 | + patches = ["@com_google_ortools//bazel:scip.patch"], |
| 34 | + patch_args = ["-p1"], |
| 35 | + tag = "v803", |
| 36 | + remote = "https://github.com/scipopt/scip.git", |
| 37 | + ) |
| 38 | + maybe( |
| 39 | + http_archive, |
| 40 | + name = "bliss", |
| 41 | + build_file = "@com_google_ortools//bazel:bliss.BUILD", |
| 42 | + patches = ["@com_google_ortools//bazel:bliss-0.73.patch"], |
| 43 | + sha256 = "f57bf32804140cad58b1240b804e0dbd68f7e6bf67eba8e0c0fa3a62fd7f0f84", |
| 44 | + url = "https://github.com/google/or-tools/releases/download/v9.0/bliss-0.73.zip", |
| 45 | + #url = "http://www.tcs.hut.fi/Software/bliss/bliss-0.73.zip", |
| 46 | + ) |
| 47 | + maybe( |
| 48 | + new_git_repository, |
| 49 | + name = "eigen", |
| 50 | + tag = "3.4.0", |
| 51 | + remote = "https://gitlab.com/libeigen/eigen.git", |
| 52 | + build_file_content = """ |
| 53 | +cc_library( |
| 54 | + name = 'eigen3', |
| 55 | + srcs = [], |
| 56 | + includes = ['.'], |
| 57 | + hdrs = glob(['Eigen/**']), |
| 58 | + visibility = ['//visibility:public'], |
| 59 | +) |
| 60 | +""", |
| 61 | + ) |
0 commit comments