diff options
author | Kristóf Marussy <kristof@marussy.com> | 2023-11-24 20:10:24 +0100 |
---|---|---|
committer | Kristóf Marussy <kristof@marussy.com> | 2024-04-07 14:54:54 +0200 |
commit | 67eb9cabe53d13a7d17b27bd78e00f378104ae50 (patch) | |
tree | d74b5cf32b7fa97059c28ab8baabcdd885eea447 /z3/gradle | |
parent | fix(test): Windows line endings comparison (diff) | |
download | refinery-67eb9cabe53d13a7d17b27bd78e00f378104ae50.tar.gz refinery-67eb9cabe53d13a7d17b27bd78e00f378104ae50.tar.zst refinery-67eb9cabe53d13a7d17b27bd78e00f378104ae50.zip |
build: package Z3 solver native libraries
Diffstat (limited to 'z3/gradle')
-rw-r--r-- | z3/gradle/libs.versions.toml | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/z3/gradle/libs.versions.toml b/z3/gradle/libs.versions.toml new file mode 100644 index 00000000..88cf8083 --- /dev/null +++ b/z3/gradle/libs.versions.toml | |||
@@ -0,0 +1,15 @@ | |||
1 | # SPDX-FileCopyrightText: 2023 The Refinery Authors <https://refinery.tools/> | ||
2 | # | ||
3 | # SPDX-License-Identifier: Apache-2.0 | ||
4 | |||
5 | [versions] | ||
6 | junit = "5.10.1" | ||
7 | |||
8 | [libraries] | ||
9 | asm = { group = "org.ow2.asm", name = "asm", version = "9.6" } | ||
10 | jna = { group = "net.java.dev.jna", name = "jna", version = "5.13.0" } | ||
11 | junit-api = { group = "org.junit.jupiter", name = "junit-jupiter-api", version.ref = "junit" } | ||
12 | junit-engine = { group = "org.junit.jupiter", name = "junit-jupiter-engine", version.ref = "junit" } | ||
13 | |||
14 | [plugins] | ||
15 | versions = { id = "com.github.ben-manes.versions", version = "0.50.0" } | ||