Cannot generate eiffel docs after fresh install

[Remy.Schleimer]

Hi there, 

In an attempt to start with liberty eiffel, I have done the following:

git clone git://git.sv.gnu.org/liberty-eiffel.git

cd liberty-eiffel

./install.sh

export PATH=$PATH:`pwd`/target/bin

mkdir dev

cd dev

se eiffeldoc

This yields the following error:

****** Fatal Error: Cannot find the class "LIBPQ_FE_EXTERNALS" in any known cluster.

Line 23 in POSTGRESQL_DATABASE (/Users/eiffel/Repos/liberty-eiffel/src/wrappers/database/library/postgresql/postgresql_database.e):

insert LIBPQ_FE_EXTERNALS

                 

———————————

Any hints to get rid of this would be great

Remy