Did you let build run until you saw the message "HOL built successfully"? It takes a while. My guess is that you closed your terminal before HOL was actually built.
Michael On 06/02/2013, at 7:17, "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. 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
