diff options
author | marino <marino@FreeBSD.org> | 2015-12-11 04:20:22 +0800 |
---|---|---|
committer | marino <marino@FreeBSD.org> | 2015-12-11 04:20:22 +0800 |
commit | e23960f1dd131160d614d29d577a0947a3a613b6 (patch) | |
tree | a95b83fd329c9d43c7fa8c6ee216b53e12d5c00d /math | |
parent | 53ce3cb3a8ee4af0e4a0a99b84d83fe88410b32a (diff) | |
download | freebsd-ports-graphics-e23960f1dd131160d614d29d577a0947a3a613b6.tar.gz freebsd-ports-graphics-e23960f1dd131160d614d29d577a0947a3a613b6.tar.zst freebsd-ports-graphics-e23960f1dd131160d614d29d577a0947a3a613b6.zip |
Move math/why3-gpl => math/why3-spark
There are two reasons to rename this port.
1) Upstream never liked it and requested -spark be the suffix instead
2) An ongoing attempt to fix lang/spark may result in a number of slave
ports with a -spark suffix, so this keeps up consistency as all of
these ports only exist to support that port.
Diffstat (limited to 'math')
-rw-r--r-- | math/Makefile | 2 | ||||
-rw-r--r-- | math/why3-spark/Makefile (renamed from math/why3-gpl/Makefile) | 2 | ||||
-rw-r--r-- | math/why3-spark/distinfo (renamed from math/why3-gpl/distinfo) | 0 | ||||
-rw-r--r-- | math/why3-spark/files/patch-Makefile.in (renamed from math/why3-gpl/files/patch-Makefile.in) | 0 | ||||
-rw-r--r-- | math/why3-spark/files/patch-src_tools_cpulimit.c (renamed from math/why3-gpl/files/patch-src_tools_cpulimit.c) | 0 | ||||
-rw-r--r-- | math/why3-spark/pkg-descr (renamed from math/why3-gpl/pkg-descr) | 0 | ||||
-rw-r--r-- | math/why3-spark/pkg-plist (renamed from math/why3-gpl/pkg-plist) | 0 |
7 files changed, 2 insertions, 2 deletions
diff --git a/math/Makefile b/math/Makefile index 14769c12362..680fb9dd29c 100644 --- a/math/Makefile +++ b/math/Makefile @@ -688,7 +688,7 @@ SUBDIR += wcalc SUBDIR += wfmath SUBDIR += why3 - SUBDIR += why3-gpl + SUBDIR += why3-spark SUBDIR += wingz3 SUBDIR += wxMaxima SUBDIR += x12arima diff --git a/math/why3-gpl/Makefile b/math/why3-spark/Makefile index 723e20ca26e..631e704cf18 100644 --- a/math/why3-gpl/Makefile +++ b/math/why3-spark/Makefile @@ -6,7 +6,7 @@ PORTVERSION= 2015 CATEGORIES= math MASTER_SITES= http://downloads.dragonlace.net/src/ \ LOCAL/marino -PKGNAMESUFFIX= -gpl +PKGNAMESUFFIX= -spark DISTNAME= why3-for-spark-gpl-${PORTVERSION}-src MAINTAINER= marino@FreeBSD.org diff --git a/math/why3-gpl/distinfo b/math/why3-spark/distinfo index 2a3be98e5d5..2a3be98e5d5 100644 --- a/math/why3-gpl/distinfo +++ b/math/why3-spark/distinfo diff --git a/math/why3-gpl/files/patch-Makefile.in b/math/why3-spark/files/patch-Makefile.in index 9c962d3cea7..9c962d3cea7 100644 --- a/math/why3-gpl/files/patch-Makefile.in +++ b/math/why3-spark/files/patch-Makefile.in diff --git a/math/why3-gpl/files/patch-src_tools_cpulimit.c b/math/why3-spark/files/patch-src_tools_cpulimit.c index f10f73f2aff..f10f73f2aff 100644 --- a/math/why3-gpl/files/patch-src_tools_cpulimit.c +++ b/math/why3-spark/files/patch-src_tools_cpulimit.c diff --git a/math/why3-gpl/pkg-descr b/math/why3-spark/pkg-descr index c6a8b3de3be..c6a8b3de3be 100644 --- a/math/why3-gpl/pkg-descr +++ b/math/why3-spark/pkg-descr diff --git a/math/why3-gpl/pkg-plist b/math/why3-spark/pkg-plist index a85c8ed25d6..a85c8ed25d6 100644 --- a/math/why3-gpl/pkg-plist +++ b/math/why3-spark/pkg-plist |