'make dist'

[Waldek Hebisch]

I consider removing 'dist' target from the Makefile. For creating
release I use 'src/scripts/mkdist.sh' and it seems that other
folks do not use 'dist' target. 'dist' target contains comparable
number of lines as 'src/scripts/mkdist.sh' and adds extra work
to maintain Makefiles.


--
Waldek Hebisch

[Dima Pasechnik]

'dist' target normally is provided by packages which use automake, and
in this case it's no extra work, at all.
Without automake, you can just set up the target to invoke
'src/scripts/mkdist.sh'

Just in case,
Dima

>
>
> --
> Waldek Hebisch
>
> --
> You received this message because you are subscribed to the Google Groups "FriCAS - computer algebra system" group.
> To unsubscribe from this group and stop receiving emails from it, send an email to fricas-devel...@googlegroups.com.
> To view this discussion on the web visit https://groups.google.com/d/msgid/fricas-devel/ZK3KNjfJpjQ%2B19xr%40fricas.math.uni.wroc.pl.

[Waldek Hebisch]

On Wed, Jul 12, 2023 at 12:22:27PM +0100, Dima Pasechnik wrote:
> On Tue, Jul 11, 2023 at 10:31 PM Waldek Hebisch
> <de...@fricas.math.uni.wroc.pl> wrote:
> >
> > I consider removing 'dist' target from the Makefile. For creating
> > release I use 'src/scripts/mkdist.sh' and it seems that other
> > folks do not use 'dist' target. 'dist' target contains comparable
> > number of lines as 'src/scripts/mkdist.sh' and adds extra work
> > to maintain Makefiles.
>
> 'dist' target normally is provided by packages which use automake, and
> in this case it's no extra work, at all.
> Without automake, you can just set up the target to invoke
> 'src/scripts/mkdist.sh'

If 'dist' target is considered useful, we could do this. But it
is not clear if it is useful, it it probably differs from
automake ways.

--
Waldek Hebisch