eclipse/update-JPF-siteproperties.launch

   1 <?xml version="1.0" encoding="UTF-8" standalone="no"?>
   2 <launchConfiguration type="org.eclipse.jdt.launching.localJavaApplication">
   3 <listAttribute key="org.eclipse.debug.core.MAPPED_RESOURCE_PATHS">
   4 <listEntry value="/jpf-core/src/main/gov/nasa/jpf/tool/RunJPF.java"/>
   5 </listAttribute>
   6 <listAttribute key="org.eclipse.debug.core.MAPPED_RESOURCE_TYPES">
   7 <listEntry value="1"/>
   8 </listAttribute>
   9 <stringAttribute key="org.eclipse.jdt.launching.MAIN_TYPE" value="gov.nasa.jpf.tool.RunJPF"/>
  10 <stringAttribute key="org.eclipse.jdt.launching.PROGRAM_ARGUMENTS" value="-addproject"/>
  11 <stringAttribute key="org.eclipse.jdt.launching.PROJECT_ATTR" value="jpf-core"/>
  12 <stringAttribute key="org.eclipse.jdt.launching.WORKING_DIRECTORY" value="${project_loc}"/>
  13 </launchConfiguration>