From bab37a06cd6488b179b8aa5431e50ea1ba3b6b09 Mon Sep 17 00:00:00 2001 From: Jerry James Date: Fri, 15 May 2020 10:42:32 -0600 Subject: [PATCH] Put cmake files in the lookaside cache instead of in git. --- .gitignore | 1 + Z3_cmake_files.tar.gz | Bin 3095 -> 0 bytes sources | 1 + 3 files changed, 2 insertions(+) delete mode 100644 Z3_cmake_files.tar.gz diff --git a/.gitignore b/.gitignore index f3d183b..63e6864 100644 --- a/.gitignore +++ b/.gitignore @@ -1,2 +1,3 @@ /z3-*.tar.gz /Z3-*.tar.gz +/Z3_cmake_files.tar.gz diff --git a/Z3_cmake_files.tar.gz b/Z3_cmake_files.tar.gz deleted file mode 100644 index 4774990ceb63835f90c293b9b6dfb48b45e243f8..0000000000000000000000000000000000000000 GIT binary patch literal 0 HcmV?d00001 literal 3095 zcmV+y4CwP8iwFP!000001MOOSbJ|D}&)lzlxsiRu2zqdk3}sgS}@vyL>n~_ycrVqFETxfRLvU^&^s=U;mF) ziv}YWgT;Rj~{p|Yh*3|m%9_-ZQ`d9aN4&nLk!QOuL8QFO(BRA3i z`T9TK`bH`}CuhuK0gc#z)XyPQNW=q(IFqR#Li%Rxy+KGObWS`5%0xc-d}$w-27J6Hd%w5?P=goSrE<3meD;kEfP;9MyF%8 zPDrQQ?wDQcA4EtuPwaZTb=o+)=o%I%&?8;5X&ODV!r2K86jz6Z<%FT+)G&J`l5lIb z>zt7-`4H{J7iDRuYo0bP7u(0u{#MU2noYaecze?59&dBDdg$vr_@9>M+H1Frb2H(Y z48>vKGuH{DvNTbNtG_er?``3TUdj`d4Wn@}diH6%YbWEs+5%F^gvSk=`yK?x*a^wh zcf5#%V}Irji04Pkar3Z%sg%C=HvVc_k^k#FvcEm;$8=Br-><3qU#(X6symSXp$^oF z{Qng6{E-Q^nlX!fNVZO&y6&8eRB_PBNt?9V7BNp6RtX1MxCeQ8fM3{&%o~X9cf&Bf zhO-I$^JY%^uEV@2B)4Oq+&bYHhs;7oK32&v@F$|`=$Nr1(x)Cyhu3`S0CxC@Tn`;@ zU{7iP6CJTKOcTkwaxLcHI*<)KLV?3I=hcMF6zb7kbj{V%NnTkmP&+jczId)tk6uYye*#aL|3kmIASF~!-F|v>Wx?^oEkgJ0lz>{`A`jR z11Ew&MgHhDkKILby@HuXGW;y=)#)rsT%Jv?It1MYN_>aaA9;9mf<^!?@nA!gmBpeS zqQl4rSL(X_Un9obUb}f=nY=Pyz)tc5XXJR)jiX>1u%UB@f#(s|r+iVI-tN8VH*Km!qFL~l;~Mq^Y0f%lf(=w0CW%vta3eyf&hgq z223iYnTG>YGgA+cJ2-zr!Fgqbco4{Tf6V%yi2WJL5jRT70^kGB790WL^M!_QKn72y zm*AIP?j0c$7KWJXP7ScwHoM(6D0qrt2-`hL6>1iN)q@n{^+nbMaSpwK!AdlyJr0oA z9i&F`CoV-93ctdT*dlHT82Xf#)2m`J& z8>kFb9m^#o>^{ZUJdaa?rw!r{dCd$FEHvcc+QOw4QB_yq`(S>tf`Xu`82amP* zU&h{J90Tsb|JCa5zUu$%)p-AJzjnA^;Qyx}2@3fZxuGFcZh7QQ`ZgSr@|f6~_^?qR zS~GaMBB3|%P_P?O60iU3ssbnQ$H-mqfp-GDEB z4}{67$)E}S72KO*k*E`9q(G6@rJG_1Q2%fm_r)f#SZ#2zbFLn_x=yAIx3&K{oPgZm0h8Rc!E@ecMb1XENP5)i~ z=g!t&{`Kd|)s-&M6L0n;cFQ6gLsCA~-W6C&ir6qMYjFZ7gjTBzlrv-axx_S)x4{Qi z_rhGE;r(8Fh>D4FIerR4tr8`6R;*WoAB8XoJsG>nj-CeouTYj#(d_xKwfbX7F#TwT z5r|d)6+l$P15*|tR1#5*FEGF~ZWs4`z+jG-7P>;F%y~0@N>>U9{$u(X&*vBgy~ang z4eQcwoY);S_Z4wQ9_|SzI^tqgykthg`6YIprV$K~*O^D_)D*{qXiTG=x@u#OX=-Oz z_qGrBZ=7h$gOh;T=dizJ=7c05H$5bbka354Bd#_A?Nt^gD!%4A0v;Wg&C5Z76 zeh_UkfG>Ocp}s>@dmz;^5pg)h2GYFTx#+#iJyJOY7*rnN*6<-Wmp|<7WGC>k0;*#o zU^6#zrr1lz^C$;}GS}bo>#ZSmT+z>?Ex1_1MKzrUZ0T()H0!qynzf) z7yy4ZsAL|t{3!dJ-AzF;HjsIwQc_Km+?(Vw5Mw5D8<=B(ji2nJMXCiRFIiWQ$uVBi zdCjz>=>tDsA>d)$GYuuN=W+}(Xkm$2C?Ke8Ean#}|02Cm@w=tPk}!7tRVN|YZQAav zL@aV~?lDOqiB;L6=L3o<Z0S5D^E$aC_#;~MZa{O`Vyx1&ghya@z*Mq((n9sre&GkQ=@LCd$eZVYKxxh z^4BLx-&ZSfy_>K((ye;l)WYPRI;&;A8d|>()?ejib}VnToHg5TiTHd-d^p3E&EB4F zy^QZqRlylTdP~m|6;S3PLdHeXDgKmSoMH-3 z)|8($csC4QIm3B;uALJK$9jH;&hMIHePt9R>yY`dXhG7KO1!t1ADMhq^x}(Pwh*&c z+@*=DG@^PLD+?6A-p$46l@{~9(vnLxar#E4$nZ)DxY9~k-;#^w>@}NCNC$GOgIzeV zEA+ikEznWvCGXP37s~_YGSK4{48&N1KYVdR%Yh~Zo?}=7SAI~S!*s)oGdv8Pc}cqW z`)q)Xm4PEZio&==?wHTPmT)+O)zPH}*+M11g+Psl6aeX*FR}a}fen=P>*88EL>Bzm zX(6^u6KCorZR5>cjBV~){#=BwnkB=FhqAT2P6IXt766xtaPShO76=@>M%bZcP(qpd z3W9&N5cg|Tn+fg5Z&4smPAMKuQYc4%f)Cl2vEBDRp%zq7K?N05P(cM1R8T<$6;x0` l1r=0KK?N05P(cM1R8T<$6;x0`1r@Z3{tFsQj>7;@002pI?4$qy diff --git a/sources b/sources index a0be432..e238028 100644 --- a/sources +++ b/sources @@ -1 +1,2 @@ SHA512 (z3-4.8.8.tar.gz) = a6823cadb7cdad11b8f0db1530676c0ec4853886dfb3c4dbc5b798c5dbd445afb0c61675f81cb7f99c1b1734d9cd0ec96a07c68a948da3c25801fc6767fea47f +SHA512 (Z3_cmake_files.tar.gz) = b89831c4c3714d16908109057a886e8a138ede0f5e08a38de766ff49c7c54115a48f7e1c88fe120bf0a28aa7fbe2c0bef7ae8a19d0bcadfc758638ded2c32161