On 2018-04-29 04:04, Jackson Isaac wrote:
> While working on acl2, I was getting an error for library not found
> while running in trace-mode (didn't throw the error in non trace-mode).

I've also noticed a weird issue with the trace mode when I tried to
update the fontforge port.

Without -t everything worked like a charm. Using the trace mode,
configure didn't find libraries in /opt/local/lib, which were clearly
available.

-- 
regards Helmut K. C. Tessarek              KeyID 0x172380A011EF4944
Key fingerprint = 8A55 70C1 BD85 D34E ADBC 386C 1723 80A0 11EF 4944

/*
   Thou shalt not follow the NULL pointer for chaos and madness
   await thee at its end.
*/

Attachment: signature.asc
Description: OpenPGP digital signature

Reply via email to