EiffelStore
-----------

Installation 

1. Make sure the environment variables ISE_EIFFEL and ISE_PLATFORM are set.

2. Configure your setup for the database

3. Install the C-libraries:

   Start your databases kernels if needed (most of the C-libraries are based
   on DBMS libraries, but some of them use a precompiler which needs to acces
   the database kernel).

	type "finish_freezing" in the following directories:

	$ISE_EIFFEL/library/time/Clib
	$ISE_EIFFEL/library/store/support/Clib

	and in the directory specific to the handle you are using. For instance,
	for the Ingres handle:

	$ISE_EIFFEL/library/store/dbms/rdbms/ingres/Clib