Publish plugin issue
Holger Mappt
holgerosm at gmx.net
Wed May 30 18:07:43 UTC 2018
On 2018-05-30 at 11:57 +0200 Dirk Stöcker wrote:
> On Wed, 30 May 2018, Holger Mappt wrote:
>
>> I don't see how that can be done without conflicts. If the sources and
>> javadoc JARs are generated but not svn added and svn committed then
>> those JARs are SVN private files. Everyone who runs the according
>> target will have those private files in her/his working copy dist
>> directory. If someone svn adds and svn commits the JARs then the next
>> svn update will show merge conflicts because the JARs are now in the
>> repository and the working copy as private files and SVN doesn't know
>> what to do.
>>
>> A clean solution is to either add the sources and javadoc JARs to all
>> targets and to create+commit them for all plugins in dist, or not to
>> do that. The sources and javadoc JARs that were added in r34045 were
>> deleted in the next revision, so my assumption is that we don't want
>> those JARs in dist.
>>
>> So what's the plan with sources and javadoc JARs?
>
> Vincent wants these files to build, but they should not to be released.
>
> Add an svn:ignore in build directory?
>
> Ciao
Hi,
Build the files to do what with them? Would a nodist directory parallel
to dist be an option if the JARs are not to be uploaded to the repository?
The conflict will occur if the JARs are released later on. An svn:ignore
will not help in that case. It is better to have separate directories
for released and not released files.
Regards,
Holger
More information about the josm-dev
mailing list