12:04 Nuno Teixeira (eduardo) 

math/spot: Move man pages to share/man

Approved by:	portmgr (blanket)

    ec04816

07:49 Yuri Victorovich (yuri) 

math/{,py-}spot: Update 2.11.5 → 2.11.6

Reported by:	portscout

    548080322

07:55 Yuri Victorovich (yuri) 

math/{,py-}spot: Update 2.11.4 → 2.11.5

Reported by:	portscout

    531a547

19:36 Yuri Victorovich (yuri) 

math/{,py-}spot: Update 2.11.3 → 2.11.4

Reported by:	portscout

    337d686

08:43 Yuri Victorovich (yuri) 

math/{,py-}spot: Update 2.11.2 -> 2.11.3

Reported by:	portscout

    9b5d863

07:08 Yuri Victorovich (yuri) 

math/spot: Fix the last failing test depending on math/hs-syfco

    fe0f5bf

16:17 Yuri Victorovich (yuri) 

math/{,py-}spot: Update 2.11.1 -> 2.11.2

Reported by:	portscout

    83f468f

19:05 Yuri Victorovich (yuri) 

math/{,py-}spot: Minor improvements

* Allow to test the Python binding from math/spot
* Remove unnecessary patch
* Correct C++ standard level

    889aaf2

18:16 Yuri Victorovich (yuri) 

math/{,py-}spot: Update 2.11 -> 2.11.1

    5da4ef6

17:40 Yuri Victorovich (yuri) 

math/{,py-}spot: Update 2.10.6 -> 2.11

Reported by:	portscout

    c7ef7f5

21:10 Stefan Eßer (se) 

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)

    b7f0544

02:10 Yuri Victorovich (yuri) 

math/{,py-}spot: Update 2.10.5 -> 2.10.6

    8ce9695

06:56 Yuri Victorovich (yuri) 

math/spot: Fix build

Reported by:	fallout

    e841d70

06:06 Yuri Victorovich (yuri) 

math/spot: Fix build failures on 13.0, 12.3

Reported by:	fallout

    3b20584

16:11 Yuri Victorovich (yuri) 

math/{,py-}spot: Update 2.10.4 -> 2.10.5

Reported by:	portscout

    cdcff8e

10:05 Yuri Victorovich (yuri) 

math/{,py-}spot: Update 2.10.3 -> 2.10.4

Reported by:	portscout

    54f7c59

16:31 Yuri Victorovich (yuri) 

math/{,py-}spot: Update 2.10.2 -> 2.10.3

Reported by:	portscout

    feb8652

09:21 Yuri Victorovich (yuri) 

math/{,py-}spot: Update 2.10.1 -> 2.10.2

Reported by:	portscout

    98f58e1

21:33 Yuri Victorovich (yuri) 

math/{,py-}spot: Update 2.10 -> 2.10.1

Reported by:	portscout

    ab50538

10:39 Yuri Victorovich (yuri) 

math/{,py-}spot: Update 2.9.8 -> 2.10

Reported by:	portscout

    da79a3d

08:57 Yuri Victorovich (yuri) 

math/{,py-}spot: Update 2.9.7 -> 2.9.8

    3cce753

18:32 Yuri Victorovich (yuri) 

math/spot: Update 2.9.6 -> 2.9.7

Reported by:	portscout

    5ad5ad5

08:09 Mathieu Arnold (mat) 

One more small cleanup, forgotten yesterday.
Reported by:	lwhsu

    cf118cc

14:31 Mathieu Arnold (mat) 

Remove # $FreeBSD$ from Makefiles.

    305f148

20:46 yuri 

math/spot: Update 2.9.5 -> 2.9.6

Reported by:	portscout

 

01:53 yuri 

math/spot: Update 2.9.4 -> 2.9.5

Reported by:	portscout

 

03:34 yuri 

math/spot: Update 2.9.3 -> 2.9.4

Reported by:	portscout

 

01:11 yuri 

math/spot: Update 2.9.2 -> 2.9.3

Reported by:	portscout

 

02:59 yuri 

math/spot: Update 2.9.1 -> 2.9.2

Reported by:	portscout

 

01:54 yuri 

math/spot: Update 2.9 -> 2.9.1

Reported by:	portscout

 

07:34 yuri 

math/spot: Update 2.8.7 -> 2.9

Reported by:	portscout

 

01:33 yuri 

math/spot: Update 2.8.6 -> 2.8.7

Reported by:	portscout

 

09:15 yuri 

math/spot: Update 2.8.5 -> 2.8.6

Reported by:	portscout

 

08:31 yuri 

math/spot: Update 2.8.4 -> 2.8.5

Reported by:	portscout

 

19:37 yuri 

math/spot: Update 2.8.3 -> 2.8.4

Reported by:	portscout

 

07:34 yuri 

math/spot: Update 2.8.2 -> 2.8.3

Reported by:	portscout

 

15:09 yuri 

math/spot: Update 2.8.1 -> 2.8.2

Reported by:	portscout

 

20:27 yuri 

math/spot: Update 2.7.5 -> 2.8.1

Reported by:	portscout

 

20:46 gerald 

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

 

06:43 yuri 

math/spot: Update 2.7.4 -> 2.7.5

Reported by:	portscout

 

07:12 yuri 

math/spot: Update 2.7.2 -> 2.7.4

Reported by:	portscout

 

04:37 yuri 

math/spot: Update 2.7.1 -> 2.7.2

Reported by:	portscout

 

04:59 yuri 

math/spot: Update 2.7 -> 2.7.1

Reported by:	portscout

 

18:37 yuri 

math/spot: Update 2.6.3 -> 2.7

Reported by:	portscout

 

01:35 gerald 

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

 

22:27 yuri 

math/spot: Update 2.6.2 -> 2.6.3

Reported by:	portscout

 

01:58 yuri 

math/spot: Update 2.6.1 -> 2.6.2

Reported by:	portscout

 

21:24 yuri 

math/spot: Add USES=charsetfix, remove RM for lib/charset.alias

 

23:30 yuri 

New port: math/spot: Library for omega automata manipulation and model checking