Dear all,
thank you for your responses. In fact after 5 minutes of waiting the
building suddenly continues. I was too impatient. My sincere apologies for
this rather simple question.
Now I've finally installed HOL.
Thank you for your help!
Yours sincerely,
Wen Jun Jie
2013/2/5 Ramana Kumar <[email protected]>
> On Tue, Feb 5, 2013 at 8:17 PM, J. J. W. <[email protected]> wrote:
>
>> Dear all,
>>
>> I am using Mint 13 and already have installed PolyML 5.5 successfully.
>> I've executed the following commands:
>>
>> Mint hol # poly < 'home/user/Downloads/hol/tools/smart-configure.sml'
>>
>> ...
>>
>> Finished configuration!
>> val it = (): unit
>>
>> That worked perfectly since it completed the configuration, next I build
>> hol using PolyML, using the following command:
>>
>> '/home/user/Downloads/hol/bin/build'
>>
>> ...
>>
>> Poly/ML 5.5.0 Release
>> >
>>
>> That works also perfectly since I get this.
>>
>
> A successful build should end with words like "HOL built successfully",
> and not with an open Poly/ML repl session. Did the build really happen?
>
>
>> Now I close my terminal and try to run /hol/bin/hol and I'm getting the
>> following error:
>>
>> /home/user/Downloads/hol/bin/hol: 5: /home/user/Downloads/hol/bin/hol:
>> /home/user/Downloads/hol/bin/hol.builder: not found
>>
>> Can someone point out my elementary mistake?
>>
>> Thanks in advance!
>>
>> Yours sincerely,
>>
>> Wen Jun Jie
>>
>> PS: I am installing the most recent version of HOL4.
>>
>>
>> ------------------------------------------------------------------------------
>> 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
