1
0
mirror of https://git.FreeBSD.org/ports.git synced 2025-01-31 10:46:16 +00:00
Commit Graph

50 Commits

Author SHA1 Message Date
Yuri Victorovich
5480803223 math/{,py-}spot: Update 2.11.5 → 2.11.6
Reported by:	portscout
2023-08-02 00:49:50 -07:00
Yuri Victorovich
531a547341 math/{,py-}spot: Update 2.11.4 → 2.11.5
Reported by:	portscout
2023-06-11 00:55:56 -07:00
Yuri Victorovich
337d686c0a math/{,py-}spot: Update 2.11.3 → 2.11.4
Reported by:	portscout
2023-02-11 11:36:39 -08:00
Yuri Victorovich
9b5d863eb7 math/{,py-}spot: Update 2.11.2 -> 2.11.3
Reported by:	portscout
2022-12-22 00:43:32 -08:00
Yuri Victorovich
fe0f5bf40f math/spot: Fix the last failing test depending on math/hs-syfco 2022-10-29 00:08:35 -07:00
Yuri Victorovich
83f468f63c math/{,py-}spot: Update 2.11.1 -> 2.11.2
Reported by:	portscout
2022-10-28 09:17:12 -07:00
Yuri Victorovich
889aaf2671 math/{,py-}spot: Minor improvements
* Allow to test the Python binding from math/spot
* Remove unnecessary patch
* Correct C++ standard level
2022-10-10 12:05:35 -07:00
Yuri Victorovich
5da4ef64f4 math/{,py-}spot: Update 2.11 -> 2.11.1 2022-10-10 11:16:54 -07:00
Yuri Victorovich
c7ef7f5241 math/{,py-}spot: Update 2.10.6 -> 2.11
Reported by:	portscout
2022-10-09 10:40:42 -07:00
Stefan Eßer
fb16dfecae Remove WWW entries moved into port Makefiles
Commit b7f05445c0 has added WWW entries to port Makefiles based on
WWW: lines in pkg-descr files.

This commit removes the WWW: lines of moved-over URLs from these
pkg-descr files.

Approved by:		portmgr (tcberner)
2022-09-07 23:58:51 +02:00
Stefan Eßer
b7f05445c0 Add WWW entries to port Makefiles
It has been common practice to have one or more URLs at the end of the
ports' pkg-descr files, one per line and prefixed with "WWW:". These
URLs should point at a project website or other relevant resources.

Access to these URLs required processing of the pkg-descr files, and
they have often become stale over time. If more than one such URL was
present in a pkg-descr file, only the first one was tarnsfered into
the port INDEX, but for many ports only the last line did contain the
port specific URL to further information.

There have been several proposals to make a project URL available as
a macro in the ports' Makefiles, over time.

This commit implements such a proposal and moves one of the WWW: entries
of each pkg-descr file into the respective port's Makefile. A heuristic
attempts to identify the most relevant URL in case there is more than
one WWW: entry in some pkg-descr file. URLs that are not moved into the
Makefile are prefixed with "See also:" instead of "WWW:" in the pkg-descr
files in order to preserve them.

There are 1256 ports that had no WWW: entries in pkg-descr files. These
ports will not be touched in this commit.

The portlint port has been adjusted to expect a WWW entry in each port
Makefile, and to flag any remaining "WWW:" lines in pkg-descr files as
deprecated.

