Re: [mizar] installing mmlquery locally

[Piotr Rudnicki <piotr@cs.ualberta.ca>]

Hi,

Are these instructions available somewhere on web?

PR


On Mon, Feb 05, 2007 at 01:34:30PM +0000, Krzysztof Retel wrote:
> Hi Jesse,
> 
> I present one possible installation of MML Query engine locally.
> 
> First you have to download:
> 1. kernel.tgz ,
> 2. present.tgz,
> 3. 4.76.859.tgz - current database for MML Query
> 
> Untar all these files in directory e.g. MMLQ. We will install MML Query 
> in directory: megrez, on the path: /home/user_name/
> 1. Once you untar all the files, move directories 'kernel' and 'present' 
> into directory 'megrez'
> 
> 2. Changed a first path in a file 'directories.pl' (in directory: 
> 'megrez/kernel') into your installation path: i.e.
> $megrez_cvsroot = '/home/user_name/megrez';
> 
> 3. Changed a directory path (line 11) in a file 'mmlquery' (directory: 
> 'megrez/kernel') into a full path:
> ####### Change directory below if necessary
> require '/home/user_name/megrez/kernel/directories.pl';
> #######
> 
> 4. Create a directory named: 'query' inside directory 'megrez'.
> 5. Move untar database directory '4.76.859' into: 'megrez/query'.
> 6. Create symbolic link inside: 'megrez/query', i.e.
> ln -s 4.76.859 current
> 7. Add symbolic link to: 'megrez/kerenel/mmlquery' in your executables.
> 
> That's it.
> You can run mmlquery on top level by typing:
> mmlquery
> Once it run you should receive something similar to:
> retel@lxultra9:/data0/retel/megrez$ mmlquery
> MML Query, version 1.3.03, Copyright (c) 2001-2004, Grzegorz Bancerek
> Standard presentation
> mmlquery>
> 
> To check if the current database is properly link type for instance a 
> query: list of func from article NAT_1;
> You should received the following:
> mmlquery> list of func from article NAT_1;
> QUERY: 'list of func from article NAT_1'
> 2 element(s)
> NAT_1:func 1
> NAT_1:func 2
> mmlquery>
> 
> This means everything works fine.
> 
> By the way, you can use mmlquery engine on the emacs side (if you want 
> to work locally, there is also an option to send queries into a remote 
> server and view the answers through a web-browser).
> To do that:
> 1.you have to to install GAB 
> (http://merak.pb.bialystok.pl/mmlquery/downloads/gab-4.76.759.tgz), and 
> define properly a path to the unpacked GABs while customising Mizar Mode.
> 2. you have to set up properly the Mizar MMLQuery group while 
> customising Mizar Mode.
> 
> Hope it helps
> 
> Kind Regards,
> Krzysztof Retel
> 
> 
> 
> 
> >I'm starting to learn about the MMLQuery tool.  It would be nice to
> >run mmlquery locally on my machine, so that I can run queries when not
> >connected to the network.  How can I do that?  I downloaded kernel.tgz
> >from http://merak.pb.bialystok.pl/mmlquery/downloads but I'm not sure
> >what to do next, or how to test whether the installation was done
> >correctly.  Any hints?
> >
> >Thanks,
> >
> >Jesse
> >
> >  

-- 
Piotr Rudnicki        CompSci, University of Alberta, Edmonton, Canada
                      http://web.cs.ualberta.ca/~piotr