Hi Waqar,
Please reply to the HOL Info mailing list, and not just to me personally. I
have included the mailing list again.
If you read the error message, you might notice the line:
"g++: command not found"
If you search in your package manager for g++ (or search on the Internet),
you might lear
On 08/02/13 10:43, Michael Norrish wrote:
> On 08/02/13 09:09, Ramana Kumar wrote:
>> There is a polyml package in the Ubuntu package repositories, but I think it
>> is
>> probably quite old (around version 5.2). Still, it would be usable.
>
> Unfortunately, Kananaskis-8, as released, doesn't wor
On 08/02/13 09:09, Ramana Kumar wrote:
> There is a polyml package in the Ubuntu package repositories, but I think it
> is
> probably quite old (around version 5.2). Still, it would be usable.
Unfortunately, Kananaskis-8, as released, doesn't work with polyml5.2.
I'd recommend upgrading to a mor
There is a polyml package in the Ubuntu package repositories, but I think
it is probably quite old (around version 5.2). Still, it would be usable.
Otherwise, you can install the latest version (5.5) of polyml as per
http://www.polyml.org/download.html.
I expect you'll have to give us more detail
Dear all,
I am facing difficulty in installing mosml or polyml on ubuntu. I am
following the procedure wrritten in the install file but every time when I
make the system from binaries it ends up in error. Kindly, tell me with the
easiest way to install the HOL on Ubuntu. Thanks
--
Regards,
Wa