Approved by:		portmgr (tcberner)
2022-09-07 23:10:59 +02:00
Yuri Victorovich
8ce96952a8 math/{,py-}spot: Update 2.10.5 -> 2.10.6 2022-05-19 19:10:18 -07:00
Yuri Victorovich
e841d702dd math/spot: Fix build
Reported by:	fallout
2022-05-18 23:56:07 -07:00
Yuri Victorovich
3b205848fc math/spot: Fix build failures on 13.0, 12.3
Reported by:	fallout
2022-05-07 23:06:13 -07:00
Yuri Victorovich
cdcff8e44e math/{,py-}spot: Update 2.10.4 -> 2.10.5
Reported by:	portscout
2022-05-05 09:11:23 -07:00
Yuri Victorovich
54f7c59af8 math/{,py-}spot: Update 2.10.3 -> 2.10.4
Reported by:	portscout
2022-02-03 02:05:10 -08:00
Yuri Victorovich
feb8652c08 math/{,py-}spot: Update 2.10.2 -> 2.10.3
Reported by:	portscout
2022-01-16 08:31:51 -08:00
Yuri Victorovich
98f58e139c math/{,py-}spot: Update 2.10.1 -> 2.10.2
Reported by:	portscout
2021-12-08 01:21:21 -08:00
Yuri Victorovich
ab5053841f math/{,py-}spot: Update 2.10 -> 2.10.1
Reported by:	portscout
2021-11-19 13:33:17 -08:00
Yuri Victorovich
da79a3dfb4 math/{,py-}spot: Update 2.9.8 -> 2.10
Reported by:	portscout
2021-11-19 02:39:54 -08:00
Yuri Victorovich
3cce753e75 math/{,py-}spot: Update 2.9.7 -> 2.9.8 2021-08-12 01:57:36 -07:00
Yuri Victorovich
5ad5ad59d1 math/spot: Update 2.9.6 -> 2.9.7
Reported by:	portscout
2021-05-16 11:32:36 -07:00
Mathieu Arnold
cf118ccf87
One more small cleanup, forgotten yesterday.
Reported by:	lwhsu
2021-04-07 10:09:01 +02:00
Mathieu Arnold
305f148f48
Remove # $FreeBSD$ from Makefiles. 2021-04-06 16:31:07 +02:00
Yuri Victorovich
19a5d86658 math/spot: Update 2.9.5 -> 2.9.6
Reported by:	portscout
2021-01-19 20:46:30 +00:00
Yuri Victorovich
974c2059f7 math/spot: Update 2.9.4 -> 2.9.5
Reported by:	portscout
2020-12-04 01:53:01 +00:00
Yuri Victorovich
d11fc87726 math/spot: Update 2.9.3 -> 2.9.4
Reported by:	portscout
2020-09-19 03:34:14 +00:00
Yuri Victorovich
4aacad3b5a math/spot: Update 2.9.2 -> 2.9.3
Reported by:	portscout
2020-07-30 01:11:57 +00:00
Yuri Victorovich
4ae0470a7a math/spot: Update 2.9.1 -> 2.9.2
Reported by:	portscout
2020-07-23 02:59:32 +00:00
Yuri Victorovich
7788aae1bf math/spot: Update 2.9 -> 2.9.1
Reported by:	portscout
2020-07-21 01:54:41 +00:00
Yuri Victorovich
f873e60959 math/spot: Update 2.8.7 -> 2.9
Reported by:	portscout
2020-05-01 07:34:04 +00:00
Yuri Victorovich
9c0d06ef8b math/spot: Update 2.8.6 -> 2.8.7
Reported by:	portscout
2020-03-16 01:33:29 +00:00
Yuri Victorovich
4aa9308fcf math/spot: Update 2.8.5 -> 2.8.6
Reported by:	portscout
2020-02-20 09:15:43 +00:00
Yuri Victorovich
9aa3542072 math/spot: Update 2.8.4 -> 2.8.5
Reported by:	portscout
2020-01-05 08:31:04 +00:00
Yuri Victorovich
d80104a20f math/spot: Update 2.8.3 -> 2.8.4
Reported by:	portscout
2019-12-10 19:37:59 +00:00
Yuri Victorovich
da9d32fb87 math/spot: Update 2.8.2 -> 2.8.3
Reported by:	portscout
2019-11-10 07:34:18 +00:00
Yuri Victorovich
f52689ade8 math/spot: Update 2.8.1 -> 2.8.2
Reported by:	portscout
2019-09-28 15:09:09 +00:00
Yuri Victorovich
c30dec4222 math/spot: Update 2.7.5 -> 2.8.1
Reported by:	portscout
2019-08-03 20:27:52 +00:00
Gerald Pfeifer
ea8c8ec7da Bump PORTREVISION for ports depending on the canonical version of GCC
as defined in Mk/bsd.default-versions.mk which has moved from GCC 8.3
to GCC 9.1 under most circumstances now after revision 507371.

This includes ports
 - with USE_GCC=yes or USE_GCC=any,
 - with USES=fortran,
 - using Mk/bsd.octave.mk which in turn features USES=fortran, and
 - with USES=compiler specifying openmp, nestedfct, c11, c++0x, c++11-lang,
   c++11-lib, c++14-lang, c++17-lang, or gcc-c++11-lib
plus, everything INDEX-11 shows with a dependency on lang/gcc9 now.

PR:		238330
2019-07-26 20:46:53 +00:00
Yuri Victorovich
613bdd1850 math/spot: Update 2.7.4 -> 2.7.5
Reported by:	portscout
2019-06-07 06:43:22 +00:00
Yuri Victorovich
b8232f740d math/spot: Update 2.7.2 -> 2.7.4
Reported by:	portscout
2019-04-28 07:12:19 +00:00
Yuri Victorovich
9c46a9cb44 math/spot: Update 2.7.1 -> 2.7.2
Reported by:	portscout
2019-03-21 04:37:01 +00:00
Yuri Victorovich
2dc06078c1 math/spot: Update 2.7 -> 2.7.1
Reported by:	portscout
2019-02-22 04:59:36 +00:00
Yuri Victorovich
d194d24250 math/spot: Update 2.6.3 -> 2.7
Reported by:	portscout
2018-12-12 18:37:46 +00:00
Gerald Pfeifer
a9f015d155 Bump PORTREVISION for ports depending on the canonical version of GCC
defined via Mk/bsd.default-versions.mk which has moved from GCC 7.4 t
GCC 8.2 under most circumstances.

This includes ports
 - with USE_GCC=yes or USE_GCC=any,
 - with USES=fortran,
 - using Mk/bsd.octave.mk which in turn features USES=fortran, and
 - with USES=compiler specifying openmp, nestedfct, c11, c++0x, c++11-lang,
   c++11-lib, c++14-lang, c++17-lang, or gcc-c++11-lib
plus, as a double check, everything INDEX-11 showed depending on lang/gcc7.

PR:		231590
2018-12-12 01:35:33 +00:00
Mark Linimon
d9fad62b36 Fix build with GCC-based architectures.
PR:		231939
Submitted by:	Piotr Kubaj
Approved by:	portmgr (tier-2 blanket)
2018-10-28 13:44:02 +00:00
Yuri Victorovich
68c24312e8 math/spot: Update 2.6.2 -> 2.6.3
Reported by:	portscout
2018-10-18 22:27:28 +00:00
Yuri Victorovich
6f41b196a3 math/spot: Update 2.6.1 -> 2.6.2
Reported by:	portscout
2018-09-30 01:58:21 +00:00
Yuri Victorovich
58ed7a252e math/spot: Add USES=charsetfix, remove RM for lib/charset.alias 2018-08-10 21:24:45 +00:00
Yuri Victorovich
39cfcd2f48 New port: math/spot: Library for omega automata manipulation and model checking 2018-08-04 23:30:58 +00:00