I believe it takes several hours. I haven't done it myself though.
On Sat, Apr 5, 2014 at 3:23 AM, Jiaqi Tan <tanji...@cmu.edu> wrote: > Hi, > > I have downloaded the latest version of HOL from github, and my current > build of examples/machine-code is taking quite a long time, and the build > has been stuck in examples/machine-code/instruction-set-models/x86_64 for > about an hour. I'm wondering if that's normal. > > I am using PolyML 5.5.1 on Mac OS X 10.9.2. I have built HOL (poly < > tools/smart-configure.sml followed by bin/build), and I am building > examples/machine-code using "bin/build -dir examples/machine-code". > > The last couple of lines of console output are: > > Exporting theory "prog_x64" ... done. > Theory "prog_x64" took 13.609s to build > Analysing prog_x64Theory.sig > Analysing prog_x64Theory.sml > Linking prog_x64_extraScript.uo to produce theory-builder executable > Poly/ML 5.5.1 Release > <<HOL message: Created theory "prog_x64_extra">> > Saved definition __ "zCODE_HEAP_RAX_def" > [cache]Saved definition __ "IMM32_def" > Saved definition __ "stack_list_def" > Saved definition __ "stack_list_rev_def" > Saved definition __ "stack_ok_def" > Saved definition __ "zSTACK_def" > Saved theorem _____ "x64_pop_r0" > Saved theorem _____ "x64_pop_r1" > Saved theorem _____ "x64_pop_r2" > Saved theorem _____ "x64_pop_r3" > Saved theorem _____ "x64_pop_r6" > Saved theorem _____ "x64_pop_r7" > Saved theorem _____ "x64_pop_r8" > Saved theorem _____ "x64_pop_r9" > Saved theorem _____ "x64_pop_r10" > Saved theorem _____ "x64_pop_r11" > Saved theorem _____ "x64_pop_r12" > Saved theorem _____ "x64_pop_r13" > Saved theorem _____ "x64_pop_r14" > Saved theorem _____ "x64_pop_r15" > > How long does it typically take to build examples/machine-code? Is it > closer to under an hour, or several hours? > > Thanks! > > Regards, > Jiaqi > > > > ------------------------------------------------------------------------------ > > _______________________________________________ > hol-info mailing list > hol-info@lists.sourceforge.net > https://lists.sourceforge.net/lists/listinfo/hol-info > >
------------------------------------------------------------------------------
_______________________________________________ hol-info mailing list hol-info@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/hol-info
