Installation & Execution

Installation of LiLFeS is very easy, since it uses configure script.

Run configure script on the host machine.
```
% ./configure
```
You can specify various options. Use -h option to see them. By default, LiLFeS is installed under /usr/local, so it is required that you have write privileges for that directory. if you don't have root privileges, it's possible to install the system into your home directory. For example, to install in ~/lilfes directory, specify the following option:
```
--prefix=$HOME/lilfes
```
Start compilation.
```
% make
```
Make documents of built-in predicates and libraries
```
% make doc (in English)
```
```
% make jdoc (in Japanese)
```
Install the executable, libraries and documentations.
```
% make install
```

The executable program will be installed at /usr/local/bin/lilfes. The following message is displayed when the program is started:

% lilfes
LiLFeS 1.2.0          by Takaki Makino and Tsujii lab., Tokyo Univ.
>

">" is the command prompt of LiLFeS．From here, it's possible to enter commands to the LiLFeS. From the LiLFeS command line, the options listed below can be specified. You can see the options by -h option.

LiLFeS command line options
Option	Function
-l	Load a module.
--load	Load a module.
-n	Don't read the initialization modules.
--no_initialize	Don't read the initialization modules.
-u	Don't load the user initialization file ( default ~/.lilfesrc).
--no_user_initialize
--warn-module-override	Display a warning if a module is being loaded more than once.
-w	Displays all warning messages.
--warning	Displays all warning messages.
-a	Setting command-line arguments.
--argv	Setting command-line arguments.
-e	Execute a LiLFeS program from command-line
--eval	Execute a LiLFeS program from command-line
-h	Show the list of LiLFeS options.
--help	Show the list of LiLFeS options.

LiLFeS will use the following environment variables if they are defined.

Environment variables of LiLFeS
Variable	Function
LILFES_PATH	User path to search for modules, separated by ":"
LILFESRC	LiLFeS initialization file, read during startup time.

Prev: What is LiLFeS? Next: Types and Features

Table of Contents LiLFeS Documents LiLFeS Home Page Tsujii Lab.