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 details about the exact things you're
trying and the exact errors you're running into for us to provide more
specific help.
On Thu, Feb 7, 2013 at 12:12 PM, Waqar Ahmad <[email protected]>wrote:
> 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,
>
> Waqar Ahmed
> Ph.D IT,
> School of Electrical Engineering and Computer Science (SEECS),
> National University of Science and Technology (NUST), H-12, Islamabad,
> Pakistan
>
>
> ------------------------------------------------------------------------------
> Free Next-Gen Firewall Hardware Offer
> Buy your Sophos next-gen firewall before the end March 2013
> and get the hardware for free! Learn more.
> http://p.sf.net/sfu/sophos-d2d-feb
> _______________________________________________
> hol-info mailing list
> [email protected]
> https://lists.sourceforge.net/lists/listinfo/hol-info
>
>
------------------------------------------------------------------------------
Free Next-Gen Firewall Hardware Offer
Buy your Sophos next-gen firewall before the end March 2013
and get the hardware for free! Learn more.
http://p.sf.net/sfu/sophos-d2d-feb
_______________________________________________
hol-info mailing list
[email protected]
https://lists.sourceforge.net/lists/listinfo/hol-info
