./configure additional option

Hello Default ./configure script on my machines won't work because it uses php.ini file from ./scripts dir (I have modular pcre). I don't want to modify this ini file mainly because I could accidentally commit it to CVS. So I figured that it would be nice if configure script would allow to specify ini file directory. May I apply this patch (attached to this message) on configure.in? -- ____________________Silly is a state of mind, stupid is a way of life .O. / Homepage: http://www.leon.w-wa.pl/ GPG Key @ keyserver.net ..O | JabberID: leafnode@jabberpl.org Real email in headers OOO \_ CV: http://www.leon.w-wa.pl/cv.pdf _____________________________________

Index: configure.in =================================================================== RCS file: /repository/phpdoc/configure.in,v retrieving revision 1.199 diff -u -r1.199 configure.in --- configure.in 12 Aug 2003 11:37:38 -0000 1.199 +++ configure.in 8 Feb 2004 12:48:31 -0000 @@ -80,6 +80,22 @@ dnl }}} +dnl {{{ +AC_MSG_CHECKING(for php.ini path) +AC_ARG_WITH(inipath, +[ --with-inipath=PATH specify path to php.ini file (default: ./scripts)], +[ + AC_MSG_RESULT([$withval]) + INIPATH="$withval" +],[ + AC_MSG_RESULT([./scripts]) + INIPATH="./scripts" +]) + +AC_SUBST(INIPATH) + +dnl }}} + dnl {{{ check for the Jade or OpenJade DSSSL parser dnl use given argument, if any, else search in path @@ -778,11 +794,11 @@ then dnl create entity mapping file supporting Zend, CHM and other specialities - $PHP -c ./scripts -q ./scripts/file-entities.php + $PHP -c $INIPATH -q ./scripts/file-entities.php dnl create missing-entities.ent and missing-ids.xml rm -f entities/missing* - $PHP -c ./scripts -q ./scripts/missing-entities.php + $PHP -c $INIPATH -q ./scripts/missing-entities.php else