Cómo Comprimo Un *.txt A Zip

[mercurio]

Hola a todos-as:

Estoy desarrollando una aplicación web en PHP.

Una tarea que necesito realizar es comprimir un "archivo.txt".
Las funciones que encuentro sirven para abrir-escribir-cerrar un
"gz" y me dan errores.

Cuando importo una base de datos con phpMyAdmin, aplicación desarrollada en php, me la puede enviar comprimida en formatos:
. gz
. zip
de lo que concluyo ??? que:
- o mi instalación (en local) tiene librerías de compresión zip o
- está usando las del sistema operativo o las de mi winzip

LO QUE NO SÉ ES QUÉ LÍNEAS DE CÓDIGO PONER.

UN MILLÓN DE GRACIAS A QUIEN PUEDA AYUDARME. SALUDOS.

[Jordi1]

phpadmin tiene libreira zip, pudes verlo si abres la carpeta libreiras, lo que no se es usar esta clase, mira de verlo en el codigo de phpadmin

un saludo

[josemi]

Hola,

La libreria es zlib. Mira en el manual http://www.php.net/zlib . Y comprueba en tu phpinfo() que la tengas instalada.

Saludos.

[mercurio]

Gracias, Jordi1 y Josemi.

He mirado en el directorio de librerías de mi php 4.3.1 (instalado en windows con apache y mysql) y tiene:
. php_zlib.dll
. php_bz2.dll
. php_zip.dll

Después he ido a http://www.php.net/ y he visto las explicaciones del uso de estas funciones. Estoy haciendo pruebas.

Ya os diré el resultado. Saludos.