From 18d558d7b31957d2383170cfe0b27833b8f53f60 Mon Sep 17 00:00:00 2001 From: nork Date: Fri, 20 Jun 2003 08:45:56 +0000 Subject: scripts/php_options is changed to php4_options. So it should be removed. PR: ports/53498 Submitted by: Alex Dupre (maintainer) Pointy hat to: myself --- lang/php5/scripts/php_options | 59 ------------------------------------------- 1 file changed, 59 deletions(-) delete mode 100644 lang/php5/scripts/php_options (limited to 'lang/php5') diff --git a/lang/php5/scripts/php_options b/lang/php5/scripts/php_options deleted file mode 100644 index b30288950a6a..000000000000 --- a/lang/php5/scripts/php_options +++ /dev/null @@ -1,59 +0,0 @@ -WITH_BCMATH=OFF -WITH_BZIP2=OFF -WITH_CALENDAR=OFF -WITH_CRACK=OFF -WITH_CTYPE=ON -WITH_CURL=OFF -WITH_DBASE=OFF -WITH_DBX=OFF -WITH_DOMXML=OFF -WITH_DOMXSLT=OFF -WITH_EXIF=OFF -WITH_FILEPRO=OFF -WITH_FTP=OFF -WITH_GD=OFF -WITH_GDBM=OFF -WITH_GETTEXT=OFF -WITH_GMP=OFF -WITH_HYPERWAVE=OFF -WITH_ICONV=OFF -WITH_IMAP=OFF -WITH_INTERBASE=OFF -WITH_MBSTRING=OFF -WITH_MCAL=OFF -WITH_MCVE=OFF -WITH_MCRYPT=OFF -WITH_MHASH=OFF -WITH_MIME=OFF -WITH_MING=OFF -WITH_MYSQL=ON -WITH_NCURSES=OFF -WITH_OPENLDAP=OFF -WITH_OPENSSL=OFF -WITH_ORACLE=OFF -WITH_PCNTL=OFF -WITH_PCRE=ON -WITH_PDFLIB=OFF -WITH_POSIX=ON -WITH_POSTGRESQL=OFF -WITH_PSPELL=OFF -WITH_READLINE=OFF -WITH_RECODE=OFF -WITH_SESSION=ON -WITH_SHMOP=OFF -WITH_SNMP=OFF -WITH_SOCKETS=OFF -WITH_SYBASEDB=OFF -WITH_SYBASECT=OFF -WITH_SYSVSEM=OFF -WITH_SYSVSHM=OFF -WITH_TOKENIZER=ON -WITH_UNIXODBC=OFF -WITH_WDDX=OFF -WITH_XML=ON -WITH_XMLRPC=OFF -WITH_XSLT=OFF -WITH_YAZ=OFF -WITH_YP=OFF -WITH_ZIP=OFF -WITH_ZLIB=ON -- cgit