Internal build tool change

PiperOrigin-RevId: 979936565

Author: TristonianJones

verifier/src/main/java/dev/cel/verifier/BUILD.bazel

@@ -1,4 +1,5 @@
 load("@rules_java//java:defs.bzl", "java_library")
+load("//storage/binfs:binfs.bzl", "java_binary_deploy_jar")
 
 package(
     default_applicable_licenses = ["//:license"],
@@ -190,3 +191,13 @@ java_library(
         "@maven//:tools_aqua_z3_turnkey",
     ],
 )
+
+java_binary_deploy_jar(
+    name = "cel-verifier",
+    jvm_flags = ["-Dz3.skipLibraryLoad=true"],
+    main_class = "dev.cel.verifier.tools.CelVerifierTool",
+    visibility = ["//verifier:__subpackages__"],
+    runtime_deps = [
+        "//verifier/src/main/java/dev/cel/verifier/tools:tools_lib",
+    ],
+)

verifier/src/main/java/dev/cel/verifier/tools/CelVerifierTool.java

@@ -307,6 +307,9 @@ public Integer call() {
   }
 
   public static void main(String[] args) {
+    if (System.getProperty("z3.skipLibraryLoad") == null) {
+      System.setProperty("z3.skipLibraryLoad", "true");
+    }
     int exitCode = new CommandLine(new CelVerifierTool()).execute(args);
     System.exit(exitCode);
   }