diff options
| author | tg <tg@FreeBSD.org> | 1999-07-06 21:27:38 +0800 |
|---|---|---|
| committer | tg <tg@FreeBSD.org> | 1999-07-06 21:27:38 +0800 |
| commit | 8d85a5bc75f1bb4247415796e238f5c2dc209a84 (patch) | |
| tree | 07b3c9b04ec0d2b52ae64230f6f6ed74b1688de0 /lang/python15/Makefile | |
| parent | c331591d54b6f274fee636305011b33fa6ed9f37 (diff) | |
| download | freebsd-ports-gnome-8d85a5bc75f1bb4247415796e238f5c2dc209a84.tar.gz freebsd-ports-gnome-8d85a5bc75f1bb4247415796e238f5c2dc209a84.tar.zst freebsd-ports-gnome-8d85a5bc75f1bb4247415796e238f5c2dc209a84.zip | |
Install the contents of the Tools directory by default. This can be
turned off by specifying `WITH_TOOLS=NO' when building.
PR: 12436
Diffstat (limited to 'lang/python15/Makefile')
| -rw-r--r-- | lang/python15/Makefile | 13 |
1 files changed, 12 insertions, 1 deletions
diff --git a/lang/python15/Makefile b/lang/python15/Makefile index e4ceddf0684a..1cd2cd9ab1fd 100644 --- a/lang/python15/Makefile +++ b/lang/python15/Makefile @@ -3,7 +3,7 @@ # Date created: 08 August 1995 # Whom: jkh # -# $Id: Makefile,v 1.48 1999/04/21 16:20:05 nectar Exp $ +# $Id: Makefile,v 1.49 1999/05/19 08:47:50 tg Exp $ # DISTNAME= py152 @@ -63,6 +63,13 @@ SETUP_LOCAL+= Setup.gmp PLIST_GMP= lib/python1.5/lib-dynload/mpzmodule.so .endif +# +# Install the Tools by default. It contains scripts ranging from an IDE +# to a web tree checker, to a collection of simple scripts that are useful +# while extending or managing Python. +# +WITH_TOOLS?= yes + post-extract: cd ${WRKSRC}/Lib && ${SH} ${FILESDIR}/plat-freebsd4.sh @@ -95,5 +102,9 @@ post-install: @${MKDIR} ${PREFIX}/share/doc/python ${INSTALL_DATA} ${WRKSRC}/Misc/COPYRIGHT ${PREFIX}/share/doc/python @${MKDIR} ${PREFIX}/lib/python1.5/site-packages +.if defined(WITH_TOOLS) && ${WITH_TOOLS} == yes + @cd ${WRKSRC}; tar cf - Tools | \ + (cd ${PREFIX}/lib/python1.5; tar xf -) +.endif .include <bsd.port.post.mk> |