diff options
author | Jimmy Olgeni <olgeni@FreeBSD.org> | 2002-08-16 15:08:42 +0000 |
---|---|---|
committer | Jimmy Olgeni <olgeni@FreeBSD.org> | 2002-08-16 15:08:42 +0000 |
commit | 125b598694b4c5e1de7cfb7fc9ab03484a9ac8ed (patch) | |
tree | b12b99f95cf4b71c892614510d13ee0ef51be39c | |
parent | Minor port cleanups (diff) |
Set proper ownership and permissions in ${PREFIX}/lib/oz (UID and GID in
doc/ were bogus).
-rw-r--r-- | lang/mozart/Makefile | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/lang/mozart/Makefile b/lang/mozart/Makefile index c00d8f0cd019..f32c22df3fb0 100644 --- a/lang/mozart/Makefile +++ b/lang/mozart/Makefile @@ -7,6 +7,7 @@ PORTNAME= mozart PORTVERSION= 1.2.3.20011201 +PORTREVISION= 1 CATEGORIES= lang tk83 MASTER_SITES= ftp://ftp.mozart-oz.org/pub/mozart/${PORTVERSION}/tar/ \ ftp://ftp.sics.se/pub/mozart/${PORTVERSION}/tar/ @@ -62,6 +63,11 @@ post-install: -C ${PREFIX}/lib/oz @${RM} -rf ${PREFIX}/lib/oz/doc @${MV} ${PREFIX}/lib/oz/mozart/doc ${PREFIX}/lib/oz + @${CHOWN} -R ${SHAREOWN}:${SHAREGRP} ${PREFIX}/lib/oz/doc + @${FIND} ${PREFIX}/lib/oz -type d -print0 \ + | ${XARGS} -0 ${CHMOD} 755 + @${FIND} ${PREFIX}/lib/oz/doc -type f -print0 \ + | ${XARGS} -0 ${CHMOD} ${SHAREMODE} @${RM} -rf ${PREFIX}/lib/oz/mozart .endif @cd ${PREFIX} ; ${FIND} lib/oz -type f -o -type l | sort \ |