From be4f78978faba3d3ceb88df02a7f93a2e09ff1e0 Mon Sep 17 00:00:00 2001
From: Kenji Hosokawa <khosokawa@jp.adit-jv.com>
Date: Tue, 3 Aug 2021 18:42:39 +0900
Subject: Initial commit

Bug-AGL: SPEC-4033
Signed-off-by: Kenji Hosokawa <khosokawa@jp.adit-jv.com>
---
 rba.tool.core/.classpath | 16 ++++++++++++++++
 1 file changed, 16 insertions(+)
 create mode 100644 rba.tool.core/.classpath

(limited to 'rba.tool.core/.classpath')

diff --git a/rba.tool.core/.classpath b/rba.tool.core/.classpath
new file mode 100644
index 0000000..257c551
--- /dev/null
+++ b/rba.tool.core/.classpath
@@ -0,0 +1,16 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<classpath>
+	<classpathentry exported="true" kind="lib" path="icons/"/>
+	<classpathentry kind="lib" path="lib32/z3/com.microsoft.z3.jar"/>
+	<classpathentry exported="true" kind="lib" path="lib/groovy-all-2.4.12-indy.jar"/>
+	<classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER/org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType/JavaSE-1.8"/>
+	<classpathentry kind="con" path="org.eclipse.pde.core.requiredPlugins"/>
+	<classpathentry kind="src" path="src"/>
+	<classpathentry kind="lib" path="lib/z3/com.microsoft.z3.jar"/>
+	<classpathentry exported="true" kind="con" path="org.eclipse.jdt.USER_LIBRARY/Z3">
+		<attributes>
+			<attribute name="org.eclipse.jdt.launching.CLASSPATH_ATTR_LIBRARY_PATH_ENTRY" value="rba.tool.core/lib/z3"/>
+		</attributes>
+	</classpathentry>
+	<classpathentry kind="output" path="bin"/>
+</classpath>
-- 
cgit 1.2.3-korg