fo
> *Reply-To: *Waqar Ahmad <12phdwah...@seecs.edu.pk>
> *Date: *Saturday, 28 October 2017 at 18:13
> *To: *hol-info
> *Subject: *[Hol-info] build failed with latest HOL
>
>
>
> Hi all,
>
> I'm installing the latest HOL (Github version) in Ubuntu. The ins
That’s a Poly/ML bug. Please use the 5.7 release available at
https://github.com/polyml/polyml/archive/v5.7.tar.gz
Michael
From: Waqar Ahmad via hol-info
Reply-To: Waqar Ahmad <12phdwah...@seecs.edu.pk>
Date: Saturday, 28 October 2017 at 18:13
To: hol-info
Subject: [Hol-info] build
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:
waqar@waqar-VirtualBox:~/Downloads/HOL/HOL$ bin/build
*** Using kernel option -stdknl from earlier build com
