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
