From 36d5ef4e6239b51cebc46229ab977696f0152d83 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Sat, 4 May 2013 11:10:25 -0700 Subject: [PATCH] Making changes suggested by Mark Jarvin. --- Makefile | 27 +++++++-- lib/x64/pthreadVC2.dll | Bin 0 -> 82944 bytes lib/x64/pthreadVC2.lib | Bin 0 -> 29738 bytes lib/{ => x86}/pthreadVC2.dll | Bin lib/{ => x86}/pthreadVC2.lib | Bin readme | 112 ----------------------------------- readme.md | 103 ++++++++++++++++++++++++++++++++ src/base/cmd/cmdStarter.c | 5 +- src/base/main/mainUtils.c | 5 -- src/proof/abs/absPth.c | 7 +-- 10 files changed, 126 insertions(+), 133 deletions(-) create mode 100644 lib/x64/pthreadVC2.dll create mode 100644 lib/x64/pthreadVC2.lib rename lib/{ => x86}/pthreadVC2.dll (100%) rename lib/{ => x86}/pthreadVC2.lib (100%) delete mode 100644 readme create mode 100644 readme.md diff --git a/Makefile b/Makefile index 4247a7998..e92143598 100644 --- a/Makefile +++ b/Makefile @@ -37,11 +37,26 @@ arch_flags : arch_flags.c ARCHFLAGS := $(shell $(CC) arch_flags.c -o arch_flags && ./arch_flags) OPTFLAGS := -g -O #-DABC_NAMESPACE=xxx -CFLAGS += -Wall -Wno-unused-function -Wno-unused-but-set-variable $(OPTFLAGS) $(ARCHFLAGS) -I$(PWD)/src -CXXFLAGS += $(CFLAGS) +CFLAGS += -Wall -Wno-unused-function $(OPTFLAGS) $(ARCHFLAGS) -I$(PWD)/src -#LIBS := -m32 -ldl -rdynamic -lreadline -ltermcap -LIBS := -ldl -lreadline -lpthread +ifeq ($(shell $(CC) -dumpversion | awk '{FS="."; print ($$1>=4 && $$2>=6)}'),1) +# Set -Wno-unused-bug-set-variable for GCC 4.6.0 and greater only +CFLAGS += -Wno-unused-but-set-variable +endif + +LIBS := -ldl + +ifneq ($(READLINE),0) +CFLAGS += -DABC_USE_READLINE +LIBS += -lreadline +endif + +ifneq ($(PTHREADS),0) +CFLAGS += -DABC_USE_PTHREADS +LIBS += -lpthread +endif + +CXXFLAGS += $(CFLAGS) SRC := GARBAGE := core core.* *.stackdump ./tags $(PROG) arch_flags @@ -65,7 +80,7 @@ DEP := $(OBJ:.o=.d) %.o: %.cc @echo "\`\` Compiling:" $(LOCAL_PATH)/$< - @$(CC) -c $(CXXFLAGS) $< -o $@ + @$(CXX) -c $(CXXFLAGS) $< -o $@ %.d: %.c @echo "\`\` Dependency:" $(LOCAL_PATH)/$< @@ -73,7 +88,7 @@ DEP := $(OBJ:.o=.d) %.d: %.cc @echo "\`\` Generating dependency:" $(LOCAL_PATH)/$< - @./depends.sh $(CXX) `dirname $*.cc` $(CXXFLAGS) $(CFLAGS) $*.cc > $@ + @./depends.sh $(CXX) `dirname $*.cc` $(CXXFLAGS) $*.cc > $@ -include $(DEP) diff --git a/lib/x64/pthreadVC2.dll b/lib/x64/pthreadVC2.dll new file mode 100644 index 0000000000000000000000000000000000000000..165b4d26ec41c4e563782f116b4a2e96936b0fef GIT binary patch literal 82944 zcmeF43t&{m)%a&gHd#W#24pe37Y!O;7ztJ)QnQf24QxtKP!y0LpdhFbb`^^V7*brX zsnkcc*3Z&vtG2d9Ygdyn#M!zkYuLbMM@F z&pBt#oH=u5w(P<+Dn%)kinDE{*7KIXBK@C|O zp1bU+3nR1mUNUV;q(X;pjSSJ>=SMEq?~C2|*^&AB`y4m?T=zX$zt5RJd!Cfpwg=@U zO3nFNx;pNWjT61NCUs1>TbB%_>Iu2R3C(|+ceeJg@X1U3U6k_6gFo-B)(|VeATwxeEKg;>xM3xGb=Vrsj+7g)P$49{s!0LuZUI;b&{#q z(uv3i3<9Pc-Yx!$l&T$C=_CwDodT|&y!*CGS2T3KTcE%K7^&{OPi~j4cIcwTi)It0 zVFwIVfR8iVr7Ie`Xzs!*N%#Yz6)@H98{ID5Xo>#+>2HVpHT0gQR6~zhJZ|pA<9MLd z@XRqhE*D?U2|NmNcswdj-kJgPx^!@9vd8W-?LdyvQP8DI_5Z|Cu9 z5szmi$*&mq4L5@OhLk)WPaVtSTm5+K9>n8!U*$3WP9DDojSb;2k5A6wu_eLdDu!l5 zrsTMWfzz-^Vn6#5kGsTo-?=ZJiaTB zo3G^YKq-%5C-WF^J&z?){9o_q@!oYjK01v@?sOiv%;&LPiXYO4$C`2;CrP0{5Rj~t zZ0`sRet8OyVNiC%3<2j|(%)k*=J9zAk3L`F5tFdrUBhF%q0uGU0M}7mB$)^WIrjs_hKI3 zn9Czm0Ji@w9*a)oae03pcgbUuVBz_1@%Tt8irve@mb|au%_GFnX=plw#{@xl?;bpQ zjOX$2w|V^X93I1l@%SI<){-#JnomzTcmGi-pa$jf=AQ&JbrW;kKPhC zSTOU>XdXvj&f`rq$A>jH(+*vy8{oEZX?AlHr+G~ruRYV9 zCeA!a6O(NfPwV!+W|&>gSEUK(254w}pkZzjI2Rft>tlIF&4e85gpX}InS^e*UC4I3 z@MKgVcKEF*sMR1E4TweqqR|13R%3sCzuKz3+3kB_RBwwNWtf7;ShtlU-m_~r$5RSw zH?8+6rP?QN(LcldctbvkpoN<8FWRAx1zu1?_WDd6nrw5yE+av6mIRDMd7fcT#BbzC zy{Sebl4m5w5l|jB%n4J808>sx*hq|-s(VhCAdPr)9%P7O}GuF8&OX^!+5vB5z_sxxQ^*>nbnCAx~v z;IK%?b^wP-I)auJ;So42uYipNS1n5sqMsNrYNl)j8GDVYjbL&{J#MFwDBJ3^yhm^q zav2GyJecfL$56YdbEv&y2ync%wSd~sbp&m@A5TY6bNKl661&X~{eXAF#?Nh7=(ubL zlQRQmx2QQgV24%`X?A0jnoV|SAs~zpcI~E{i>&XI7_*iMizUq?VoQ}MJx!t)vlj6w$qLrEb>c)lGHg4Gi~1q?MMtq>7h6_rqz zFxn$yUrEb0wLr$pI)XNB#?#!Uoeh8ZM9TYT#?%e1>TEHlW_fj%x2khpk`p-ua3Znh zvYZkIN%cic-cd7_TM;!E=FW?nb8;&U^T}LRztH<*xoh?No?Mn&GFvQ(%$(7|l-g#- zIP&@Lgn*W3iwx60CI~4OY&H_bNPM%I?bq)a{)<;{_-(&2#>!{H-%VG>{y&QVy77~q z(6h18I@?I87s06}nj1Fe*IF_wq}1D?H;ZMYPR|Voe_5QHS2ll-#6(l-OGoax{`AO6 zd#XOM<2mc$#n5q-x(aq!<5+e>A4StPQL+~}EE$LZLoL zi`Eq978x~@b4O^Vdo@9bKtrVd5s3I3L@G3@UyP+h>{=sbSNyNV38Y1l&!%l!-_0TO zgUa*C`h;w@@;;6>NZFx#$AAO`m2QpY(=I`m|&oIm) zz|~>plKyBneb7yxj+Bfn*0FhXw~y#k}xEwFmqweHwXWW5uR;pD|Q2~7Vh zgf@qP@6yCH)-Vfl&I9d51^XE0AYAeqiPI8S1xjls)Pri=;wGGh+iR@OdR7vEa)G^| zn&q0eV4m-xdg4gI(U#6pU2ccQ=rji$p|BOI2kRJ6ovl6B<(3;}=$;9#u3G1nZ+=Z3*JF zKZ#)BC3c#bB#0~688aY=3K3yo2Pn=q7hTj0-G3Czo#%7#6#!r0Y;jI$Vre)sSrBKK zrxm;l;tJB~zed>t(8aLSs9PW?%aN$69U5gbTA&OPpXH(KoljuT7i-T&*@k(2PQk9o`gQPk0BF^-d^Zw=C$7)2$L1JyV;w1EY#tj~ zr0{P`71SQ^#nRB@gd3SPPydMo$sor6L+yXAL#&I3n0J{G5lQEJU4~uhoUmI+ziD8mOtvY*0uwDIvUi5VHpb5crTOkQ!Kf;40DMAOKNQoMI|V`_0?cA%Lk zqKVnr=zq`98N*UPYujgQD*M}^Qz@;~{0)j64exw&i$EMvIEGLR#0`c^_+JZgS6*>c zrpPOQvqO&vx@lG$dBr#^f#sm`%0x>3Ps=N?UnoS2709(qx>bGLWqDd+Qfg=NAn8MH zdRLAvB`xA%$8xl=_oO`Ql<%YbgUYj%ua^OyoE|ucfYwqzYO#KS@Z)}Hvk@xXZuR{= zI{lqcl^x1F-G`>O9(1M&@vuq~@&ECgctloy(gj`#Om1$QYugFKT9#lDkaSQB2E-JS-|o3s)`?#)s-E zp2-tVosfV{rKT5=lk^(!awoP$%R2T7XsIk}7Qsczsc;f%E>=TYH7{Cua}v5TCjb^R zI;XVoMyWU6O%(B^i52qk*ABa)D}*%AT*8A=Yex6pR5&THj3P_(){{$V;KckJ1mfm1 z9hc$K%NIwF(*L4BvU1>IuDDA8>%dFH$NL~i#;+YpD{z+LBV;L_ub1MD!(=J0`xS$? z5nQm1{Q;x;nOGNlqmfb@|Iidd>R`{VC1!L1$=2-HVTSIuWrcg}iz8nQ-d@`x#>v&e zdaB3p4*Anzu_xU>fq94Psh`sA{{{T1-THa|>-}nntdt?uj_F8Was`RZRsG%db1xz2 zAW~nKtGm{9A)83G?Q**KCx2)9g8m2LLmp0DSnB#a(iem~uUZ!&`8%sWd^q*X{;bFc z*|JHSAIyf_-xuLP)M5p@O3nJ<39MbLiZ^Tl%rx`H8yO5R zbjJI1nPq_{RGdH40a)8WuiKrzW&FSdugO@CF$m%r)!9?eRP>W%Q1-JB~P6!(v+i;)`O)v2XtD!4+$hO z29abjl8BU*U_xSP;*|M!bW8U4&vUl-=LzSl-WFVS861G^{eY}OSSqovua!;F!dW@N zRTqF&e1YJqiTKzu;c<|s9 zwBA*1m96&*+G+J@QBZB0f*#NXIl!vkqqnskV42UwQhJ-d5V+&n&jXLE+5D{E;o{U>FD~~T>X;YYGI{bf}@K63qK#f0F!u6ISc}Hlt$OFYjF!S~u*HFbct>_0J6e(=h8g(~K?E(H&{VF3>SDPiRlpYwt^yANgXvWxZiu z5N3U%aq_IeTor%U)la_QX}W-#w9M05)21`qs=J22B;3x+;V3CFGH^E7w+)eo1HQzl zS3aO>CZi${Z~R*b9Qs`O&R&g2X2#bOt&vz7q*7HkU`~A zW`}y}=A)Z;zq`oy%FR;dVJO?(`LMmxtz7H55j>btiW75C{paY485Z-P)`gG=vzp&9 zKW{v3gXl1|$Z3aWYa||khXq%ORzULRiCPPiVoh!~p*mwd>HjuZc9dj>T^p&H~I4v*|3m9(LPzd5H1?5Xz6?FxuFaOu++#G#0iiHKP9$G7* zf6=5+LZ4gjDxY0Nv?!rN-vBFb5?|J(G@eaupU00fYC_@nWVAhRUG_YZ zV}0XsM0}?0D&{7019YyeWrT`_(q7$=ZLz_ief}ddWS^C6tZus4 zJDHxQkj@VMlrU$NvvRY5;0xfuB0n274_YF`t$ZgN$+>FO@7~dHzC?@BOJGi;ULi!o z`7Bqoro96_IBy)3g!4YUI^8~6>+zi;Bk@>n9vP#F`*TO|7I+s~cRg#{1^c2kGf}dM z2@exC^KA?{gGXMJ`88a+x|_HE)M}b-xdGKrs%*7q*lGi+myYge(0@P&^q~K}_ArR* z#^rHxhCpxkuJtV1ZmaJ-deEHMVMfVKqbe!2>S^J}l;{8;wqT86u9l#v87MU;<&|L| zU7EO-X<$4nk8PrsMI|f3k~u!x3lQlEwd@+nCu&)Aw2oRpzrhQO< z`yXdOI+XrX9dJ)>Sf~Ul&*$yYuaMRZ$E@9pVpeV$>V0+24E`6!2q^O0{gLp>LT$ef zDtE<>DmJ@BYKnqY2L@h~UYv;Z?^qGovAhwP64ATshIv9s!Mml%n-R0#{2*c;C^7$l zUh|r?NKMK6jX^u~8$j-;)*|MXk@dlwzXX+3ect7obgh7sB#*aAa?4SYR!2#)a+cB9GeOLFB z)mx_%@d~05d>pZp0q?HgSY%zKWAKz|Pg%fxmGpHq4&beO4ATB+i zJ?UCpVh0Qf$LhI7%Pv{wZ`+F~Nw$jg)J8;U$6IfuoL0P*mM6_9j@R|F7XRX{DBSUh zeq98?oG8+Jc#0mLH4o?Rb!JV6-4!xYSwOz^2VtYkCd~s!uN|GyvpTeicp1=9^Y;<+ zZ-O6h7SJR%?6$GFDSJyKYl8wgh4!Ivii zWjrCGq~88VeW^FRiX!G4){M=zU2M*DcJd-spQObCiPa)BHFho3?_f!jo=B1d%SevG zA`#2=C@d0%(okU}Q>~{du{p6bT`~%p>(K2^J{rsRR#sTva7~t~4Y1mc?fETB%}bW* zEM-6Els{%y^H`b95u<+2!P%jY2#f@?Q**T(lAH{++*j#NhL>^zR$5(=Oju#9-lS*4 zb;9~sXa104WHwyle&5Y^w8okIOtx*Og-gxFd8Ovk{4#U)h*I+{VIlwPwM3%duNw8n zo6tloV?F4Go3Mu?!yvz4Po2M(7zwR8H;kd9j0psfp8u?ijH4b223ZWEEmvt2Q zec=f)O}0Z5NryTnG3slS0$#>Ar4)davvd*lvQqNbEYU@LON!8XWr}$AX{U%xDPoV2 z7%)MKuw#B}(?&Rs|71R8Jr(wpMs4;r4wvJ$nUBwpOpZ)JFkT^mFh@QAds(Ev8$2N< zi{$rzzq>>M)V)LfU9eSs-fG z8RkojE@>tfItv9=zoD7Hm?LATGA;=&r&{YLwL;j%xl^Nwp^faCl(A@el5~doa-!Oq zZL@aoRm!^VX(yp!B!&j_fPv8a3aT>_W066H;ujzcZGrIfh2WVn5A)dI;i9Kqx}tNn zq{P{e_Y1a_vY&~{2>W$sLup>*B6ORqq8IflWnFy<{S;G>VD&L<$cTRBVYl^H3dy>i>GOel|9$(@2ZHD7!duC8wmW z$!Yi-{fU~F=9wFtB4S?~s5;Pvt+1)f8uk#Qi6qJxFSi<=vTZr!YvxDIC4u6a`CU$W zE?CXV71`<60)g1&jEh0QE=}xBs8#wgKM>1$Lfge0z%J$u7`&*!82QCsi_b_l_~IS{ zuwZpJDn@o}ZqCD!#10K3UYFG{k`!#FWv={0N()xA|K!z+C17?mu_Oo0bK%#PNEcX4 z1*>I2E32r6kMOu4MxX==ja!m{HUM!rKCrkDb+17BIS10uk;Q@ZCdvHnCHgNoXcb?{ zdJom#BCo$^C;Pi7TNB8jR()OP^mQz8y04ArXo_i^;Pf>|DS&cdS8SW@Bol&8+{dxqo8+8AN0*pj7 zH*oHh^EDS)Qi3^iRpDob`R9oFISSuJLF=?9VHyX7FdJbShS^WF84rSaVG)()V)iuT z=oy2gf)i;sqG*C5R}vq28ZW$JWQho1caT|VAVqk^jeGV!n31vh!R#@P z>dWCULCs;h78foJH1u(K3bn){$tI$>Y}3R?9#1y$zAU$i!RpIcP_}61(_-;ioLCCS zS)9{wv#=nh36`re#!H0b1Xn#RppYraT0yTP=zEJ#`lDf%Gl`)Ox;=Lt@xf|Fg$ve* zS?7RqlrHZ6+_fYq*mudAQZp5EpdAUi(SMMi9%+r3z6Yv{kS zKH0UcnaQr*g2dmV;c@uw1bEXoNujH0_%Th?7-{%EzLmDaq3*=*w9M&>HpzokVUmYt z=NHcKy($}7DRC9r9X(7NF4mcn1G%($AbTl_NFh)wx5k4A2g{m6d-KT1_z2Pe2yg@e z9&jAaQQ4MD?k1V$lE253q>dz8)Duw2$Ungr$D}sM=I(ku0X>P&tEB_@_wwK$Sx-VF z?~((J0gVO@v~ev&KMxa}>zlwF__CG5ek_FdSmWG?S=)k0)&P8jsel93cu7ZHGOC^u zXfir6q)g*^C~j!hwLClO4sAH3=)IRjE}Hp;pV0X4Vy127W7Z4IAbpVPG3BZH;Y&&N+rb-ez*A7`NT>p$lj0{y z_^Rhz&V!}Xf>dhi;Oc%g%yhe&b|jK_O=*mk(f<>Y=k zo5~wzOHJSkj^7mA7|{Z1hPJhC81FWsLZ)P4E>Yeqcv~Z>4QbVBx62VDC+%<~zmwvH ztl&A7upreiODLQJ|5|LU%!w9i?h!>LAFO^@mv}AecZVNu<6ERc-J?qD)t@DM)FG`& zj~rUl{L&;hODhoq1u7Jn!09 zM#4yMb&)U)SNrR+@Cq;=ShqbQbc)#oHZKid9A<73qebhrpTZjCl*Efh)t42veiArm z9fDlwtK@bTAy1gB^R7>`w#P7#L7?q~|PHU+G0B=R&p2fdo8H9i4N9|4UN@yDO&deC<` zHN4qHvvdp`$71^_e~n&k(~`9THrMX4lTIBDKJroziH}km*8(5iG@y4A*tpe99|c;L zFUz%S6X0X{V3v&8h*FW7atKXx0wptS0&T-mP_O6n^upJfJ-sqN(_Z5g?B`Dw-G z#+uaABKzwT=_ODV^XkOx;*nd-S0cf$?4&z(sE^x~6V7PUl^xVUSGv-bY)zSV=w*=C zA&Dc&{ZpsLr2nv3Gy^V?ejs$p{INhr8C{?4s_?P=Wg*BW*&IxRZh9CfSWt09s8~P{ zA8LhYwjDZ&mNwhMGZs;(kfjytfTGPo)*mP&G0^;VBi8DF0~XCmn)B-s+!5Y73u|fr z7b`cMgA+gqMQvB>ZUJm<9K)1u8@fO^=yTRH$I3yT9wVQL{nhl1d?ubW8mu~y!WlV+ ztiw;g`6JtQMWBP;(9pVN0?ISp{nKGsx!D{figeke&saHv8FfP+y;&w+-(9NAlqwsx zQd`G6s;$d!)!!*@f6Ltd{tyV$-!X=H)Z@}$ud^BU*4SWNPkSqTsAjy|L&55L5lVE2 zH+jaBe^;l4o>=8^o)bZBvSYZ6pm=)hSy@D35dV=e^7+`Yn9T09;`Grlnao9`!ekbj zpP*sVuuvo)HZ@MDojor(t-;O;~YWB}9 zMK00hiJ<3*iSO#2D6|wAx?C)vwZg3M8jN_~q`%}1u6j*6UNaF>vMGD5vwuj_Y9_En zJY}6VjE|@}ZE6`4VXzeaL9BO~IW3#dIJTUxGUHm;Kg57&!uWWdy90!&an-Y8nW-(A z*SQ-;W$QcxA*&|a^g1J<|}1zBwhdgD`6 ziTmOqGgxZwwnOjn`M6AMXlaVy7YRrJWNwMpAkL%UW;@5xY)}7B2}3SFW;4Bo zV9hi(|H^(DP0TnO_e(OpfMcB%e;PX+jjcr4L>aG_V;n%dcYOZ>DkvG}8js%miBL%i z*-B9D>dj?77-U>u<6Tl|hps18lw$>nlHY+4HVbFe#WAWY`<+%@Pn9zGK<}k}CD_hA zUsseTtjMXlgjrjfP_kc)Udx`Qx0;qtCfj~VBGhu4bVtbG6g)3jMGwko(tFTO29Fdd z=2W-!&ws3IrarC~+gNEWoFr=^k&6aV@}KM}z_XsJ0pnByaQ=l>`Ds<-Q4yPwSMsWy zMW1SLMVC2M+ZLSyLCGeG;7D%@WL@dq`;%#}6f!Gvy zo9!toT|mDP0>jDx zDw8HhC4bTehJNV{K1xqsR1zUib7F_~lLi&9?3a->G25~@ou6KKdLO zD_>+i?u*mpGu>PI2{@2^7KfQmtnaMV{hPs=6+m~g*-Z-hIqV+t$x7L1ev}x4#GFWJ zyxgwUibB3?A~pfj%`vHkDZ#I6C5v1|yubm(G1%>BOh0etSbHg6hMCj|PTa+(Ie|ME zU}pXkx+TV>Qd62ak`mMHZcY_q`}MqazvPt@h({x;Wt*>B6%Ihz-v7SPm%d-4b-`q7 zQ&+=9l#oyAFoF8`D?`!!T{o?PC$2nRb%{59Bmosse z1sdm4d5QU_hNTQ)qvqz^71Y2EjB5mSvB4Jw=j$@_t*_lH9k^KwGcuK81oeGNmmp2U zPSC9q1e3r5i%D_19IHadC~%GP7LW$>9Bc_)V?RO&mcW9@$V_cA@}H88gy@RS6LDi6 z=U_dFqd*WIRi2__4!CEWP+MZpg?`ohh-UZqf)(ZfF!P2$r!1ADL(!>^D)pD*h>Rq)w)fdaQC#HI9`=Xg* zHk23$=j2{r;TabKP+11Vy2-H}k#V$P(egZu`+YOMC?><Xq zQh;rBPaZ}J%qu#Ly9h@034;a`q&vq#$+$=#RDJCq! zY&&st*WJP^JlPa#k*0doaw&D_EAfz>Tu}V$DdX@;l=X$S@nenQTwOSR1FMRf30qk^ zw7R~K!=I;0lwM0r3q;IMg$K%VVyn9rri;ntglJG&-&)veIkAlBj%|0R=@@Kx$7|1k z1&@;wikPP*l0OI{;6arlgDgQm$IMf`Q3B=M`VYh-@`|*s;eX_-W0n=}?`vE=$c5S3%qe@l;>qwLUPp$kegM_5tPH;yJ5 z10wB&6t4G5H4Ef;9?`{#W37{Qd5nR9gk+nqSQY`K z2N7q9tSac5^i~!(?m=}~+#vf@v>-V^-R>&Jnbgvp!y&ok3g<%(sqFuqA-}?aE(3f1 ze}iq};ZUHfpM;VIIZ`LLXK4(2+QpSibKm^&!@*cLkC|{>+Z@y1l|d(<$-6Fh1h78V z3VqW-bNn=WOjx6qofE6y-y{@71UL(_H8G~YRYN+4rg^}s!UqANpmF3&N&+^Ax(_7~-h9ePy`j}Swu6Rk@mR)(n^x(4VadkOH{ zY#`Q^kcwl;=>j-wDEUN-@u*vvb@m->#vjOzan~y|-~`G79zXvFK_LBQYF*f3Q>KV> z7fk$b&}a8j54|%JTr~#DftcV1jOUZsIiP0jhSDM{OqP zEzC1AL6@7GTAYhQC z3TGruc2zi)cqKl!Q|(Q6O0a&ihG}e_%q$d|)D0b?aV=P#47G@9>6XZs2d~9P+8gE zkSQ~c#&Dq9!Zw3WIG{~O^^Mw%h`wHYa-R5y@Pj-gzc5wg>~aQI73)#bLoa|vh`;I? z(X<9QmB^*B+*_FNu8m!Qw)Nb45e742Sv4gnx);d4S&@j+?p++v&PX&vh3UZ?ZWSPj z#&NM_ZC$M%c+M*9Q_{@ES7!1N-Hgy zNzX@W(c9_o0mS*48 zXUv2z#li zEx#ZI@2e=T8OS;4N(xREZj(y8S|6EVx z{er3Q@26dTzICzINJq{?qo;qU3k?f+=VEx2Q~S|RLBYXQXQc@I7CjmtDYR|-kZIFPzX{O2suLR)>wjNEf!m*Q;jf5 z#eEcPX4jTF7xI*Cl>saFd+9|p(py=rx0zjUeU%K!gl*P1*}D3B^q#fsUEigs7#esi zcP&0hpaKQkMOvfJ;!Wx=Ou0VKdh90MQnbRi{7zb`+c}TG$dkgmip{15lXo=nW$WIA zmvoMoG}}rzfn7P@M_{puYMhQ9PXWc|UVxaXzYA$N-$vnpZ~aiSznCU^VJ&klq?%!ByN|B&1Mp71Nj`)Ec(x zV1KF9R8zJW0y%(d!dVcC+%So$GH;K4m0|@@h{cPp!F|Uzh5nLBvQ@?dn7q$ zmn1pztb2b`d1>M-VgF%A&NrN{t7usrkVzGf3Z8wyn%e- z?f<`B3ktov69Hw;$)RKCTe^fm%y!wniDdPp^2TN=JWY~j-W z%h@3e7mmqUj@{0LKw@dGZy`C_|TMJ%rC;-{t{*=#hzW*7qfuUcZW>2fYzIx5d?V5#mLVs*o8~ zxL+%gsikuB0Zzjno|{71;K zU8O>wE%j-#$TZB;r`(6wZHr!KUp&>^-`EfR@XJir+VHRF6?|APG})mz-ny~cCaLPP zF0md}pZQ{$k3%15aaID79s9m^J72z7U-Q=(ICjOrF~CncHl~=@YbLTxBWTon-vd3! zB}I1Vt=$x^SJ=F8~cr0##kpTH-K z=_IC{T>SV>1@@96>zRMH#@!&qpW|9fvSL9Yem){0&Forb`-0WuwR|`R%6}|(1rWhl zPUcma@e}a_xF(#1xsYuAt|5V3(;?$v0g?r2JT*@8nwzzN#Ue@Umk68ix^(8!A{f|)Y1kkri2Q5Z{7_eQGXGLHKPEWq zq?%5t>l|`hA6)NImo`+kLk|On9byuiY`bs|k)rns7vg@ImLk;f6`gl-J5BNqZOM+c zP=aU=l0PF^5t)HajI*F`8~U#x@qcR>osXyefViXa#8`?2gd+dtc*@o(T8$?eH_mtxU*XSWR0XU1^OT;n98Y_89&$X*BgtWpr)|qRC$*Ur z#CTZ3PMy#@<0<}vH=Y&{=Z>efcsm?VFKB>`DsuBPo=#8ZKgrF{c&dZheFvl5!)jpY)SU^@__=2m_7$h>;*r7^-+f6Tr&2wwN+Kxt&1_9^knnzuEH&r6=VF{A7?tVeMtP&8`A?cZ9dhn*+2(sRjE) zEdAMb4{;AYn?&4i@wP#nBN1c?F3eHaJ7tKxxj31BzMCJE-HW$#logTN+Iw{yl-&)W z580h|3EKDX^*dYj@1<>C|F%g>9kKg!ydC!M6pigs_c~=r|87g>Pq_K%-&1%y?_UME zE!DPv8-Pi><{vTudxMqlD8E46zw-`W1^j&Ps@x`IM!Bn9F0RAWu-vDz`DUTEkmg2f z2KX_+bZyL@jbfgb15>a==MyQS(alc&f*sapgD7X^W~t!tRLwJfWo4dWc>-rYliV|JHCSY9>KO)d-qruuv*nAMegDcTlGcqnXoYY~qx;Ncd~{ znS8PSaUCaeJuZDy7-TC=z;NeY%3}HKUOE*8ui@myc`a_eTz2`YKe0P z!r$<=836rlTa`h2y9-)uG<7IPMD3^;0$6#=ZBKEF~dP;Bv|(8VNa?H4$=f4Wy}2X zp!D0_1ds)dj03g>R&HK_M@Gycna2O21bV-z_3zi#_|Lu-WF@bkZ*`w)E>VYhpXxU@ z3!Jso)zJx}n{;$XTCsUL24;J{_O!ZB^;eamN^Sh7?^7LpRgzZGtU0n@a@+9LP115S zf6jrPsiG76f)rvR>3ZjLPG7!8>itNp#ZQ!pHy=CNXCO|k)w+yExm@Ktx_x4&f%+>T z66(u9N~^W_by&mNjqbS<8f~7>MS{)|`<$?+J7V^zl_`ZEqSD7EtW+5h_?nE%h6rnBJijqFowdVRRobpS=Ioma*w#3{4N0D}&BF*0_Ta^3YIX1tA`IKxV z=--=k*iiBN&eeKm*;an1f#h0IwTaZt(titWlsD-(zrx#@z~5WS=~Up)*0CK3{D0Xf z*=Y7}@xXmtwo`S0IR%66_EU*$QMcTjYOh&&{fZ==mATVfQp&H?)s0GgT{^9oyI-rN zUaefbPFmmyQ;*Xa@I{Y6y^x4VSIGkXNS{l|fV|r;D ze$?WFKy7TpsH*6X`en;6Ce|F!26yC?r+IQtxjZ?2G&>o zw%-^TpcOJU%U5nZdvs9kZ*YISaHHMRtlMY}N;wcQ)%;qE*)!#UH4Dro2Pj7<7(H<= z2_d`t+hi5GbZ7O-r2k8wkobfmxky~m1W}dhqc=4ZSZYs}EfB0%tScA5W@P{nQn1f_ zUJrp!RVPCrD)nxQ^AqqedRM*3F&WvL(DoXJ^^%n5-gk{nZM*XlbDxrCjk?}U4uz$^ z@`l1y#JNM^2YA~Ih3;CMdYP_x>s`R3>7DWLrDP!|yM-_wW=UP0j)xR-TldXxGahD8 zz8(*5SMxgPs^P zfiYdK^LlYE>3FpG-|*J!t^8DhfWP8KUe0<;&T?6I19iQrwL$S|*4O!ON;tPG+o9c0 z2(89W=S+}DtUfZTl^%}QkTbW12FYhww;ycTtf2~&)e z-Ot|1GsN$2eV=kLppBhYm9-sjmqzF%Ys;m&90}mCY85X#^ajmD$f)yIN)G;H@hHGB zSUlGD;JtFQKF(#Gf8V{%q5%@NCU;pBQpdj!|+$aZ`xNkn-N&tdD`*>w+}Feb;k*$t0z z8j`C?_!9P%FQ!t-6A%(J$BStZ{`ZocOmCjN`>}gAs?w4qtC`QAT68yAstcgHF=5gw z0n(+U)438Qvf^7n$G!}JHGhYi%41k54m;a#2fp!D$J#U0bbb+cViX?nPV zua4{Y8ppPboVG;5Ix}a5Xx7ozxn5DNO0mxJ;OZR|Y(JQq zL+ZxJuA9v8;V**8yX(E=c_gv$k#jKS`_?6bzT~BN_x+;9nHJ_axyc_cP(i~u*`Uvg zY_0%~_3#gUDV_wuqbAOR*M#PhyX7S(g@kg+$s)r%{n3?z5dX1q(O>6sT9YH$H}sHIHS7eubC3SL?j`S`W^EbHK#vN*mmpQ>^^=Y0p-(-g=KfF}eB@ zO)02tIP+gSU+CYT(e^K3!u{Qu1T+Nd8g(X|#>G}%m#u0M23o94vxp##F#|O!6X-uQz zxGI6)iOJ>;&$69l-f4YEEsb6E`lYdpxyid2EDSlY!vD|z){D>!KTzbH0Vywdx6HKk zwQ{d9q$^pp23Lt8kt25nS82lsNA}t~-5aklKk`@n4EX_U#tmslGIn#UeIx)hK|5W4 zUavo8k;i5Bo?{D zdd^S0VSV9GWms!&c?({KwIOBcn-@&YEe&hWg+eSltRGI3;Z2P)s%dn8nv62$W$S*Y z)!a36-#Us5aQlCy)+1VXlZ9)TDjN!5PD$e)S*0)|xIO7mg8A15qDO2P@p-eph0z-K z^E-0AH#H1y5uB`)`7IBlk%dzdTEPFeK^HrPk8s4El`W`3wk{bu|8U_O$Yqx+# zzV7EMSxnMX)Z(_SSX)8$MDix(li`|<&R)5^&G}@RJ+Vt(eSxG6R%b~vc)t*4xy&gQ z)PAyg%BTjey@A=ZGica_Yu~`IbvoDERB&$II2e z(DhUyqIvwzYSbJu{Hs!(|6)2PRK*klK{1;3?3-(cdOge@jG37$S84=)oTR8xc*(u* zT8E+-&O4m>H!)Ri(4ctl_Zn)NPmHbk)agguUpOv&-5(0J(X2Z*TIIS!G)pGO#LOIf z9O@1F-Ku{{fPcZB=KC?+3r*S~b&5umyZUH@)GTKph)5(CUYM^4!s>N~V0FO5toe#Y zfb}#H8n0|{yZL5_aA1vp4$TdGr}{xFHu3Nb~l)JQ#L<`Rw68cJ-5)OS6ko=vuh zdrwNikCI58hc{}TGFa!<*9ko5Aoa2H1gXLhWz$1A4OjHY&6el$dlOr%^&h)<%@n-u zWyTVn6zJU}=)LNE2s?>cO&iTU`~tCQ56OXc?I9UFxu-@>X@*N=tK#*jxh+!l)`7@A zl^Qi)j2#u>hM}_A<*EDYqbV;Mv$sZ%eX(@*rtxO4Y_>46W!pSuLSSDcB^b*L{vwi6 zwYSN*E1I%3TCly;+y<_=9Q$-SEV^C!g;FL*B3`sOcG7~Q?68L{0lrR$FTwa`6ld*AIcEd{aI^;T&T=tNY^>d(pX6t7c{rnJA+C%=R zpY{5=T|b}X$+dc^L-MJF9ZRSGkBikS=dOs9YxZPN-}WH>gny2nXZ$7d0$T_JzQ$vX zs$-SaH;tg0tO>lVePRevlU2aW`ZEu$VASgpgWnxaOoeOBL-1O{zEMS3q%KaV0rmpB z%-qW@Q``zvEr()F|LIq2)$-SmmG*2cHvf|FA45>G#oPxOXv{W7Zi@ANTr}BEJDqK~ z0e3A0U~e_1IoH*j{v~{K-EA!R_#irK{fd@0d{+jWnN>p+zq|N=5cXbla9oHeKsU3d z>xi!tQD%M`2bfHnWOvT=}LsK6jX<>FQ+}D!Z4t?UleYf!6g#Qn` z5~F^~Q+_F{`YmbXYW>~tDt;!pmw9ogVX(RmPZCb%U)n=zK2^Jrx`G0Mlwbc0m+7C# zC-YIJ1E)JcVB?ojR9au6wwkPs!&zYXk0%YVQ`TifGnuX;!JP#zlDUUut%A>S=&i!OAX0u`wL?3-2tK@DH6tF zXnnRYh^aED^w~ST*`A~=`2mxm}wV-6?j8!-}7twboYh{|@wdlrUXT}-z# z3ic4(@Vo;zgtU*lAf%c88_uAiG>W?k&3c*g#PA(tKp|VqS4A4i=ggNI1;Ny`jQR%W za-1m4dgG@9pVP>uZ6~ZaamkN&nCs9Jhp0@h`R(RKMC_N4_x)9NO8ksug-?@se|^7g z$3APmhJ+Os{l5Qo!3yon_L6z+ZA_zQNUe4L30DD0{+yW-Afg%6Km>mI&abaFuZQ$V zEHw{cwPd~zCB^;L1B@(w^-g~Dj%(~>znBsnZB@f+M|#q~_k;ULYT;v6>?eHR4WS#kzgbfwk{Muh=hgI2%rd&71KbX^m4RFe6mQb2XW#L zN6F7GZBe3ZELCtJ*Aoy><1vQ0%CYuK`0u9yMvePfRSU!MpC&=3|0a1Q{GR|5NzYcf ze11yVb^cuhc1=~ab^aarguKb%tCSSQa(9mZvnw5cr5(EPK8B+IEb=*m?w0_PY{-o# zT=*cYo_iGds2bIqL=c*jt~=@M(5FOfkgD_s!f}#k4r?$N3Jmy=aOinzbU2^m9(Q(?2TMimsc|K*+p+k4dzC0>HP^@*w2mDWL-Q;)>7MKdryS^W6Dn2SZeN+ zkQ)VT1O?5aTsCO;@2uME<1UL@2ZHtxMUU(u9{_)Q$lLn)ihgd@&ka1G9pIJYz{~WH zyBv5`&B@JI#?!;T_q$WRbrRnr>$odp|4wK=pXkP`WuprNk!fp*6S!lK{9QS2TwhwS z#}0i+u;(w5B%~hU1)M=ZlsqG%+!42)*7HZmvGvCK0=K&8$lpcLPDB#}HY`L3vi~J~ z>+w00f|DKM$Uq64KpAYKi5B0OZesgRaStI#d+KMZe(t+h!$Ch^*UugL`4mr&l8(HOK;Q@jjzHiD1dc%9 z2n3Em;0OecK;Q@jjzHiD1dc%92n3Em;0Of%FF>G3?ivjnCYL+EXe7$=uq?rK)r&Bf8Pn=L?hR>-;k=K#9bknfxr<69D%?Q2poaHKL`PJw+JT+`lbLZo5>aXHGxo%EgPPUvuT61&b?Z&7M2Ge6n#)Nu>DP zp~dqT#}>`MI3Aljy)rg$(cD>c7AHMJhk4%f#ta);Ip^XIsyq^O1Oi7Oa0CKJAn;E> zz?bS%siTz|Od0vTm70kA@KdM2!Tv7FA4_W&?n~>U(uQ@(_hqE2jNxf2V^|tTmzXCH z_1&VbiattRi;I2c*3~yt^?f^2_1>MOdT#EnGGieXnA1z84nIn@P3y}_QCV-MHKmq2 zdHaND&!R5*_iUgKPLN8r(Q9klx7(I>ZFbWMJZg_qY8!6y=WZKi_TSCnC)(FO&PjXr z@k$N%(rfr-=`vb{pO&UhqnrTcq|V7~SC+49it2iUzdY6LjI?E4o>C{Cz=^9?WoNVt z_hqN4?8%ubdw4gMy(qInTJGzUq58zKR3GZ}OItcNZm32P6g9;`e24yLK#oUST3JfMQ-baQCOOY6Pc(o)+p zy>xBfgM+DxA6o|rT~!muzj|`^YqKpqrLTgI4#It$kLx!H)N3YRi>XM*#d&~$dYvV55-D)SkCg-6rA zeyOS-V^7AJw7o5z>h_GHJ-FRo-K3N6_2RrR-RF$<;R4@SK>6o%Q$=mc(LCV>>J&Qk zou!->@ZC2<^^FBp-#Oh?-^p33?{LQKt-WidebSz$BCZ~bD7D1rlOP=?-`~YmB*T!T z!B4wzJytphPwm1O$!J%$uSc5dK^uC|h8~NuYQ6fxW0X1r_ja;A=X(NSJG?L{bNH8a zx_05QvsBwMd>LI-hHsSa&x&HDzJt3??j+}Lu&fMXV^#ZbC*9kmt!SBc^EjQqRd{x) z$|gK8r=)#cPO8coUaV3(sKeJYMfLQJR!N!}n5hPWpMl_KAg~z-Yz8jsyEkWNGmgUJ zp%GlY*Cv5QEJL*o?~sq=WvRT)6I5PoyvmzXs`7>#D$iG}`s_V=XGo76XoR!)1+i4s zpRtq5ydrgr zQQU`K9eo3;?}wQxv^z^>!Jh+jLhaJ{y8Bi4H#7DID$~o;@}&p#u~$I#nv<=1O%AGF z!@H|qk2d$Me7aI!#jS!@$)D6K-z77Yn&X8D4ZNLAeMh&C3&V?d_fWky=cvH&-l}bR zzD&Q$^z~H!rj$yDgV7$3Uv|W6bz5mKJiHfp>NU)1Yg-=E5g&B=*+E{-8@j?9fFI@d zrQE*5n(1!sY^9#XRr);`FqdvlXL3zb?c#(t5$Eq9&S{f7ceuPc*;lvE0^g>&N-e#F zIozvH`10d554+`lJ84#w|iky9(=yTaClcy zn=*WXR82?7Iht!}++Cy8&v7|joBJ={1zftrlpmK&a&k3FJ8EJF=GNoR? z-Q%@S;IKKPUAR+57JM!f8tA5aEpqvs$PVzQj5gzA-EyT~#bsuAuwZT{UAu6puY+)h zHzCu)|60n8YgRBma5pE*orxRK&4UL#d-qYmq$f9h2K-k!Oho_xCytwP31$t3O6Fy23Bpt zJB1Zjflc@k@{N~Y_XRnTd84UqoNg;}Vh3@aOepZ*OL^lTW=)tZ6TVKKcHx4T4#GQ< zL)4GC@Q}s{5^aKG5?`Oa14XUvL=` zZeh>n_T~H%9OH(!2$Sy;Tz@Z2+PpbSr)w7u4BM9he$d4!VB4-v!4Gl%4&pR^7Io3< zfQt1>ZNXVy8-VY-e1{%K_v3|0S-ZRIIlo<;z>_w&E643i+wiusW0F=p{TuZs!vl9o)lfM|lr-Jt*Y~M(tW|s@tek#;cN>Ft6@Hr^*i~?ySnMTa_*$O?YMl(k++j4kX&myr5|}7fx!O_2zd4w>-+iiIFhBIxWLgq zW${a*Tl@OdRXq{^abLlmjytV~QoFL*PvU(PZYAz9zMm!T0{lP4{}iq#-(2pk_7c{B z-^PDCZ$Iz;yl3FX6Zco%h{h^|@IUbVd)~jnJxW*(-)G=I3wIIz2=Ds{pUL|{-g&&A zA^dgx%kY1M|6BMs;WzQG$1TBsEN%z>Z}UEm_#1d5imO}jpNUH)F2MV7!Y<`KjCTs} zU*Z$YAzUqP7p@VPKFFsA z;0kdD?gHFA+|{@$+}*f!xXrlNaQksR!ag++cN(r3HwkwcZUyc(+z)V1;dbL1a4Ca* zDvTS2y8yQscN6Xb+-BTf+{d_H$N1D>+z4D0cQI}m?k?OTxb3*TxP7=D$NJQ%xN*3- zxJ9@G?mM_&;CA5l;{Jw9&-JN3xS_bwxGA{BxZ7|)!|lSokINq7Q^Rn@xbtyW;Hq(V z;eLesC2k|`Io#{Gw{Y*^{)S6G&Zk1S!MKxgGDCL3!YP%X{!LTqDxkWm4Ao6#sw~xA z1y#1{p?a#L6q-_g^WkWfqxz`6s-Nnw2B?8*kP558>KJvb%2h+uaq4*X!%k2qs*}{o z>J&9poyxxKX=<1%P{Y;f>PzYjH9{4tGu23SmKvqLtj<O6J6nyM~P7piG$x|*RbQZrSBnx!sQv(+3mS6!km zRrAz*b(vbA7OKnD73xY=sjgCs)M6D=adox2M!6P8VqG+6;X?0o%&aSB&s{j{;)Qc3 z&%b=`obzX4Mdqe#j%pb?b5<<&|Jpkf*f^>?j6Yvsst85pXlSEmMZ?u{m?Y4YawPSU zq&UHfLrBZ9Uhj_A6YtJWW_PidQg8tQqEK8EP|9hJLc&qpk|K_v8mJ%wN=!KfRjNh^ zDk?>dp%F#U(*FK4Z+71vrV^^!ita|Azi@xTpfA}^=nH8x_l3ln`ch1)(HB3hsxK0)-Ip+>tS|jB&$F%S*$Lxi-3)`n z#*{~Ou;v__X-u`79gKO#Oq$8H4&>KKvn$KR{S{c8sd&aoMEku=ED?`oOOxV;{R&aXEsj8N z4i(>88}deHtPx|S(i{#S&wHNb7$*ne8cR^3t`)Zj?0B(mVtL2jkhjd^6C7T+An+#+ z#+*cI##B3DmRp~(onp;HRv{WM@2G_6tY!3l$Sz%pqG^1QBQjfAY?78!n)@K3a`J;{ z*{BDhR3<)DY)26CXTMh5E7XYQo$6rCb>UYYE{q|Yg=Sz_g)FH7_?{dr@lm!;(j z#`Ud~Qr+!vwawg&8s}cALK0_e25Du@aPsM>>t*6rHkQCM$Bn^8tOL>JE%6Ns^B`T&}AH8PYnyVow5H5$x88=dEbUmEC%2HV? zHBem3%tLUoEdP8hhRY^NqBX7!glk+IBwBfG$hx*uHF0qJ?^$K5H>f_i z@Xc7ePBts&Y8mCC8MQ{@mYcIPP87HP`8MYVSF?ni5R${qxY2mZiaB|?)ccWqcCZ-o zXT`6^_3RAalM2yvY(&)xbD1rMeUVRDeAAQfRUA2(Un5kotyDr~tu)8VWG!EX7gLGS z^z&n>e30PJtwi}Q!eJ0@hHFzOxJajRwwnqvmp)V_ohkP}PDL}*wlm}x^JAZl+XD4o z)JLE`0`(F2za9a(b0V*hE493Dlpp#vyDivX7SSBWLk|D@gx{PS`R%|f^5@lpSD0Ss z|FID`SgCnnl06gV{t4MfF$#7P7rq>9M~}lteL<CMw|N&WPifEW3V3)7d`<@qDSFvp!pxP6>dD1@kF;B z$Gv@UAbRY0rCtVe(UAo_w+HjlE_??#8ogu@a{(5ir{KSWLdKrH(6KY7k(bRgLY5mxeHiFo+EhSF__w(V~K_6Q9X|NnE-1IHR5-of- zn2Q$P0$S0g|6aWOp+{eM7;GhvFgJ_UI9m8va5Z`q4*mJUq0e4;x|6Jpv=bicV&2ih zd%zsDaLY34MGGGQc1!)sSsN>;pSbCh7a#q{V3N4->8CSB=yCYnm6Sz~t)h=-Fh@;j z_{|>H9@_M#i|;-3vkQ-`;dv5ygl`7x(870t4z%f67w`Iw-(h_b7rqN@Lr;8{Hk{3P zHaC>{#ZBM2_|LCAkM5C2_ztiLE&MYOk+M;xE&`j-WAGt;j5&GFBc(HE-qr`=GfE3#FREy{O1h9>`@M^Fb?ZT&KSfgmuLoHtF6J7d`$65GVa5P%@ zZg3!4_+g;Xrtew2(R)4GLtOY^e9I}c={Xj^bLdMp{mbHSUIsoOzwiin3oZNxm_iG` z4Yr|8f3fL77LW3c;6i-L!aQzKgW_3+TfrK%=@&Nr#^NoWQ{cGd5k4MFp@lC3+oYZg zl)3>NiT`&J{?qq(_KRL}A~yl{OFJAFIsp9n1wcdrlucN z{HlH6F7gQPcRinjXyJL_LbT~E6%XpZn-mY#d6o$u1a^~W0*?NK^OyJ-eA?KxNs|L2JJK2m3nStu7G$!g;$L;Cd7qr0=v-D@P4-k zeox_rU=jI+zYQYjK6uZa%stxlZ;FreEHFh}Slz?;qlLc&Hll^)|MMI{?}886LL1Pg z_fkBVtM27kcpims0<+Mjhtl_1-pAMy-vr+a`q07?pc`#^B*jB{1$cqD@C4Y37JeLz zqfLLK_#-!i`S=)x9|Nsu;YqNU{H6y{JdfW86XX$o8f-)h{{f7kh2I7VwD8AZIlAXT zc!KXs=rQ=2pR*p&kzXkF`-eC#{zB6yC_coOz((T2;zJxon|?&`B_@B#IYM0c25>T3 z_yKSvddb6Fm%t?2^zw<1P<($qc=1gCpXnVGuiyk|CXetgFikze?}43Y;Sa!ewCTxv z=8?efH$_>~+b90NOTo>=g`WjiqJ?*W9D4C%tOxJ`TD;Yd0(AiA7rY0wqWL>L>IN_i zy$OEz2|jnwd*Ne##dlJ48=M9gqFwm0Nv?#du?dp!@x$gc<@$(o#^_jJ_7X-sE@#Zas(Fl zm##bgNxt7$^1D$fcEJ$8Tg6N7E8F(kV35{FK6&+MK2h_bnp-vRT_5DzrTHn%cWb^* z^Cg-+&F5(D*1SOTp_=#C{GlDxzgzR`nzw7-s`*yUS7{#6oY35%`_-fQJk2@HmubFE z^SI{CnxE4AN6mXRe@@qbu;z&7HqEDM?$KO1-v2A_PtyHapn1OLFKT|DwIr`ynqSoX zu;$I0H)*~~^F^9n&1*HU(%hkWf#xGM&(XZU=4Qc*}riS=^y&j1Gvk;lxGJEdKVEv`&AZC2gfKSa7er zA!>P^!(FQ_5{tV9ezzm$Bm#SgHNriDCNX2IPrK@YhG@T)w4GAgEiI{xla#dOExw~q zz1f1H)``b*9CBsv+V<7Qx3&2`UA1o$Mi6Nre!85xyfG>kjhyAB)fFWjwbXlZeDRy$ zLd#>TyR{)2OJ|d~QsfUqez_qUZI6Z~pU_;xod$`!?z*^}>#|c+tGbAAB&0l-^q?Slj+$&LW8PSG;Ow@^`vAEDL%M-t)I=fkXAL71SPHs%b8OJ~P`;AdQdP`GO zN0QCGR<84WG5O(fZWmk1a^Gpl-O{u0qjqJyUfW5gtTX!8Tk)K_M78@~LchpTrCw`Z zlgd)XTHm+ws=QkkzME|BO<9(!RyGpq32bUh2L@!+3M*sTA%0VCAf?@RO@-gN z>b24_cQE6z$`2-%&8Mxf)X?uoQm%F6blv-MhZEx<)v(lV| zu6mzvPFHI4P%x|X{nVyzjJ|qoINteETW zl7$|=f3bNDr-SV5Gqh#t1+E^Fe$1HM*t8=QqMXSVGq+F z`7BZ~qVis9_TaPpqb7Ja?8mz)wM=#U^dZB%dGyfI?*?e&FlA(}BE+SRG5Qtj-Ni|CcJp7OGCf}_dUN%?+`nWH|L>j>i%?4{!w zh&sI3HyI7d&({e5XzUkZf8BBX%NqR(dvmN`TawiB@yoJXZ`dF0g&gNN>goUuoM|!& z;pmsn2A=KsXVMx{Wo)y|ag0`!*2aF#6LPB6U-c3AY>vRR_^)^_b?4MiUzg{#Z4K<1 Pg~k_;L-p5Zd<6apgZj`N literal 0 HcmV?d00001 diff --git a/lib/x64/pthreadVC2.lib b/lib/x64/pthreadVC2.lib new file mode 100644 index 0000000000000000000000000000000000000000..1b07e0e9aa43b91f04d2884e2f594bbeca4fdac1 GIT binary patch literal 29738 zcmd^HNsL@qx&Grg2^bTMGvL^X=_HQhIF85ej_ue^d!DCudmgH*tFGN;S67v*sy%?j zV}Y`WA{GcC6a~a0i??9&B#T9a5JW5yvJgT~5sNIMEFy%EKv5JS@xC+Nd(OH4IptgK z_U5(p`_}!3^PT^U{~4~I-%@T@Cb!L7GvNNM+puBd+D#ia4zG9lYxV2v>(=X^uE)MKOz#e=VL{CFW?=tZ&cAC;0QYSxuQc2yn_xSUxLP#Dmn^$LDf$c9h*ZW=;SR$ z=av%*I{h0(XYLRQI=@KKg#|={&i+!-`5%K1I=fcU*xSGXoqJEwnT@aq9si4>(J>-H z$0rnBfUcmc|I%~=Pte3q6_tNMBxqu>q6)AD?L=7%dh@QPQ+R@Qysu~*%1Y3&TZ*P2 zlk^8XL5(|_cHjwW!e>F(Q3ryWKT^~=LnP?(2Z~N?CXxjIPk@g7T~Y0GB0<;Migpel zf1o3<6IA)3qU29Rf=+&>=oIQu(CGt;PW>70paeWY?Y}9y4!;Do=PPPW5(&DpO3~y( zB0*Pvu4qpk?F3YBYx)FF(1CXq?cYWu=~~KLkClsJs&G3sged zr30nX{=>(Pj*gXf?LM({bpNrjqobu(ce0(7tEYCZr&8(2$wP2%x8+pe-uK4_7gwHKpDt$#>dnwV9gkCb!%H%VIIQ`O1^}89QWSYRQyhW@aQIORJLd#+EQ-Z&g#?-V#Ra zySJ_JAj>(7r6gpD%mplsBxH${+s%pTPBxD?s9F}XM(RQ9OvYGa(ra{Too>?bfNcR| zC#xTMzE*2gOO00A_MJ={VaOgiGb;IdvV^WZ1enCtL^xS)RO^YI0bUwTq2^@YwpNmy z<#eNVecFf2n67?fdaBfFHxXTQn(dCA&%DI7yjg1?Qpu)!gaEdAK+L9rkfU@tDR-ya z2y(2t(rNf&H;wkqdJ`c)F3R!wK`YbQO$}RyMijI~b@-ExWo}7>DOkOo$$%wwQ!vfD zQ<+Svt!BMu4auC0u}1EK)}Ab8U2d1B(%vPZQ)4M&Y~fX{F`2Y$Dg&;yFJ$Zi5VrS) zuDzQ#Q{paHS;(@Hk$9_JYa*|=OH<`r6kvyKY7N!~Y}*E2%ao_t?kvH=r<5%jBS0nJLFktJZL*?u_GV zUQ2G5Dp)UBO9qRT*R3Y?#M9L*S6387E2-2j*D7hVvU#qy8esJJS5oVk`~Z}fbE)W& zFqBA6?55%N*?gZejiJT#DFvCjt6$ypJ4yX=sv%!|dA{5PrYTETTTY@SG47^mS}abt zTboL%j6ufdtkB5v7@EoHciXoa1H*MK+!9S&uo)Dsau!_#Y1}Mh4Q>Bc=?PA&iLfaB z;qpsU)AeqxRaZSqXl9&D6K(WHxjwCw(ibnsqIWs|$=)S7jHXw3QkN||DKUkV7K8vZ zOgDACG%LvhG5QYE=!?CKR*Gb!t}{*1E;! zG1?RDX1Q7^TOq78$k?8ZJ3i^*%GJS&C|j1x7gw&jg^43fVYyt_LiC6V!p18}Nd=E> zdqm=;ZVD;_DS7qpa+QT>vT|!E{gLrao`uN#c5!68F(Tud!*umc6LB`9944>tLl_go zcdcZVIuIF$(KLye{7YrSboF%!I%(THR@)?H($@xt?b={Ws+7^9>exuKW;>4^uyNLP zsR^?h>>{96FzM)RvE0->J^kwHB)6>1Mfu{$cS?`S6ZPb@7(sPGc-(-+n3y(rvrOdJ zqOI1;x9u*IGF&}(?#KMgE?~^upUK@+bal4fxy|LW7NR3pc{5wY+qQ29EK@wZfYzELBRy&jL53XMx`(qLmwQ`mmYk-8YE-agFF#+lfBgiW3T)w5-@c z^x+86JG*eA0sf=AaYBdpr}6&LUZRh2nsNcp(S5KvMD+PVoJ`?4ewb+K80?P{eOe`& zbByTLNuuRA0r|~oqC01Z7M&+raDnKTXNi7{-)r%F8#eDjXCvf)IgV4gQJkRR`8M?a zb(QD_=%*7zzbF$e#&bah`QAx%_f4EYf!;@cKSI850q@il(H}r}8aQ18EpNhy>qI}o z^Gt{6gUdJpJpp{s-=Y6`4W};fe*o!yaD?cGNc&F-{6fAjoWcna^8IH#FM#(qoKU@w zwC3YE*&TcX2|qZ9mapQ66(Iq8yOc7tp&ij@A_4}X|(7yxyPodiaeTh7@P=0U0<}S+kCn(P@>gG$F79BtyZy?X-E{ z-4Eg0_mHnYqU?Tv`gk0)66JLO@_!Q1Lo|mPG)0fnV>Cn?Xgz(MzDi%CN9ZdwNV{nr zJx=pzK2>OfPSOJUCVhhz(lt6u303I~-KJagBt1n>(9?8|nzV-&QJogkFzujM=w(_# zH)({n)3<0DU7#hjpAOI=I!Mpaa#~6+()08zy+q%p7ifT1(s{ZATdSE?uJU z&}v#kuhClCOOsTiXXr5PqcXioqclb*=qg>L7VV@}^eXM5xpaz7)9bX6Hq$10gSOH* z9j6j)p`&z+ZqO0hM$`ZA{Cybf`TkA?ov|yM7st}MFQ9N*Os9@a9rp3Dh1r@>%R?1l zFveJWID0F+irP4`)<|X?H7H6!?MsD{5GPszS$e7$k%!LNWPHZhAtdVIJ2ZOv4wbm? zsY1|qsS)s9$YQ=5IpcdgDmGH4aE!>B=S^*Dk*rj{RoNP7I%YG}Eq+@moB@df2l+JE z$Wz7)!R4D+Ao97Ec1%trU#}@$7o;Qx!T@dCJRjun$ z80N&vwTLbIm5ixpC15srlt8x0uvBk|art2Pf@GqRHk-*&59Vx)NnIuZ6}~e&sq{WM zWY(}*3ZWu1eWO<@WYlCG9GJ*UKP6aVJ~fZDnu7Y z_qw`d@!964^A6A zM)upJi1AwTnIS{+`7K{5VrwwCb0h|){641JG(vkYF)cMyi47i3OJv76OJ!G1{h%+9g?%y2Mx8kN zX(~4vU!+;i7s2IyF%riYvm`Ms(4ZT>)ilHx0uC%y~1Eyx#^K z%h(M+84cx=%)2eKfz}qz2GbO?Y(N;y24qe)^6|OJpp4ATiw;u#dedyj1I-JZ&h$9) z37k8mQMZ?$?9j#&c-5}+#HP-+24!HHgJ0v8lyTkEo^R#dKZzf6I+cV<#nN}#5D8{C)J(lP(W!Wmbt`_zh*bP=F6m@Z zs1Rk7s(iEV`skQbu;mmR`+`T8FTMa;U9H#G4D|X!aA@tY{#I~&UiGbqY5D*B?&!jY z2xmg-Z*?`9n7*-5^=I=e{3tLlgQ&7GM|>RFx?G*J?Ez3{$k4|28lBDO$~JwT64C-{+8z;Ky|H+!oWjzpdY7 zKGn_o+s8mqwau4Yq`wX6LX!Q}bO^&6p%K&H1`SX2>;E+``YH5gqlE9JbO(@!nQWQa zm(b%F7et?}z9q)AmD1O_W+4z+sq3NBXx{rs`nv8C11|DQKz;}#jczF!vb_;tKnu60 zAv1h?sLOylCqrd78VqRBHau)PzlZrMFdz0Y5wA0Ae*<0E-{C>Nlve?JE`!bOEg0~^ zew(iA`7PSkBMf#vHtZWYQsR#Wk)53p16{bpha&CzF&5j}dFdNv{M*&qub`4SgfVdh*wNL`1_6swdB9upd-U{yKyGV0!Z7 zLFC!*$=_hHXS*ja;7}h(PyS{Id1iX@CVupK89jNSg>1Hs%?i?;k*N4s9f<~>U~suX z#LYwRh&C31Jjr0%yToSTDvB8!x1P#layv{0x^Ni}2g-Og>h|dXc7D^+z!&!1{MSC- z9I*oE-wL45L@md>UKGH^gyC($_3QOe!0V;(`WXw|J^tt$Z6n`%mji9FjmDm?^o<&5 zS0a*M;-dxzjH0b67I8f5V{*-?aPJu!;>%X-d_3nPx@S+OV2fi$>T{`&nQg>{&|b38{DarN@gm+WckmDp8^SWg!Dwylf+L%f>ve`@eAXj~W^0H|0>>I~fMFXr0DJ+RZ*@ zERZi;#?3F51@_h3}Mem8;gx);wx@FHkN|d zAp36Ju_$M^g=}B5G+;$X>{w6QV`1rQkb!WcFlt~uAokMs=25xMTX?jJ#Z~+AnC>N1 zQ@n*yW4Ai?=TT+Q!9y1<;~4UR0J3|_)i_-kIj|EVcJmH0$o>`G*}y%-;?9h}v6gi> zkIRQzg8wb*+~v{Mq-PYuctiJ{Fgnm;p=G^^#Sd1 zp7Bs0#2)8a8&mu@jWZR~L{81l`Is{@HpI?A&-;kn21?=4KXzl{f{*BZ`_Xr+4UGFD zR=ntA&eYr*Ska5U)Jqm-{?nCyy^M|XB^#0bF5I0@_*bS9R9zF13(rlntL+HVxFYJ3D zu3CqZPb7Np&#LaP?qj3q_9dN``2E7UmYK*?Z7c-n)gx;*Cil%IQA; z)!8hf)&i*6|9jbQdybteT(wc9)A9qk`}H$YpVv}Egyl1aI2ahOm!Q|wQ$+Q}pXXfR zv3W2s|2_k(DS?HL`_vbO_l*?ss-ckr!CG;z0z1g!Mnh9$Vfm>3zYfna_qBKL8w|9M zMZjulEG{6NNu28%M}E)gCR}(liTTskIP!DR`^1Tj%pD6S`x?~)EZ!;tvyr$})76N< rYj(xaBJF+Jpy{t^@7uFLgtHi)-OyP2Yh4e@eZ9Zdep4fHmj?e2Ow{yk literal 0 HcmV?d00001 diff --git a/lib/pthreadVC2.dll b/lib/x86/pthreadVC2.dll similarity index 100% rename from lib/pthreadVC2.dll rename to lib/x86/pthreadVC2.dll diff --git a/lib/pthreadVC2.lib b/lib/x86/pthreadVC2.lib similarity index 100% rename from lib/pthreadVC2.lib rename to lib/x86/pthreadVC2.lib diff --git a/readme b/readme deleted file mode 100644 index c1f3fc39f..000000000 --- a/readme +++ /dev/null @@ -1,112 +0,0 @@ -ABC: System for Sequential Logic Synthesis and Formal Verification - -ABC is always changing but the current snapshot is believed to be stable. - -Compiling: - -To compile ABC as a binary, download and unzip the code, then type "make". - -To compile ABC as a static library, comment out #define _LIB in file -"src/base/main/main.c", then type "make libabc.a". - -When ABC is used as a static library, two additional procedures, Abc_Start() -and Abc_Stop(), are provided for starting and quitting the ABC framework in -the calling application. A simple demo program (file src/demo.c) shows how to -create a stand-alone program performing DAG-aware AIG rewriting, by calling -APIs of ABC compiled as a static library. - -To build the demo program -- Copy demo.cc and libabc.a to the working directory -- Run "gcc -Wall -g -c demo.c -o demo.o" -- Run "gcc -g -o demo demo.o libabc.a -lm -ldl -rdynamic -lreadline -ltermcap -lpthread" - -To run the demo program, give it a file with the logic network in AIGER or BLIF. For example: - -> [alanmi@mima] ~/abc> demo i10.aig -> i10 : i/o = 257/ 224 lat = 0 and = 2396 lev = 37 -> i10 : i/o = 257/ 224 lat = 0 and = 1851 lev = 35 -> Networks are equivalent. -> Reading = 0.00 sec Rewriting = 0.18 sec Verification = 0.41 sec - -The same can be produced by running the binary in the command-line mode: - -> [alanmi@mima] ~/abc> ./abc -> UC Berkeley, ABC 1.01 (compiled Oct 6 2012 19:05:18) -> abc 01> r i10.aig; b; ps; b; rw -l; rw -lz; b; rw -lz; b; ps; cec -> i10 : i/o = 257/ 224 lat = 0 and = 2396 lev = 37 -> i10 : i/o = 257/ 224 lat = 0 and = 1851 lev = 35 -> Networks are equivalent. - -or in the batch mode: - -> [alanmi@mima] ~/abc> ./abc -c "r i10.aig; b; ps; b; rw -l; rw -lz; b; rw -lz; b; ps; cec" -> ABC command line: "r i10.aig; b; ps; b; rw -l; rw -lz; b; rw -lz; b; ps; cec". -> i10 : i/o = 257/ 224 lat = 0 and = 2396 lev = 37 -> i10 : i/o = 257/ 224 lat = 0 and = 1851 lev = 35 -> Networks are equivalent. - - - -Compiling as C or C++ - -The current version of ABC can be compiled with C compiler or C++ compiler. - -To compile as C code (default): make sure that CC=gcc and ABC_NAMESPACE is not defined. -To compile as C++ code without namespaces: make sure that CC=g++ and ABC_NAMESPACE is not defined. -To compile as C++ code with namespaces: make sure that CC=g++ and ABC_NAMESPACE is set to -the name of the requested namespace. For example, add to OPTFLAGS -DABC_NAMESPACE=xxx - - -Bug reporting: - -Please try to reproduce all the reported bugs and unexpected features using the latest -version of ABC available from https://bitbucket.org/alanmi/abc/ - -If the bug still persists, please provide the following information: -1. ABC version (when it was downloaded from BitBucket) -2. Linux distribution and version (32-bit or 64-bit) -3. The exact command-line and error message when trying to run the tool -4. The output of the 'ldd' command run on the exeutable (e.g. 'ldd abc'). -5. Versions of relevant tools or packages used. - - -Trouble shooting: - -(1) If compilation does not start because of the cyclic dependency check, -try touching all files as follows: find ./ -type f -exec touch "{}" \; - -(2) If compilation fails because readline is missing, install 'readline' library or -comment out line 26 "#define ABC_USE_READLINE" in file "src/base/main/mainUtils.c" - -(4) If compilation fails because pthreads are missing, install 'pthread' library or -comment out line 29 "#define ABC_USE_PTHREADS" in file "src/base/cmd/cmdStarter.c" -and in file "src/proof/abs/absPth.c" - -(5) If compilation fails in file "src/base/main/libSupport.c", try the following: -- Remove "src/base/main/libSupport.c" from "src/base/main/module.make" -- Comment out calls to Libs_Init() and Libs_End() in "src/base/main/mainInit.c" - -(6) On some systems, readline requires adding '-lcurses' to Makefile. - - -The following comment was added by Krish Sundaresan: - -"I found that the code does compile correctly on Solaris if gcc is used (instead of -g++ that I was using for some reason). Also readline which is not available by default -on most Sol10 systems, needs to be installed. I downloaded the readline-5.2 package -from sunfreeware.com and installed it locally. Also modified CFLAGS to add the local -include files for readline and LIBS to add the local libreadline.a. Perhaps you can -add these steps in the readme to help folks compiling this on Solaris." - -The following tutorial is kindly offered by Ana Petkovska from EPFL: -https://www.dropbox.com/s/qrl9svlf0ylxy8p/ABC_GettingStarted.pdf - -Final remarks: - -Unfortunately, there is no comprehensive regression test. Good luck! - - -This system is maintained by Alan Mishchenko . Consider also -using ZZ framework developed by Niklas Een: https://bitbucket.org/niklaseen/abc-zz - -This file was last modified on Oct 6, 2012 diff --git a/readme.md b/readme.md new file mode 100644 index 000000000..7c3481fc5 --- /dev/null +++ b/readme.md @@ -0,0 +1,103 @@ +# ABC: System for Sequential Logic Synthesis and Formal Verification + +ABC is always changing but the current snapshot is believed to be stable. + +## Compiling: + +To compile ABC as a binary, download and unzip the code, then type `make`. + +To compile ABC as a static library, comment out `#define ABC_LIB` in file +"src/base/main/main.c", then type `make libabc.a`. + +When ABC is used as a static library, two additional procedures, `Abc_Start()` +and `Abc_Stop()`, are provided for starting and quitting the ABC framework in +the calling application. A simple demo program (file src/demo.c) shows how to +create a stand-alone program performing DAG-aware AIG rewriting, by calling +APIs of ABC compiled as a static library. + +To build the demo program + + * Copy demo.cc and libabc.a to the working directory + * Run `gcc -Wall -g -c demo.c -o demo.o` + * Run `gcc -g -o demo demo.o libabc.a -lm -ldl -rdynamic -lreadline -ltermcap -lpthread` + +To run the demo program, give it a file with the logic network in AIGER or BLIF. For example: + + [alanmi@mima] ~/abc> demo i10.aig + i10 : i/o = 257/ 224 lat = 0 and = 2396 lev = 37 + i10 : i/o = 257/ 224 lat = 0 and = 1851 lev = 35 + Networks are equivalent. + Reading = 0.00 sec Rewriting = 0.18 sec Verification = 0.41 sec + +The same can be produced by running the binary in the command-line mode: + + [alanmi@mima] ~/abc> ./abc + UC Berkeley, ABC 1.01 (compiled Oct 6 2012 19:05:18) + abc 01> r i10.aig; b; ps; b; rw -l; rw -lz; b; rw -lz; b; ps; cec + i10 : i/o = 257/ 224 lat = 0 and = 2396 lev = 37 + i10 : i/o = 257/ 224 lat = 0 and = 1851 lev = 35 + Networks are equivalent. + +or in the batch mode: + + [alanmi@mima] ~/abc> ./abc -c "r i10.aig; b; ps; b; rw -l; rw -lz; b; rw -lz; b; ps; cec" + ABC command line: "r i10.aig; b; ps; b; rw -l; rw -lz; b; rw -lz; b; ps; cec". + i10 : i/o = 257/ 224 lat = 0 and = 2396 lev = 37 + i10 : i/o = 257/ 224 lat = 0 and = 1851 lev = 35 + Networks are equivalent. + +## Compiling as C or C++ + +The current version of ABC can be compiled with C compiler or C++ compiler. + + * To compile as C code (default): make sure that `CC=gcc` and `ABC_NAMESPACE` is not defined. + * To compile as C++ code without namespaces: make sure that `CC=g++` and `ABC_NAMESPACE` is not defined. + * To compile as C++ code with namespaces: make sure that `CC=g++` and `ABC_NAMESPACE` is set to + the name of the requested namespace. For example, add `-DABC_NAMESPACE=xxx` to OPTFLAGS. + +## Bug reporting: + +Please try to reproduce all the reported bugs and unexpected features using the latest +version of ABC available from https://bitbucket.org/alanmi/abc/ + +If the bug still persists, please provide the following information: + + 1. ABC version (when it was downloaded from BitBucket) + 1. Linux distribution and version (32-bit or 64-bit) + 1. The exact command-line and error message when trying to run the tool + 1. The output of the `ldd` command run on the exeutable (e.g. `ldd abc`). + 1. Versions of relevant tools or packages used. + + +## Troubleshooting: + + 1. If compilation does not start because of the cyclic dependency check, +try touching all files as follows: `find ./ -type f -exec touch "{}" \;` + 1. If compilation fails because readline is missing, install 'readline' library or +compile with `make READLINE=0` + 1. If compilation fails because pthreads are missing, install 'pthread' library or +compile with `make PTHREADS=0` + * See http://sourceware.org/pthreads-win32/ for pthreads on Windows + * Precompiled DLLs are available from ftp://sourceware.org/pub/pthreads-win32/dll-latest + 1. If compilation fails in file "src/base/main/libSupport.c", try the following: + * Remove "src/base/main/libSupport.c" from "src/base/main/module.make" + * Comment out calls to `Libs_Init()` and `Libs_End()` in "src/base/main/mainInit.c" + 1. On some systems, readline requires adding '-lcurses' to Makefile. + +The following comment was added by Krish Sundaresan: + +"I found that the code does compile correctly on Solaris if gcc is used (instead of +g++ that I was using for some reason). Also readline which is not available by default +on most Sol10 systems, needs to be installed. I downloaded the readline-5.2 package +from sunfreeware.com and installed it locally. Also modified CFLAGS to add the local +include files for readline and LIBS to add the local libreadline.a. Perhaps you can +add these steps in the readme to help folks compiling this on Solaris." + +## Final remarks: + +Unfortunately, there is no comprehensive regression test. Good luck! + +This system is maintained by Alan Mishchenko . Consider also +using ZZ framework developed by Niklas Een: https://bitbucket.org/niklaseen/abc-zz + +This file was last modified on April 25, 2013 diff --git a/src/base/cmd/cmdStarter.c b/src/base/cmd/cmdStarter.c index 213849304..bfdd480cf 100644 --- a/src/base/cmd/cmdStarter.c +++ b/src/base/cmd/cmdStarter.c @@ -25,12 +25,9 @@ #include "misc/util/abc_global.h" #include "misc/extra/extra.h" -// comment out this line to disable pthreads -#define ABC_USE_PTHREADS - #ifdef ABC_USE_PTHREADS -#ifdef WIN32 +#ifdef _WIN32 #include "../lib/pthread.h" #else #include diff --git a/src/base/main/mainUtils.c b/src/base/main/mainUtils.c index 8d24a123c..2b4e682b4 100644 --- a/src/base/main/mainUtils.c +++ b/src/base/main/mainUtils.c @@ -21,11 +21,6 @@ #include "base/abc/abc.h" #include "mainInt.h" -#if !defined(_WIN32) && !defined(AIX) -// comment out the following line if 'readline' is not available -#define ABC_USE_READLINE -#endif - #ifdef ABC_USE_READLINE #include #include diff --git a/src/proof/abs/absPth.c b/src/proof/abs/absPth.c index ef38369cf..bd3f2dcb0 100644 --- a/src/proof/abs/absPth.c +++ b/src/proof/abs/absPth.c @@ -23,14 +23,9 @@ #include "proof/ssw/ssw.h" - - -// comment out this line to disable pthreads -#define ABC_USE_PTHREADS - #ifdef ABC_USE_PTHREADS -#ifdef WIN32 +#ifdef _WIN32 #include "../lib/pthread.h" #else #include