This is the mail archive of the
cygwin-apps
mailing list for the Cygwin project.
Re: libming and ploticus (Attn: SWI-Prolog maintainer)
On Mon, 26 Sep 2005, Corinna Vinschen wrote:
> On Sep 26 11:22, Igor Pechtchanski wrote:
> > On Mon, 26 Sep 2005, Reini Urban wrote:
> > > I forgot to mention that SWI-Prolog already has pl.exe in a seperate
> > > location, and /usr/bin/pl is just a symlink to that.
> > >
> > > On SWI-Prolog installation the symlink is overwritten by setup.exe to
> > > use the prolog binary, and on ploticus installation the same, just by
> > > the postinstall script. There's no action required at the SWI-Prolog
> > > side.
> >
> > I'm not sure I parsed the last paragraph correctly, but if I did, then the
> > action of creating the symlink for SWI-Prolog is unconditional. It needs
> > to be made conditional, just like the one for ploticus, otherwise
> > installing SWI-Prolog will *always* overwrite the symlink.
>
> Sorry, but the prolog interpreter is historically always named pl. And
> a name clash like this, which provides *entirely* different tools using
> the same name shouldn't be solved on a "first come, first serve" base.
> This isn't the same situation as with ksh and pdksh or ash and bash.
> So, no, I won't change the SWI-Prolog package to create /usr/bin/pl
> only if it doesn't exist. What's the problem having ploticus being named
> ploticus?
Only the fact that it was also historically always named "pl"... :-)
In any case, having a postinstall script in the ploticus package that
conditionally creates the symlink /usr/bin/ploticus -> /usr/bin/pl should
be enough. That way, users who don't have SWI-Prolog installed will get
the name they're used to, and those who *do* have SWI-Prolog installed
probably won't expect ploticus to be /usr/bin/pl anyway. Installing
SWI-Prolog after ploticus will shadow the symlink, so no problems here.
Comments?
Igor
--
http://cs.nyu.edu/~pechtcha/
|\ _,,,---,,_ pechtcha@cs.nyu.edu
ZZZzz /,`.-'`' -. ;-;;,_ igor@watson.ibm.com
|,4- ) )-,_. ,\ ( `'-' Igor Pechtchanski, Ph.D.
'---''(_/--' `-'\_) fL a.k.a JaguaR-R-R-r-r-r-.-.-. Meow!
If there's any real truth it's that the entire multidimensional infinity
of the Universe is almost certainly being run by a bunch of maniacs. /DA