<div dir="ltr"><div># HG changeset patch</div><div># User Marcelo Mallmann <<a href="mailto:marcelo.mallmann@azion.com">marcelo.mallmann@azion.com</a>></div><div># Date 1466622014 10800</div><div># Â  Â  Â Wed Jun 22 16:00:14 2016 -0300</div><div># Node ID 3458ac42b0ce4e004516411eeab5a960253c1eac</div><div># Parent Â 191e23214dfbaf01255d421f5bbe0d5541d03a2f</div><div>Pass configuration options to PCRE build</div><div><br></div><div>Add '--with-pcre-conf-opt' option which passes its args to</div><div>pcre's 'configure' step.</div><div><br></div><div>diff -r 191e23214dfb -r 3458ac42b0ce auto/options</div><div>--- a/auto/options<span class="" style="white-space:pre">    </span>Wed Jun 22 11:50:02 2016 +0300</div><div>+++ b/auto/options<span class="" style="white-space:pre">   </span>Wed Jun 22 16:00:14 2016 -0300</div><div>@@ -327,6 +327,7 @@</div><div>  Â  Â  Â  Â --without-pcre) Â  Â  Â  Â  Â  Â  Â  Â  Â USE_PCRE=DISABLED Â  Â  Â  Â  Â ;;</div><div>  Â  Â  Â  Â --with-pcre) Â  Â  Â  Â  Â  Â  Â  Â  Â  Â  USE_PCRE=YES Â  Â  Â  Â  Â  Â  Â  ;;</div><div>  Â  Â  Â  Â --with-pcre=*) Â  Â  Â  Â  Â  Â  Â  Â  Â  PCRE="$value" Â  Â  Â  Â  Â  Â  Â ;;</div><div>+ Â  Â  Â  Â --with-pcre-conf-opt=*) Â  Â  Â  Â  Â PCRE_CONF_OPT="$value" Â  Â  ;;</div><div>  Â  Â  Â  Â --with-pcre-opt=*) Â  Â  Â  Â  Â  Â  Â  PCRE_OPT="$value" Â  Â  Â  Â  Â ;;</div><div>  Â  Â  Â  Â --with-pcre-jit) Â  Â  Â  Â  Â  Â  Â  Â  PCRE_JIT=YES Â  Â  Â  Â  Â  Â  Â  ;;</div><div><br></div><div>@@ -508,6 +509,7 @@</div><div>  Â --without-pcre Â  Â  Â  Â  Â  Â  Â  Â  Â  Â  disable PCRE library usage</div><div>  Â --with-pcre Â  Â  Â  Â  Â  Â  Â  Â  Â  Â  Â  Â force PCRE library usage</div><div>  Â --with-pcre=DIR Â  Â  Â  Â  Â  Â  Â  Â  Â  Â set path to PCRE library sources</div><div>+ Â --with-pcre-conf-opt=OPTIONS Â  Â  Â  set additional configuration options for PCRE</div><div>  Â --with-pcre-opt=OPTIONS Â  Â  Â  Â  Â  Â set additional build options for PCRE</div><div>  Â --with-pcre-jit Â  Â  Â  Â  Â  Â  Â  Â  Â  Â build PCRE with JIT compilation support</div><div><br><br><br></div>-- <br><div class="gmail_signature" data-smartmail="gmail_signature">Marcelo Mallmann Dias<br></div>
</div>