From 904094281b062aff3445ca41fec57e4cfd0f563d Mon Sep 17 00:00:00 2001
From: Matthew Sotoudeh <matthewsot@outlook.com>
Date: Tue, 10 Nov 2020 14:06:35 -0800
Subject: Initial code release

---
 examples/program_analysis/BUILD | 62 +++++++++++++++++++++++++++++++++++++++++
 1 file changed, 62 insertions(+)
 create mode 100644 examples/program_analysis/BUILD

(limited to 'examples/program_analysis/BUILD')

diff --git a/examples/program_analysis/BUILD b/examples/program_analysis/BUILD
new file mode 100644
index 0000000..6843d35
--- /dev/null
+++ b/examples/program_analysis/BUILD
@@ -0,0 +1,62 @@
+py_binary(
+    name = "api_migration",
+    srcs = ["api_migration.py"],
+    deps = [
+        ":analyzelib",
+        ":lazy_structure",
+        "//:tactic_utils",
+        "//examples/program_analysis/ui:serve",
+        "//runtime",
+    ],
+)
+
+py_binary(
+    name = "transform_learning",
+    srcs = ["transform_learning.py"],
+    deps = [
+        ":analyzelib",
+        ":lazy_structure",
+        "//:tactic_utils",
+        "//examples/program_analysis/ui:serve",
+        "//runtime",
+    ],
+)
+
+py_binary(
+    name = "program_understanding",
+    srcs = ["program_understanding.py"],
+    deps = [
+        ":analyzelib",
+        ":lazy_structure",
+        "//:tactic_utils",
+        "//examples/program_analysis/ui:serve",
+        "//runtime",
+    ],
+)
+
+py_library(
+    name = "lazy_structure",
+    srcs = ["lazy_structure.py"],
+    deps = [
+        "//:mapper",
+        "//:tactic_utils",
+        "//:ts_lib",
+        "//:ts_utils",
+        "//examples/program_analysis/ui:serve",
+        "//runtime",
+    ],
+)
+
+py_library(
+    name = "analyzelib",
+    srcs = ["analyzelib.py"],
+    deps = [
+        "//:analogy_utils",
+        "//:mapper",
+        "//:tactic_utils",
+        "//:ts_lib",
+        "//:ts_utils",
+        "//examples/program_analysis/ui:serve",
+        "//runtime",
+    ],
+)
-- 
cgit v1.2.3