Re: swi-prolog-lite and gmp

["Lieven De Keyzer" <lieven.dekeyzer%gmail.com@localhost>]

On 12/5/06, Christian Biere <christianbiere%gmx.de@localhost> wrote:
> Lieven De Keyzer wrote:
> > >See the config.log file in the work directory.
>
> > There is no such file in the work directory.
>
> There should be a work/pl*/src/config.log.

bash-3.1# find . -name '.config*'
./work/.configure_makevars.mk
./work/.configure_done