[m-dev.] Source distribution file name

[Julien Fischer]

On Thu, Jan 17, 2013 at 4:06 PM, Paul Bone <paul at bone.id.au> wrote:
> On Thu, Jan 17, 2013 at 03:58:32PM +1100, Julien Fischer wrote:
>> On Thu, Jan 17, 2013 at 3:56 PM, Paul Bone <paul at bone.id.au> wrote:
>> > On Thu, Jan 17, 2013 at 03:36:53PM +1100, Julien Fischer wrote:
>> >> Hi,
>> >>
>> >> Previously we had a bunch of tarballs corresponding to the source distribution,
>> >>
>> >>     mercury-compiler-<VERSION>.tar.gz
>> >>     mercury-extras-<VERSION>.tar.gz
>> >>     mercury-tests-<VERSION>.tar.gz
>> >>
>> >> As these have all now been rolled into a single tar ball, I propose
>> >> that we change
>> >> the name to
>> >>
>> >>    mercury-srcdist-<VERSION>.tar.gz
>> >>
>> >
>> > mercury-<version>.tar.gz makes sense to me.
>>
>> That's often the name of the installation directory though.
>>
>> > We don't provide any tarballs that _arn't_ the source dist.
>>
>> We have in the past (and may again in the future).
>
> Fair enough.
>
> My remaining thing is that name-version.tar.gz is traditional.  It's what
> sources for most other projects do.  (This is a pretty weak argument on it's
> own.)  Sticking to what people expect may help new users.

Yes, but Mercury is a bit different here because the "source distribution" isn't
simply just the source code, it's all the pre-generated .c files as well.
My main rationale for including "srcdist" in the name is that our documentation
talks about the "source distribution" quite a bit.  IMO having something in the
filename that identifies the tarball as that of the source
distribution is helpful.

Cheers,
Julien.