Re: [Hol-developers] [Hol-checkins] SF.net SVN: hol:[6087] HOL/install.txt

[Michael N. <Mic...@ni...>]

Konrad Slind wrote:

> OK. So the invocation of CommandLine.name() returns two different
> answers on the two MLs, and smart-configure was written to cater to
> both.  But PATH confusion wreaked havoc. Since I hate messing about
> with paths, I'd still keep the instructions as is. This may
> ultimately stem from me installing Poly/ML in my home directory (and
> thus not automatically on a standard path).

Well, the problem is the symbolic link really.  Perhaps I'll make
smart-configure even smarter by detecting and following the symbolic
link.

Obviously, giving the absolute path is fine.  Alternatively, if you
did a normal make install on poly, I expect it'd put it in
/usr/local/bin, which would likely be in your path anyway, and you
wouldn't need the symbolic link in your ~/bin.

Michael.