Commit History - (may be incomplete: see SVNWeb link above for full details) |
Date | By | Description |
26 Jul 2019 20:46:57
1.7.1_4

|
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 |
22 Apr 2019 16:01:13
1.7.1_3

|
antoine  |
Mark BROKEN on FreeBSD 12 and 13
mlton -default-ann 'nonexhaustiveMatch ignore' -output bin/twelf-server
build/${cmfileid}
invalid target: self
Reported by: pkg-fallout
MFH: 2019Q2 |
12 Dec 2018 01:35:36
1.7.1_3

|
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 |
10 Nov 2018 18:12:58
1.7.1_2

|
bapt  |
Install texinfo files (GNU info) into ${PREFIX}/share/info
After a discussion on the mailing list on moving manpages to
${PREFIX}/share/man for consistency with base where it is
installed in usr/share/man, it appeared the same should happen
to GNU info files which were installed under share in base and
not in ports.
Now texinfo is not in base on any of the supported version of FreeBSD
it is possible to proceed to this move and it is easier to do than
the manpage change.
Other benefit than consistency are less patching: all build tools but
cmake are expecting info files to be under share/info and cmake (patched here)
was having an exception for BSD so the patch makes FreeBSD case less
specific for them
Bump revision of all impacted ports
PR: 232907
exp-run by: antoine
Differential Revision: https://reviews.freebsd.org/D17816 |
02 Nov 2018 19:47:25
1.7.1_1

|
antoine  |
Install info page properly |
10 Mar 2018 17:46:06
1.7.1_1

|
gerald  |
Bump PORTREVISIONs of all users of math/mpc that we just updated to
version 1.1.0 (via revision 464079). |
17 Dec 2016 12:58:58
1.7.1

|
sunpoet  |
- USe DISTVERSIONPREFIX instead of DISTNAME
- Add missing OPTIONS_DEFINE=DOCS
- Use USES=makeinfo instead of hard-coded BUILD_DEPENDS
- Convert to options helper
- Convert to options target helper
- While I'm here, fix indent
Approved by: portmgr (blanket) |
01 Apr 2016 14:08:38
1.7.1

|
mat  |
Remove ${PORTSDIR}/ from dependencies, categories h, i, j, k, and l.
With hat: portmgr
Sponsored by: Absolight |
23 Jul 2014 12:58:35
1.7.1

|
bapt  |
Do not hardcode dvips dependency |
21 Jul 2014 22:14:39
1.7.1

|
bapt  |
Fix build with texlive |
16 Jul 2014 20:37:19
1.7.1

|
riggs  |
- Update to latest upstream release 1.7.1
- Assign maintainership to Timothy Beyer <beyert@cs.ucr.edu>
(previously ports@)
- General cleanup
- Add LICENSE
- Remove twelf from LEGAL (port is now BSD2CLAUSE licensed)
PR: 191758
Submitted by: Timothy Beyer <beyert@cs.ucr.edu>
Approved by: mentors (implicit) |
05 Jul 2014 19:27:04
1.5R1_5

|
olgeni  |
Remove indefinite articles and trailing periods from COMMENT, plus minor
COMMENT typos and surrounding whitespace fixes. A few Makefiles where not
included as they contain Latin-1 characters that break the Phabricator
workflow. Categories J-L.
CR: D305
Approved by: portmgr (swills) |
10 May 2014 16:09:49
1.5R1_5

|
antoine  |
Maintainer no longer wishes to maintain those ports
With hat: portmgr |
20 Sep 2013 19:53:10
1.5R1_5

|
bapt  |
Add NO_STAGE all over the place in preparation for the staging support (cat:
lang) |
11 May 2013 17:58:56
1.5R1_5

|
hrs  |
Rectify USE_TEX to support both of teTeX and TeXLive.
TEX_DEFAULT:
A knob to choose teTeX or TeXLive. One can specify in /etc/make.conf.
USE_TEX:
A knob for port developers. Valid keywords are listed in
bsd.tex.mk. |
06 May 2013 02:00:41
1.5R1_5

|
hrs  |
Remove *_DEPENDS from ports which depend on teTeX and add USE_TEX=tetex
instead to make migration to TeXLive easier. |
01 Jun 2012 05:26:28
1.5R1_5
|
dinoex  |
- update png to 1.5.10 |
24 Oct 2011 09:11:38
1.5R1_4
|
dougb  |
The vast majority of pkg-descr files had the following format when they
had both lines:
Author: ...
WWW: ....
So standardize on that, and move them to the end of the file when necessary.
Also fix some more whitespace, and remove more "signature tags" of varying
forms, like -- name, etc.
s/AUTHOR/Author/
A few other various formatting issues |
03 Jul 2011 13:45:36
1.5R1_4
|
ohauer  |
- remove MD5 |
02 May 2011 12:44:53
1.5R1_4
|
makc  |
Bump PORTREVISION after open-mofit update |
28 Mar 2010 06:47:48
1.5R1_3
|
dinoex  |
- update to 1.4.1
Reviewed by: exp8 run on pointyhat
Supported by: miwi |
05 Feb 2010 11:46:55
1.5R1_2
|
dinoex  |
- update to jpeg-8 |
31 Jul 2009 13:57:52
1.5R1_1
|
dinoex  |
- bump all port that indirectly depends on libjpeg and have not yet been bumped
or updated
Requested by: edwin |
11 Apr 2009 03:00:02
1.5R1
|
wxs  |
- Update to 1.5R1
PR: ports/131631
Submitted by: Andrew Bernard <andrewb@cs.cmu.edu> (maintainer) |
09 May 2006 20:52:24
1.4
|
edwin  |
Remove USE_REINPLACE from the categories starting with L |
26 Nov 2005 12:49:47
1.4
|
edwin  |
New port: lang/twelf A meta-logical framework for deductive systems
The Twelf implementation comprises
* the LF logical framework, including type reconstruction;
* the Elf constraint logic programming language;
* an inductive meta-theorem prover for LF;
* and an Emacs interface.
PR: ports/84625
Submitted by: "Andrew Bernard" <andrew@hobnob.com> |