t;
> *From: *Waqar Ahmad via hol-info <hol-info@lists.sourceforge.net>
> *Reply-To: *Waqar Ahmad <12phdwah...@seecs.edu.pk>
> *Date: *Saturday, 28 October 2017 at 18:13
> *To: *hol-info <hol-info@lists.sourceforge.net>
> *Subject: *[Hol-info] build failed with l
To: hol-info <hol-info@lists.sourceforge.net>
Subject: [Hol-info] build failed with latest HOL
Hi all,
I'm installing the latest HOL (Github version) in Ubuntu. The installation of
the polyml v5.7.1 went successfully. However, the building of HOL failed with
following error message:
waqa