Drop daml-lf-verify (digital-asset#12942)

This is completely unmaintained, unused and partially broken so delete it for now. Worst case, we recover it from Git history. closes digital-asset#6550 because it now refers to deleted code. changelog_begin changelog_end
kgeonw · Feb 15, 2022 · 04eff27 · 04eff27
1 parent 4b0beda
commit 04eff27
Show file tree

Hide file tree

Showing 16 changed files with 0 additions and 3,833 deletions.
diff --git a/WORKSPACE b/WORKSPACE
@@ -821,15 +821,6 @@ nixpkgs_package(
     repositories = dev_env_nix_repos,
 )
 
-nixpkgs_package(
-    name = "z3_nix",
-    attribute_path = "z3",
-    fail_not_supported = False,
-    nix_file = "//nix:bazel.nix",
-    nix_file_deps = common_nix_file_deps,
-    repositories = dev_env_nix_repos,
-) if not is_windows else None
-
 dev_env_tool(
     name = "postgresql_dev_env",
     nix_include = [

diff --git a/compiler/daml-lf-verify/BUILD.bazel b/compiler/daml-lf-verify/BUILD.bazel