Vlhug-3.cs.utexas.edu.omcpV|{33v`߯]A]@BV~>c<=@Ѱ@@/ConfCleanCFLAGS 'а@ >/u/jared/Milawa/Support/omake/lib/omake/configure/Configure.om AZ Ѱ @"LDtа@ 2/u/jared/Milawa/Support/omake/lib/omake/build/C.om9nDnZѰ@&CFLAGS{L fDf[Ѱ@'EXT_DLLhа@ 7/u/jared/Milawa/Support/omake/lib/omake/build/Common.om$ژX|D|RѰ@@&DIRMAP6]а@)OMakeroot0jAK Ѱ,@1DynamicCXXLibraryZ="Ah@@AѰ2@1StaticCObjectCopyOL(Bl@@ACѰ8@(CProgram.!B!`Ѱ@$timeaXAXM@@AѰD@%MKDIR+l@lM@@ACGѰJ@"CC=IĢ@cDcZѰP@"AR&DFhDhUѰV@*CXXProgramXsLBb@@AѰ\@"AS'DZRwEw[@@ACѰb@/DynamicCLibraryi=X_A_fѰh@"CPJLOiBiI@@AѰn@+TryCompileCtmAT@@ACGOѰt@&DIRSEP \^[vDvOѰX@4ParseIncludeBookLineN@WAbѰ@"MV}3gj@jGѰ@"LNvmAK@@AѰ@"RMd]sk@kJ@@ACѰ@(TryLinkC AQѰ@)CheckCLib\*B`@@AѰ@%ASOUT ;cԢxDxV@@ACGѰ@,announce_job %AUѰ@.locate_program Ux9@A@ZѰ@'deps_if vAvW@@AѰ@+ExtractBody hwy@A@c@@ACѰ@'EXT_LIB p٣{J{XѰ@$ROOT לnBnR@@AѰ@)BOLD_BLUE ˷lg@gj@@ACGO_аΠ@3DynamicCLibraryCopy0ܢAmѰԠ@2VerboseCheckHeaderѢ3@3rѰڠ@5StaticCLibraryInstallwBwѰ@)GCC_FOUNDiHdѰ@,ConfMsgErrorBMXAXTѰʠ@)basic_job lAi@@AѰ@3VerboseCheckCHeaderPBAd@@ACѰ@'EXT_OBJ/}D}RѰܠ@%GREENkId@dh@@AѰ@,CheckCHeaderDB^@@ACGѰ @'ASFLAGS(#yDy]Ѱ@+ConfMsgWarn3YTLT^Ѱ@,INCLUDES_OPT"M lDl\@@AѰ@6CollectIncludeBookDepsAd@@ACѰ"@%CCOUT>rmDmVѰ@$SBCLcwأ@b@@AѰ @+BOLD_PURPLE~ h@hj@@ACGOѰ@-job_from_filepSAgѰ:@(CXX_EXTS0BcѰ@@+CheckHeader D?2@2dѰF@%CHMOD-n@nM@@AѰL@/VerboseCheckLibp3!K1@1l@@ACѰ0@$BLUE+j/e@ehѰX@)CheckProg΢WBBBZ@@AѰ^@%LDOUT~TuDuV@@ACGѰB@+all_subdirsHAkAkPѰj@/ConfMsgChecking]iEBEXѰN@)all_books@M`A`O@@AѰv@0VerboseCheckCLibTu$A$f@@ACѰ|@0StaticCXXLibrary#֢rBhѰ`@&ADDJOBl_Ae@@AѰ@&RANLIB]~jDj_@@ACGO_Ѱ@#CPP$eDe^Ѱ@$LIBS"}qDqQѰxB#ACL!ڔwAcѰ@'INSTALL ȝtJtVѰ@)NOSCANNER Ig_BY@@AѰ@#ACL!ڒ@a@@ACѰ@)DirLookup!]AQѰ@)check_job!yA_@@AѰ@8DynamicCXXLibraryInstall"8lAy@@ACGѰĠ@#BIN"Op@pRѰʠ@-TryCompilingC"֘ޣA{ѰР@'LDFLAGS"ݢrDrT@@AѰ֠@1CXXProgramInstall"^Ar@@ACѰ@#CCL#،@@aѰ@1standard_cleaning#٣NANW@@AѰ@4StaticCXXLibraryCopy$'SAn@@ACGOа@7StaticCXXLibraryInstall-AxѰ@'TryRunC( 1APѰ@4StaticCObjectInstall&.BvѰ@1PREFIXED_INCLUDES%BGѰ@#CXX%sedDd[@@AѰ @/CGeneratedFiles%!A`@@ACѰ@-StaticCObject'BeѰ@,PCertifyBook&aǣ5A5c@@AѰ@/CProgramInstall'uBuq@@ACGѰ@.first_nonempty*MAM]Ѱ*@(RunCProg(Oo:)AQѰ0@#EXE(3fDN@@AѰ@*write_file(xA`@@ACѰ@%CMUCL*!\@bѰ @+CertifyBook*@#7*A*_@@AѰH@6DynamicCLibraryInstall,.l>Aw@@ACGOѰN@#LIB0g5o@oRѰT@4LocalCGeneratedFiles0{8JAeѰZ@)GXX_FOUND.ъfPHyѰ`@%RMDIR.W^Gm@mM@@AѰf@'PATHSEP0Z GMuDuO@@ACѰl@#LEX0bpDpYѰr@.StaticCLibrary0hMBMf@@AѰV@,GENERIC_LISP0ʣUAP@@ACGа~@(CL_FOUND6uТt|H|bѰ@$YACC3ڬzoDo[Ѱ@(CXXFLAGS2gDg]Ѱ@,CProgramCopy1~zNBNg@@AѰ@(INCLUDES2.}kDkY@@ACѰz@%BLACK5Q-ybAbhѰ@*all_pcerts5svAvP@@AѰ@-ConfMsgResult6IN*HAHU@@ACGѰ@#SCL:n@aа@+LDFLAGS_DLL9ĢsDs]Ѱ@3CDLL_IMPLIES_STATIC6mܢtDteѰ@:slow_nfs_check_file_exists6"Ad@@AѰƠ@)LIB_FOUND6ܢ}H}d@@ACѰ̠@-NATIVE_CFLAGS9@VѰ@#RED9";c@ch@@AѰؠ@2StaticCLibraryCopy9ߝBm@@ACGаޠ@5DynamicCXXLibraryCopy=&.ܢAoѰ@(CheckLib; E0B0`ѰȠ@&PURPLE:-f@fh@@AѰΠ@(BOLD_RED; qi@il@@ACѰ@+BYTE_CFLAGS>g]BVѰڠ@:actually_check_file_exists=q?PAd@@Aа@,ConfMsgFound?wqAqVѰ@'EXT_ASM>~D~R@@AѰ@,ConfMsgYesNo?$U mBmWа@%align?lAlR@@Aа@%CLISP?@c@@ACEGKS[csCcа@,Omake_ir_ast)or@@@@SASM %build %omake#lib%omake'Support&Milawa!%jared%!u)@,@@-<#<#. A>YA>Y/PP0tVtV17Ut7Ut2 Z SZ S3%  4**)NN$C.om70crrcrr@5T@TSа=@*PervasivesG^@@@@@@1DefineCommandVars°@@[A[R G@*OMakeFlags%ΠG[L[QJ[L[Q%-s -k@@@@ObObhBV@%shell#VbWbgYbWb^'printf ]b^bgb`b_bf'\033[0m@@@@@ecNchBhcVcgkcVc]'printf oc]cgbrc^cf(\033[31m@@@@@wdNdhB(zdVdg}dVd]'printf d]dgbd^df(\033[32m@@@YZ@@eNehB:eVegeVe]'printf e]egbe^ef(\033[34m@@@@@fNfhBLfVfgfVf]'printf f]fgbf^ff(\033[35m@@@@@gNgjB^gVgigVg]'printf g]gibg^gh*\033[34;1m@@@@@hNhjBphVhihVh]'printf h]hibh^hh*\033[35;1m@@@@@iNilBiVikiVi]'printf i]ikbi^ij,\033[31;5;1m@@@@@#str+c#@#len `n@oRoh @@oXohB@&stringkoaogB @@pDpU@!ii@@pHpUB@&length @@qDq[Ѱ @%whileTg@'default9g rHrX)@@rNrXrNrP rPrVB2@!rVrX! @%sHsX,@@'sLsXB.@#add.sRsTB5@1sVsW!1@@@@5qJqZB<@"ltz@CQSQjBFQ\QiB+@@@@IVDVJKVDVJ@@@34@T@#cmd:qj@T[Y[p[@%start.@@Z[a[pB%a@,gettimeofdayh>@a\D\JBI@f]D]Ym@#end '@@l]J]YB@o^D^hq^K^hB<x@#intՏx^Q^gBC@#sub+f#Ġ^W^f^W^]B@^]^^! ^^^fB5@@@@@@?@@@b^bx@)lispfiles,o@@bjbxB_@$glob+fhbqbwbqbw&*.lisp@@cDcqcGcqBQcOceBcXcdB@@cgcpcgcp&*.lisp@@g]gcg]gc@@hDhHiHi|iOi|BȠ@/replacesuffixesBaiaifiaif%.lisp@ihimihim%.cert@ioi{BH@@@@@@@@@pZpm@$dirs:@@papmBMphpi!Dpkpl!*@qDqgqGqgBqOq`BqXq_B@@qbqfqbqf!*@@rHrNrHrN@@sDsHJ tHtr tOtrBְ@(set-diffԠtZtaB7@tctqtctq.autodoc proofs@@@@@@@@@x_xy@@!xkxyB$xrxx'xrxx&*.lisp@@+yDyq/yGyqBڠ2yOyeBC5yXydB@@8ygyp;ygyp&*.lisp@@?}]}cA}]}c@@E~D~HHH}JO}BMafPaf%.lisp@ThnWhn&.pcert@[p|B=@@@@@@@@@_McBڠb^b$acl2@@@gLaB⠡j]`#acl@@@oLaBꠡr]`#ccl@qr@@wLbBz]a$sbcl@@@LaB]`#scl@mn@@LbB]a$lisp@@@LcB ]b%clisp@78@@MeB^d&addjob@IJ@@PPBaOagB@gh! hoB@op! pxB@xy! yAB@AB! BHB8@HI! IOBA@@@@@JKBӠ@*create-map W`W`&SYSTEM@bJbd dkB@$HOMErE@kJ>/Milawa/Support/acl2-3.4/books@@]^@@#key@D^G^B@#mem!Ɵ@T]TV V\Bw@\] @@ HgOgB@$find H@]f]_ _eB@ef @@@@$DHh'H`*P_/*** Fatal error@.Ht1Ps4Pm=*** No DIRMAP entry for :dir 8msB4@@@;HD>PCAPq !*** Perhaps you should add it to EqxB@HxC+/OMakeroot?@@LHOS@$exitSSMN!1@@@@@@@]@$line-2a@#extZw@ cDQ.j@%match ~ à^m t[^;]*[(][Ii][Nn][Cc][Ll][Uu][Dd][Ee]-[Bb][Oo][Oo][Kk][ \t]*["]\([^"]*\)["].*:[Dd][Ii][Rr][ \t]*:\([^ \t)]*\)[ \t)].*@sHUz@(filename%@@ySUB@!11 @HY@,symbolic_dir-`P@@WYB@!22 N@H@@,resolved_dir*@@W@BcBa@)uppercasejro~B@@@HtOtOQ Q`B@`a!/alB=@lm!.msBb]@st @@@WX L[^;]*[(][Ii][Nn][Cc][Ll][Uu][Dd][Ee]-[Bb][Oo][Oo][Kk][ \t]*["]\([^"]*\)["].*@HUS@@SUBP@HdOdOQ Q\B@\]!.]cB&@cd @@@ՐDKHAMP@Py )ParseIncludeBookLine called on bad line: y@B@@@@@@JQB@@@@@@@$file # @Ds˰@$scan~@@Ksg Lr $^[^;]*\([ \t]*include-book[ \t]*".*"@ D|@(includes5 }@@O|Bް@&shellawX{Xa)egrep -i !ahB!@$hi! (ipB10@,py) || echo 0y{b@@@3DKs@@@9D_@@'foreachi BHx@AEQxBHhoB@LqwBU@@@APLP$lineTR]BG@@WDQYKQB&@@@\AY'c@$ruleW4%falsefAIiAI(.SCANNER@mKQpKLBw@!%% @wLQ%.cert@{SY~STB@TY%.lisp@*AP@)empty-map H:@@0DKDKAn@@LnBegB@!<<@im$cert@AYkL`T_TV VXB@!@@@XZ": Z^B@^_ @@@@IJ!iLWB7@@@@@@@AZqmAIAI(.SCANNER@KRKLBl@LR&.mtime@TZTUBw@UZ%.lisp@"Ai@$DKDKHv@@SvBlnBe@ pu%mtime@ AY͠ L]p T\ TVB^@ VX":  X\B @@@@@ IJ!i !LWB)@@@@@@@@+@ 'Dh *Lg -LTBT@ 0TV!(@ 6V]B>@ :]_!)@ @_gB@@@ CDR J@"rm/ݠ JGQ MGNB@ PNQ# -f@@@@{|@ Z@$namex A@ ZHB a@#res(݄L@@ `NBB cVA fV\&sh -c  j\Ab m]e(test -e  qelB@ ul@4 && echo 1 || echo 0@@@ yCX }FXB( NTB&@ VW!0@ AI HI!0@@ CGҠ AI HI!1@@@@@@C@ JX @)max_tries25Y&@@ VX"20 DX @%tries1Q#@@ LXB@ DQ @#arg@@ JQBb@ D[ IyBj QR!1 TxB qwB@@@ Ac DcB{ LTB-@ VbB:@@ EM LM!1@@ HL$ EpH Mo Mi@@@ EM LM!1@@@@@ DK As_ Ir IT+Slow NFS?  T\B^@ \l0 tries left for  lrB\@@@ A[h@@ I[B OWBm@ YZ!1@ AI AI(sleep 3 @@@@ "J[B )@"gt' )OWB@ ,YZ!0@@ 0DL 2KL!0@@@@ <@&target/۠ @@%debug3 (@ Axv E{vB HCD!1 LFuB OctBW SjsB@@@@ WHH ZPG ]PmBn `Xh cX_B 6@ f_hB@@ ijl"60@ mmn!  qnwB@ tw~B _@ x~!s |GB@@@@@ DHĠ HK蠥 PJ P[B@ [o4*** FAILED TO BUILD  oxB=@ x|$ *** |DB @ DJB@@@ H\ HR*tail -200  R\B @'outfile @@ HE PD P[B@ [o4*** FAILED TO BUILD  oxBf@ x|$ *** |DBI@@@@@@@@@O ʠ@(contents6@ D` Ѡ@"fd@@ I`B נ@%fopen X Q\Bd@ ^_!w@ D` @(fprintln1? MRB@ T_B&@@ DP @%closeZT JOB*@@ DO JN$sync@ DR JQ JQ'sleep 2@@@@ ? @@Ҡ @,instructions.Ջ@  q Y @(tempfile7q@@  | YB @)addsuffix %֠  H M  H M%.work@ $ O XB ]@@ ( D j@@ + N jB . Z ^ 1 Z ^$.out@ 5 ` iB@@ 8 D [  ; Q ZB@@ >Dl - AOZB1@ D\kB };@@ HDc LGcB OOXB @ RZbB Y@%EMPTYF7@@ YH} @@@ [O}B B ^V| aV`B @ e`c# <  icnBY@ lnr$ >&  pr|BH@@@ sAL$ vGK$sync@ zAO+ }GN GN'sleep 2@@ Hq  R[Bc@ ]gBb@ ipB t@@@@ DHՠ AB {@@ HBB } OA OXB ?@ XY!  YAb ZdBE@ dg# <  grB@ rv$ >&  v@B@@@@ ALh GK$sync@ AOo GN GN'sleep 2@@ Hq 5 R[B@ ]gB@ ipB @@@@@@@  @c ܠ@&infile3 _@ x^7@@ B^Bɠ NR NR$.out@ T]B @@ D[ n QZB@@ Dc GcB OXB @ ZbB@@  A t @@  H tB 頥  O s  O YB @  Y \# <   \ eB ;@  e i$ >&   i sB<@@@ !A!L̠ !G!K$sync@ ""A"OӠ %"G"N ("G"N'sleep 2@@ ,#A#j  /#K#TBF@ 2#V#`BV@ 5#b#iB @@@@ 9$D$H} <%A%@ #@@ >%H%@B % A%O% D%O%XB @ G%X%Y!  K%Y%b N%Z%dBF@ Q%d%g# <  U%g%pBE@ X%p%t$ >&  \%t%~B@@@@ _&A&L  b&G&K$sync@ f'A'O  i'G'N l'G'N'sleep 2@@ p(A(j ݠ s(K(TB@ v(V(`B@ y(b(iB `@@@@@@@ ] ^@F @ +D3J  +N+WB fN@ +Y+cB j@ +e3I +e1\ :ubt! 1 (ACL2::set-debugger-enable t) (ACL2::set-inhibit-output-lst '(ACL2::prove ACL2::proof-tree ACL2::warning ACL2::observation ACL2::event ACL2::expansion)) (ACL2::certify-book " 1\1^B @!** V@ 1^3I Z" ACL2::? t :skip-proofs-okp t :defaxioms-okp t :ttags :all) (ACL2::good-bye) @@@@  @ @(booknameL/@ 6D>K ݠ 6N6_ 6N6YB @ 6Y6_&.pcert@ 6a6kB A@ 6m>J 6m9] Q :ubt! 1 (ACL2::set-debugger-enable t) (ACL2::include-book " 9]9dB @ 9dJ "") (ACL2::good-bye) @@@@ 8 9@ Ѡ@(lispfile>e ՠ@(features|o@ BBB~ ܠ@(bodyfileһ@@ BMB~B  @+addsuffixesOT B[B` B[B`%.body@ BbB}B  @,removesuffix- BqB|B _&@@@ CDCV CGCU CGCRB%@ CRCU# -f@@ DDIK : DNDYB/@ D[DjB @ DlIJ DlEa ! (setf *features* (append  EaElB C@ ElFO< *features*)) (load " FOFVB |@ FVGY ,/Build/parse.lisp") (copy-lisp-file " GYGdB0@ #GdGg#" " 'GgGrBR@ *GrIJ8") (quit) @@@@ o p@@ 0PAPH 2PAPH 5QASY <@'rmfiles3^NP@@ ;QKSY >QKQK @*.cert *.o *.h *.out *.x86f *.date TMP.* TMP1.* *.work *.log *~  BQKQM!#@ HQMSY * *.omc autodoc/*.tex proofs/*.proof proofs/*.proofs *.fasl *.boot *.lx86cl64 *.lx64fsl *.dfsl *.body *.pcert *.mtime *.ccl *.ajout *.tem proofs/*.tem *.core@ LTATX QUBUU TUEUT WUEUQBà ZULUPB a@!rr@@ aUQUT# -f@@@@ eTITJ!r iTLTVB4@@@@@@ l[A[O  q[A[G t[A[BB@ x[B[G%.cert@ |[K[O [I[O [I[JB@ [J[O%.body@A@  \D\K \D\K ]H]h v ]T]^BG ][]]B@@ ]`]gB (@@@@@@@ _A_OD@ _A_G _A_BB8@ _B_G%.body@ _K_O _I_O _I_JBF@ _J_O%.lisp@A8@  `D`K `D`K aAal 6 aMa\B{ aTa[ aTaVB>@ aVa[%.lisp@@ a^ak a^ak('(:acl2)@@@@@@@ cAcP cAcH cAcBBw@ cBcH&.mtime@ cLcP cJcP cJcKB@ cKcP%.body@Aw@ dDdKdDdKeHe`  eUe_B e\e^BY@@@fAfw @@fHfwB fOfvfOf].stat --format=f]fcbf^fb$%y\n@#fcfd! 'fdffB@+fffn(.body > /fnfpB@3fpfv&.mtime@@7gAgk :gKgUB=gRgTB@@AgWgaBDg^g`B@@HgcgjB/@@@@@@@KiAiQ력PiAiHSiAiBB@WiBiH&.pcert@[iLiQ^iJiQaiJiKB@eiKiQ&.mtime@A@ mjDjKojDjKrkHki ukUk_B&xk\k^B@@|kakhB @@@@@@@qAqL#qAqIqAqI(.SUBDIRS@qKqL!.A @@@@ @