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. 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
