I previously wrote
>One of the things that happens by default when you re-link poplog using
>the newpop command (help newpop) is running
>
> $popcom/make_indexes
And I reported that I had a new version of
$usepop/pop/lib/lib/make_indexes.p
here
http://www.cs.bham.ac.uk/research/poplog/lib/make_indexes.p
> (snip)
>
>It still needs some tidying up. I have only just realised that it could
>probably have been made much simpler and faster by using sysfileinode
>and storing inodes of visited directories, instead of creating a
>temporary 'mark' file in each such directory.
netspam@softluck.plus.com (Jonathan L Cunningham)
responded:
> sysfileinode() is a unix only procedure, so use of it would not be
> portable to a Windows version of poplog.
I have now done it using #IF DEF UNIX etc. to handle the unix/linux
case, leaving the previous method for windows.
If cygwin or vmware is running I wonder whether that makes
sysfileinode work?
> {This is an opportunity
> for people to raise general comments about cross-platform
> compatibility issues.}
I don't have knowledge or time to do anything about windows. So I'll
leave it to others.
I don't even know how to recompile and rebuild the self-installing
version currently available for windows.
> I'm not sure that there is the equivalent of make_indexes in the
> Wnidows version of poplog which is installed on my machine, but
> there should be one: it should also be much simpler for users to
> re-link windows poplog in the next version too.
As far as I can tell the windows poplog system does not have the
directory corresponding to
$usepop/pop/com/
which on linux/unix systems has scripts for doing various things.
However, it does seem to include
$usepop/pop/lib/lib/make_indexes.p
Aaron
====
Aaron Sloman, ( http://www.cs.bham.ac.uk/~axs/ )
School of Computer Science, The University of Birmingham, B15 2TT, UK
EMAIL A.Sloman AT cs.bham.ac.uk (ReadATas@please !)
PAPERS: http://www.cs.bham.ac.uk/research/cogaff/ (And free book on Philosophy of AI)
FREE TOOLS: http://www.cs.bham.ac.uk/research/poplog/freepoplog.html
|