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 learn that "g++" is the C++ compiler from the GNU Compiler
Collection (gcc).
Of that you can obtain a recent version from the Ubuntu package
repositories, using your package manager.
(Admittedly the Poly/ML website and sources don't do a great job of
advertising that gcc is a requirement for building it. But a C/C++ compiler
is a very common requirement for building software.)
Cheers,
Ramana
On Fri, Feb 8, 2013 at 5:05 AM, Waqar Ahmad <[email protected]>wrote:
> Dear,
>
> My problem is when I make the Polyml package I recieve following error,
> ../libtool: line 1128: g++: command not found
> make[2]: *** [arb.lo] Error 1
> make[2]: Leaving directory
> `/home/waqar_nust/Downloads/polyml.5.5/libpolyml'
> make[1]: *** [all-recursive] Error 1
> make[1]: Leaving directory `/home/waqar_nust/Downloads/polyml.5.5'
> make: *** [all] Error 2
> ...
> Kindly, help me..
>
>
> On Fri, Feb 8, 2013 at 3:09 AM, Ramana Kumar <[email protected]>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.
>>
>> 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
>>>
>>>
>>
>
>
> --
> 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
