forked from dreal/dreal4
-
Notifications
You must be signed in to change notification settings - Fork 0
/
WORKSPACE
49 lines (39 loc) · 1.62 KB
/
WORKSPACE
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
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
workspace(name = "dreal")
load("//third_party/com_github_robotlocomotion_drake:tools/workspace/github.bzl", "github_archive")
github_archive(
name = "bazel_skylib", # Apache-2.0
repository = "bazelbuild/bazel-skylib",
commit = "0.8.0",
sha256 = "2ea8a5ed2b448baf4a6855d3ce049c4c452a6470b1efd1504fdb7c1c134d220a",
)
load("@bazel_skylib//lib:versions.bzl", "versions")
versions.check(minimum_bazel_version = "0.22.0")
github_archive(
name = "google_styleguide", # GOOGLE
build_file = "//tools:google_styleguide.BUILD.bazel",
commit = "bbea616e75aa60cd5a1b9ac7f80fafb244f69f28", # 20190423
repository = "dreal-deps/styleguide",
sha256 = "0641ba2c32a0b9f9303af28f64c249efa88b84171517174d1ebe596ed844a9a5",
)
github_archive(
name = "pycodestyle", # Expat
build_file = "//tools:pycodestyle.BUILD.bazel",
commit = "e71908e1ac65f05cd92b1c6a71ef118f4138b2d7", # 20190201
repository = "PyCQA/pycodestyle",
sha256 = "1b6ce6f278d803ddc5fef599f2eb144c839b50c8f8d4a3950831ad358c870302",
)
github_archive(
name = "ezoptionparser", # MIT
build_file = "//tools:ezoptionparser.BUILD.bazel",
commit = "b42ee9e166ddc66dd2e02a178592917fb58bbdb7",
repository = "dreal-deps/ezoptionparser",
sha256 = "701d9300c02ebf47b184f112b3a7b322003abc8654c96b1762900af35ba447d3",
)
github_archive(
name = "com_google_googletest", # GOOGLE
commit = "9a502a5b14b4a6160103c1f2c64331772878d86a", # 20190108
repository = "google/googletest",
sha256 = "6b2df434f90104376713c4fb666f2c97a7375edc2e576bcb7dde4eccb291b959",
)
load("//dreal:workspace.bzl", "dreal_workspace")
dreal_workspace()