-
Notifications
You must be signed in to change notification settings - Fork 0
/
BUILD.bazel
30 lines (26 loc) · 1.02 KB
/
BUILD.bazel
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
#
# Copyright 2023 Google Inc
#
# Licensed under the Apache License, Version 2.0 (the "License");
# you may not use this file except in compliance with the License.
# You may obtain a copy of the License at
#
# https://www.apache.org/licenses/LICENSE-2.0
#
# Unless required by applicable law or agreed to in writing, software
# distributed under the License is distributed on an "AS IS" BASIS,
# WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
# See the License for the specific language governing permissions and
# limitations under the License.
#
load("@rules_foreign_cc//foreign_cc:defs.bzl", "configure_make", "cmake")
# Executes CMAKE to build Z3 shared libraries.
# If Z3 is updated, the verison numbers in the output libaries will need to also
# be updated.
cmake(
name = "z3",
lib_source = "@z3//:all_srcs",
# Note: Will need to update version numbers when Z3 is updated.
out_shared_libs = ["libz3.so", "libz3.so.4.12", "libz3.so.4.12.2.0"],
visibility = ["//src/smt:__pkg__"],
)