> -----Original Message----- > From: Christopher Lenz [mailto:[EMAIL PROTECTED]] > Sent: 06 February 2003 11:48 > To: Gump code and data > Subject: Re: cvs commit: jakarta-gump/project eclipse.xml > > Vincent, > > wouldn't it be preferrable to install the normal eclipse distribution > and reference the JARs therein with their default paths, for example: > > - <jar name="resources-2.1.0.jar"/> > + <jar name="plugins/org.eclipse.core.resources_2.1.0/resources.jar"/> > > IMHO, that would make it easier for people who run Gump to get the > package installed (i.e. download a recent milestone and install, instead > of copying all the JARs into a single directory).
I'm all +1. What do Gumpers think? > > BTW, could there be problems with stuff like SWT being platform dependant? > > -chris > > [EMAIL PROTECTED] wrote: > > vmassol 2003/02/06 02:25:23 > > > > Added: project eclipse.xml > > Log: > > Forgot to add eclipse.xml in my previous commit. Thanks to the ever > vigilant Stefan for this! :-) > > > > Revision Changes Path > > 1.1 jakarta-gump/project/eclipse.xml > > > > Index: eclipse.xml > > =================================================================== > > <module name="eclipse"> > > > > <url href="http://www.eclipse.org/"/> > > <description> > > The Eclipse jars > > </description> > > > > <project name="eclipse"> > > > > <package>org.eclipse</package> > > > > <jar name="junit-3.8.1.jar"/> > > <jar name="boot-2.1.0.jar"/> > > <jar name="resources-2.1.0.jar"/> > > <jar name="runtime-2.1.0.jar"/> > > <jar name="dtcore-2.1.0.jar"/> > > <jar name="dtui-2.1.0.jar"/> > > <jar name="jdtcore-2.1.0.jar"/> > > <jar name="launching-2.1.0.jar"/> > > <jar id="swt" name="swt-2.1.0.jar"/> > > <jar name="jface-2.1.0.jar"/> > > <jar name="antsupport-2.1.0.jar"/> > > <jar name="workbench-2.1.0.jar"/> > > > > </project> > > > > </module> > > > > --------------------------------------------------------------------- > To unsubscribe, e-mail: [EMAIL PROTECTED] > For additional commands, e-mail: [EMAIL PROTECTED] --------------------------------------------------------------------- To unsubscribe, e-mail: [EMAIL PROTECTED] For additional commands, e-mail: [EMAIL PROTECTED]
