diff options
| author | rafan <rafan@FreeBSD.org> | 2008-07-14 10:37:23 +0800 |
|---|---|---|
| committer | rafan <rafan@FreeBSD.org> | 2008-07-14 10:37:23 +0800 |
| commit | 311a2986792d03a844718d5be44aa9faf07d0fa6 (patch) | |
| tree | d99c70a9a123d2683caecc49aa14bf6e125f37bc /math | |
| parent | 96918caedf9877be273e1e952f42c27dac35a457 (diff) | |
| download | freebsd-ports-gnome-311a2986792d03a844718d5be44aa9faf07d0fa6.tar.gz freebsd-ports-gnome-311a2986792d03a844718d5be44aa9faf07d0fa6.tar.zst freebsd-ports-gnome-311a2986792d03a844718d5be44aa9faf07d0fa6.zip | |
- Update to 2.12.17
PR: ports/125474
Submitted by: Yi-Jheng Lin <yzlin at cs.nctu.edu.tw>
Approved by: Christopher Illies <christopher.illies at ki.se> (maintainer)
Diffstat (limited to 'math')
| -rw-r--r-- | math/gri/Makefile | 2 | ||||
| -rw-r--r-- | math/gri/distinfo | 6 | ||||
| -rw-r--r-- | math/gri/files/patch-doc_Makefile.in | 13 |
3 files changed, 17 insertions, 4 deletions
diff --git a/math/gri/Makefile b/math/gri/Makefile index 242fdbbead29..8cc83a2e35ff 100644 --- a/math/gri/Makefile +++ b/math/gri/Makefile @@ -6,7 +6,7 @@ # PORTNAME= gri -PORTVERSION= 2.12.16 +PORTVERSION= 2.12.17 CATEGORIES= math MASTER_SITES= ${MASTER_SITE_SOURCEFORGE} MASTER_SITE_SUBDIR= ${PORTNAME} diff --git a/math/gri/distinfo b/math/gri/distinfo index 5c5b9e31fef4..989509a81a3f 100644 --- a/math/gri/distinfo +++ b/math/gri/distinfo @@ -1,3 +1,3 @@ -MD5 (gri-2.12.16.tar.gz) = 6c368b024367ad56b2c4a02666ce6672 -SHA256 (gri-2.12.16.tar.gz) = dfe384cc8ebd82760b9c8a1af9644a69a995b2d4bd0f166abb667c918bd68df3 -SIZE (gri-2.12.16.tar.gz) = 1431717 +MD5 (gri-2.12.17.tar.gz) = 235c32be7dca8db9ab56cb8ee9162f39 +SHA256 (gri-2.12.17.tar.gz) = e0e58308eda79001bce91ac70f3e84423d51219b52cfb988a874c6ac5eb6dfd4 +SIZE (gri-2.12.17.tar.gz) = 1670243 diff --git a/math/gri/files/patch-doc_Makefile.in b/math/gri/files/patch-doc_Makefile.in new file mode 100644 index 000000000000..d32716e213aa --- /dev/null +++ b/math/gri/files/patch-doc_Makefile.in @@ -0,0 +1,13 @@ +--- doc/Makefile.in.orig 2008-07-10 19:10:25.000000000 +0800 ++++ doc/Makefile.in 2008-07-10 19:13:51.000000000 +0800 +@@ -909,8 +909,8 @@ + @OS_IS_FINK_FALSE@ $(INSTALL_DATA) $(srcdir)/../doc/gri.info* $(INFO_DIR) + @OS_IS_FINK_TRUE@ @echo "DEBUG: The OS is fink" + # This is handled by gri.spec [2003-may-31 Dan Kelley] +-@OS_IS_LINUX_REDHAT_FALSE@ gzip $(MAN_DIR)/gri_merge.1 +-@OS_IS_LINUX_REDHAT_FALSE@ gzip $(MAN_DIR)/gri_unpage.1 ++@OS_IS_LINUX_REDHAT_FALSE@@OS_IS_FREEBSD_FALSE@ gzip $(MAN_DIR)/gri_merge.1 ++@OS_IS_LINUX_REDHAT_FALSE@@OS_IS_FREEBSD_FALSE@ gzip $(MAN_DIR)/gri_unpage.1 + @OS_IS_FINK_FALSE@@OS_IS_LINUX_REDHAT_FALSE@ cd $(INFO_DIR) ; gzip -f --best gri.info* + + uninstall-local: |