On Wed, Jul 12, 2023 at 12:22:27PM +0100, Dima Pasechnik wrote:
> On Tue, Jul 11, 2023 at 10:31 PM Waldek Hebisch
> <[email protected]> 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
--
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 [email protected].
To view this discussion on the web visit
https://groups.google.com/d/msgid/fricas-devel/ZLFF3sUb/XvWl8ia%40fricas.math.uni.wroc.pl.
