From c580fabf0d4664f5c983c8340d0c0f152d2cd9f7 Mon Sep 17 00:00:00 2001
From: Jose V Beneyto <joberui@ei.upv.es>
Date: Thu, 17 May 2007 13:28:02 +0200
Subject: [PATCH] Removed Pkgfile. Sorry people.

---
 Pkgfile | 35 -----------------------------------
 1 file changed, 35 deletions(-)
 delete mode 100644 Pkgfile

diff --git a/Pkgfile b/Pkgfile
deleted file mode 100644
index a9a4feb97..000000000
--- a/Pkgfile
+++ /dev/null
@@ -1,35 +0,0 @@
-# Description: PHP Version 4.
-# URL: http://www.php.net
-# Maintainer: Jose V Beneyto, joberui at ei dot upv dot es
-# Packager: Jose V Beneyto, joberui at ei dot upv dot es
-# Depends on: bzip2,libpcre,libpng,libxml2,openssl 
-
-name=php4
-version=4.4.7
-release=1
-source=(http://php.net/distributions/php-${version}.tar.bz2)
-
-build() {
-  cd php-$version
-  ./configure --prefix=/usr \
-              --with-bz2 \
-              --with-pic \
-              --with-openssl \
-              --with-png \
-              --with-iconv \
-              --with-pcre-regex=/usr \
-              --with-config-file-path=/etc \
-              --with-zlib-dir=/usr/lib \
-              --enable-shared=yes \
-              --enable-sockets \
-              --enable-shmop \
-              --enable-sysvsem \
-              --enable-sysvshm \
-              --enable-regex=pcre \
-              --enable-sigchild \
-              --disable-static \
-              --disable-pdo
-    make
-    install -D -m 0755 sapi/cgi/php $PKG/usr/bin/php
-    install -D -m 0644 php.ini-dist $PKG/etc/php.ini
-}