From 0aad3ac466ef3a470c97b5713f259b290dfeaa16 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?L=C3=A9onard=20G=C3=A9rard?= <leonard.gerard@ens.fr>
Date: Thu, 15 Dec 2011 20:02:38 +0100
Subject: [PATCH] eclipse stuff

---
 .gitignore                                    |  5 +--
 compiler/.project                             | 37 +++++++++++++++++++
 compiler/.projectSettings                     |  2 +-
 .../heptagon_java_lib/.classpath              |  6 +++
 .../heptagon_java_lib/.project                | 24 ++++++++++++
 .../heptagon_test/.classpath                  |  7 ++++
 .../eclipse_workspace/heptagon_test/.project  | 24 ++++++++++++
 7 files changed, 100 insertions(+), 5 deletions(-)
 create mode 100644 compiler/.project
 create mode 100644 tools/eclipse_workspace/heptagon_java_lib/.classpath
 create mode 100644 tools/eclipse_workspace/heptagon_java_lib/.project
 create mode 100644 tools/eclipse_workspace/heptagon_test/.classpath
 create mode 100644 tools/eclipse_workspace/heptagon_test/.project

diff --git a/.gitignore b/.gitignore
index 6dcbde0..f22f710 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,9 +1,6 @@
-.external*
-.paths
-.project
-.projectSettings
 _build
 *.DS_Store
+.metadata
 *.cmi
 *.cmo
 *.cmx
diff --git a/compiler/.project b/compiler/.project
new file mode 100644
index 0000000..28367f7
--- /dev/null
+++ b/compiler/.project
@@ -0,0 +1,37 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<projectDescription>
+	<name>heptc</name>
+	<comment></comment>
+	<projects>
+	</projects>
+	<buildSpec>
+		<buildCommand>
+			<name>Ocaml.ocamlbuildBuilder</name>
+			<arguments>
+			</arguments>
+		</buildCommand>
+	</buildSpec>
+	<natures>
+		<nature>ocaml.ocamlbuildnature</nature>
+	</natures>
+	<filteredResources>
+		<filter>
+			<id>1323971806815</id>
+			<name></name>
+			<type>30</type>
+			<matcher>
+				<id>org.eclipse.ui.ide.multiFilter</id>
+				<arguments>1.0-name-matches-false-false-_build</arguments>
+			</matcher>
+		</filter>
+		<filter>
+			<id>1323971806816</id>
+			<name></name>
+			<type>21</type>
+			<matcher>
+				<id>org.eclipse.ui.ide.multiFilter</id>
+				<arguments>1.0-name-matches-false-false-*.ml*</arguments>
+			</matcher>
+		</filter>
+	</filteredResources>
+</projectDescription>
diff --git a/compiler/.projectSettings b/compiler/.projectSettings
index 317ff48..d0629a9 100644
--- a/compiler/.projectSettings
+++ b/compiler/.projectSettings
@@ -6,6 +6,6 @@
 		<item value="" key="ocamlbuildProjectCompilerFlags"/>
 		<item value="-j 0" key="ocamlbuildProjectOtherFlags"/>
 		<item value="true" key="ocamlbuildGenerateTypeInfo"/>
-		<item value="heptc.d.byte" key="ocamlbuildProjectTargets"/>
+		<item value="heptc.byte" key="ocamlbuildProjectTargets"/>
 	</section>
 </section>
diff --git a/tools/eclipse_workspace/heptagon_java_lib/.classpath b/tools/eclipse_workspace/heptagon_java_lib/.classpath
new file mode 100644
index 0000000..d4c4be3
--- /dev/null
+++ b/tools/eclipse_workspace/heptagon_java_lib/.classpath
@@ -0,0 +1,6 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<classpath>
+	<classpathentry kind="src" path="java"/>
+	<classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER"/>
+	<classpathentry kind="output" path="bin"/>
+</classpath>
diff --git a/tools/eclipse_workspace/heptagon_java_lib/.project b/tools/eclipse_workspace/heptagon_java_lib/.project
new file mode 100644
index 0000000..84b888d
--- /dev/null
+++ b/tools/eclipse_workspace/heptagon_java_lib/.project
@@ -0,0 +1,24 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<projectDescription>
+	<name>heptagon_java_lib</name>
+	<comment></comment>
+	<projects>
+	</projects>
+	<buildSpec>
+		<buildCommand>
+			<name>org.eclipse.jdt.core.javabuilder</name>
+			<arguments>
+			</arguments>
+		</buildCommand>
+	</buildSpec>
+	<natures>
+		<nature>org.eclipse.jdt.core.javanature</nature>
+	</natures>
+	<linkedResources>
+		<link>
+			<name>java</name>
+			<type>2</type>
+			<locationURI>PARENT-3-PROJECT_LOC/lib/java</locationURI>
+		</link>
+	</linkedResources>
+</projectDescription>
diff --git a/tools/eclipse_workspace/heptagon_test/.classpath b/tools/eclipse_workspace/heptagon_test/.classpath
new file mode 100644
index 0000000..6db349b
--- /dev/null
+++ b/tools/eclipse_workspace/heptagon_test/.classpath
@@ -0,0 +1,7 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<classpath>
+	<classpathentry kind="src" path="java"/>
+	<classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER"/>
+	<classpathentry combineaccessrules="false" kind="src" path="/heptagon_java_lib"/>
+	<classpathentry kind="output" path="bin"/>
+</classpath>
diff --git a/tools/eclipse_workspace/heptagon_test/.project b/tools/eclipse_workspace/heptagon_test/.project
new file mode 100644
index 0000000..2775de8
--- /dev/null
+++ b/tools/eclipse_workspace/heptagon_test/.project
@@ -0,0 +1,24 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<projectDescription>
+	<name>heptagon_test</name>
+	<comment></comment>
+	<projects>
+	</projects>
+	<buildSpec>
+		<buildCommand>
+			<name>org.eclipse.jdt.core.javabuilder</name>
+			<arguments>
+			</arguments>
+		</buildCommand>
+	</buildSpec>
+	<natures>
+		<nature>org.eclipse.jdt.core.javanature</nature>
+	</natures>
+	<linkedResources>
+		<link>
+			<name>java</name>
+			<type>2</type>
+			<locationURI>PARENT-3-PROJECT_LOC/test/_check_builds/java</locationURI>
+		</link>
+	</linkedResources>
+</projectDescription>