Add AutoValue to Eclipse config

sosy-lab · May 4, 2016 · e73980b · e73980b
1 parent 3599be4
commit e73980b
Show file tree

Hide file tree

Showing 3 changed files with 5 additions and 0 deletions.
diff --git a/.classpath b/.classpath
@@ -23,5 +23,6 @@
 			<attribute name="optional" value="true"/>
 		</attributes>
 	</classpathentry>
+	<classpathentry kind="lib" path="/SoSy-Lab Common/lib/java/build/auto-value.jar"/>
 	<classpathentry kind="output" path="bin"/>
 </classpath>
diff --git a/.factorypath.template b/.factorypath.template
@@ -0,0 +1,3 @@
+<factorypath>
+    <factorypathentry kind="WKSPJAR" id="/JavaSMT/lib/java/build/auto-value.jar" enabled="true" runInBatchMode="false"/>
+</factorypath>
diff --git a/.gitignore b/.gitignore
@@ -1,4 +1,5 @@
 .idea/workspace.xml
+.factorypath
 
 /bin
 /lib/java