changeset 5438:07028e5a37d8

gzip: new package.
author Jan Nieuwenhuizen <janneke@gnu.org>
date Mon, 27 Jul 2009 21:37:23 +0200
parents d5826eb5ac2b
children a93a45ee6e33
files gub/specs/gzip.py
diffstat 1 files changed, 6 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/gub/specs/gzip.py	Mon Jul 27 21:37:23 2009 +0200
@@ -0,0 +1,6 @@
+from gub import tools
+import os
+if 'BOOTSTRAP' in os.environ.keys (): from gub import target as tools
+
+class Gzip__tools (tools.AutoBuild):
+    source = 'http://ftp.gnu.org/pub/gnu/gzip/gzip-1.3.12.tar.gz'