cpet/freebsd-ports
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Update GAP to 4.8.10

Browse Source
This commit is contained in:
Johan van Selst 2018-02-12 11:42:15 +00:00
parent 3638115c00
commit 0970c4ab4b
Notes: svn2git 2021-03-31 03:12:20 +00:00 
svn path=/head/; revision=461577
2 changed files with 8 additions and 8 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
math/gap/Makefile
View File

@ -2,10 +2,9 @@
# $FreeBSD$
PORTNAME= gap
PORTVERSION= 4.8.6.${GAP_DISTDATE}
PORTREVISION= 1
PORTVERSION= 4.8.10.${GAP_DISTDATE}
CATEGORIES= math
MASTER_SITES= ftp://ftp.gap-system.org/pub/gap/gap48/tar.bz2/ \
MASTER_SITES= http://www.gap-system.org/pub/gap/gap48/tar.bz2/ \
ftp://ftp.stack.nl/pub/users/johans/gap/ \
ftp://ftp.gap-system.org/pub/gap/gap48/old/
DISTNAME= ${GAP_VERSION}p${PORTVERSION:R:E}_${GAP_DISTTIME}
@ -28,7 +27,7 @@ SHEBANG_FILES= configure \
pkg/*/doc/convert.pl \
pkg/anupq-*/tst/make_anupqeg \
pkg/crime/gap/print.pl \
pkg/fr-*/cnf/config.status \
pkg/io-*/tst/sleep.sh \
pkg/pargap/mpinu/thwap
GNU_CONFIGURE= yes
@ -39,7 +38,7 @@ INSTALL_TARGET= install-strip
MAKE_JOBS_UNSAFE=yes
GAP_VERSION= ${PORTNAME}${PORTVERSION:R:R:S/./r/} # gap4r5
GAP_DISTTIME= 2016_11_12-14_25
GAP_DISTTIME= 2018_01_15-13_02
GAP_DISTDATE= ${GAP_DISTTIME:C/-.*//:S/_//g}
GAP_LIBDIR= ${PREFIX}/lib/${GAP_VERSION}
WRKSRC= ${WRKDIR}/${GAP_VERSION}
@ -72,6 +71,7 @@ do-install:
post-install:
@${FIND} ${STAGEDIR}${GAP_LIBDIR} -type d -empty -delete
@${FIND} ${STAGEDIR}${GAP_LIBDIR} -name \*.py -delete
@${FIND} ${STAGEDIR}${GAP_LIBDIR} ! -type d | \
${SED} 's,${STAGEDIR}${PREFIX}/,,' >> ${TMPPLIST}

6
math/gap/distinfo
View File

@ -1,3 +1,3 @@
TIMESTAMP = 1479195299
SHA256 (gap4r8p6_2016_11_12-14_25.tar.bz2) = cb401fde6b3e3c0095c55e9a92390bacd997cf5431149d53177a8cd76ab8c2a6
SIZE (gap4r8p6_2016_11_12-14_25.tar.bz2) = 268431064
TIMESTAMP = 1518431373
SHA256 (gap4r8p10_2018_01_15-13_02.tar.bz2) = ce644e713b8ca087f1c2a7384a74f4ca2d9809e98795b97e54d16963ad6cee73
SIZE (gap4r8p10_2018_01_15-13_02.tar.bz2) = 277801929