07:53 Muhammad Moinur Rahman (bofh) 

lang/twelf: Mark BROKEN on all versions

Fails to build with invalid target.

Approved by:	portmgr (blanket)
Sponsored by:	The FreeBSD Foundation

    01a678c

14:44 Muhammad Moinur Rahman (bofh) 

Mk/**tex.mk: Convert bsd.tex.mk to USES=tex

- Update all the consumers to use USES=tex
- USE_TEX=yes is the old way of writing USES=tex which has been removed
  and replaced in all ports
- Almost all of the USE_TEX features remains unchanged
- Some consumers had the same variables defined both in the mk
  infrastructure and also in the ports which have been removed from the
  ports as those are redundant.

In case any of the consumers are failing to build please make sure that
the nexessary USES=tex is there. Unlike previous USE_TEX=yes will no
longer load the required VARS for tex and related dependencies.

Reviewed by:	portmgr
Approved by:	portmgr (blanket)

    721e577

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

14:22 Tobias C. Berner (tcberner) 

lang: remove 'Created by' lines

A big Thank You to the original contributors of these ports:

  *  Aaron Dalton <aaron@FreeBSD.org>
  *  Adam Weinberger <adamw@FreeBSD.org>
  *  Akinori MUSHA aka knu <knu@idaemons.org>
  *  Alex Dupre <ale@FreeBSD.org>
  *  Alexey Dokuchaev <danfe@FreeBSD.org>
  *  Alonso Cardenas Marquez <acm@FreeBSD.org>
  *  Andreas Klemm <andreas@klemm.gtn.com>
  *  Andrew Pantyukhin <infofarmer@FreeBSD.org>
  *  Andrey Zakhvatov
  *  Anton Berezin <tobez@FreeBSD.org>
  *  Anton Berezin <tobez@tobez.org>
  *  Anton Shterenlikht
  *  Ashish SHUKLA <ashish@FreeBSD.org>
  *  Bob Eager <bob@eager.cx>
  *  Bruce M Simpson
  *  Bruce M. Simpson
  *  Christoph Mallon <christoph.mallon@gmx.de>
  *  Christopher Elkins <chrise@scardini.com>
  *  Christopher Key <cjk32@cam.ac.uk>
  *  Chuck Robey <chuckr@FreeBSD.org>
  *  Cyrille Lefevre <clefevre@citeweb.net>
  *  Dan Rench <citric@cubicone.tmetic.com>
  *  Danilo Egea Gondolfo <danilogondolfo@gmail.com>
  *  Dario Freni <saturnero@gufi.org>
  *  David Kalliecharan <dave@dal.ca>
  *  David Naylor <dbn@FreeBSD.org>
  *  David Naylor <dbn@dragon.local>
  *  David O'Brien (obrien@NUXI.com)
  *  David O'Brien (obrien@NUXI.org)
  *  David O'Brien <obrien@NUXI.org>
  *  David O'Brien <obrien@cs.ucdavis.edu>
  *  Dereckson <dereckson@gmail.com>
  *  Devon H. O'Dell <devon.odell@gmail.com>
  *  Dmitry Sivachenko <demon@FreeBSD.org>
  *  Don Croyle <croyle@gelemna.org>
  *  Douglas Anestad <yotta@dougdidit.com>
  *  Edwin Groothuis (edwin@mavetju.org)
  *  Edwin Groothuis <edwin@mavetju.org>
  *  Eugene Ossintsev
  *  Frank Fischer
  *  Frank Gruender <elwood@mc5sys.in-berlin.de>
  *  Frederic Cambus
  *  Gea-Suan Lin <gslin@gslin.org>
  *  Gerald Pfeifer <gerald@FreeBSD.org>
  *  Giuseppe Pilichi aka Jacula Modyun <jacula@gmail.com>
  *  GreenDog <fiziologus@gmail.com>
  *  Gustau Perez i Querol <gustau.perez@gmail.com>
  *  Guy Antony Halse <guy@rucus.ru.za.za>
  *  Herve Quiroz <hq@FreeBSD.org>
  *  Hye-Shik Chang
  *  Hye-Shik Chang <perky@fallin.lv>
  *  Hye-Shik Chang <perky@python.or.kr>
  *  Iblis Lin <iblis@hs.ntnu.edu.tw>
  *  James Bailie <jimmy@mammothcheese.ca>
  *  James FitzGibbon <jfitz@FreeBSD.org>
  *  Jean-Sébastien Pédron <dumbbell@FreeBSD.org>
  *  Jean-Yves Lefort <jylefort@FreeBSD.org>
  *  Jeff Brown <jabrown@caida.org>
  *  Jeremy Norris <ishmael27@home.com>
  *  Jing-Tang Keith Jang <keith@FreeBSD.org>
  *  John Hein <jhein@symmetricom.com>
  *  John Marino <marino@FreeBSD.org>
  *  John Merryweather Cooper
  *  John Merryweather Cooper <coop9211@uidaho.edu>
  *  John Merryweather Cooper et al
  *  Joseph Koshy <jkoshy@FreeBSD.org>
  *  Josh Elsasser <jre@vineyard.net>
  *  Josh Gilliam <josh@quick.net>
  *  Julian H. Stacey <jhs@FreeBSD.org>
  *  Julian Stecklina
  *  Jyun-Yan You <jyyou@cs.nctu.edu.tw>
  *  Katsuji ISHIKAWA <katsuji.ishikawa@gmail.com>
  *  Kimura Fuyuki <fuyuki@hadaly.org>
  *  Kimura Fuyuki <fuyuki@mj.0038.net>
  *  Kimura Fuyuki <fuyuki@nigredo.org>
  *  Kiriyama Kazuhiko <kiri@kiri.toba-cmt.ac.jp>
  *  Kubilay Kocak <koobs@FreeBSD.org>
  *  Lars Thegler <lth@FreeBSD.org>
  *  Lev Walkin <vlm@lionet.info>
  *  Li-Wen Hsu <lwhsu@FreeBSD.org>
  *  Mahdi Mokhtari <mokhi64@gmail.com>
  *  Marcin Cieslak <saper@SYSTEM.PL>
  *  Martin Matuska <mm@FreeBSD.org>
  *  Matthew Hunt <mph@FreeBSD.org>
  *  Michael Butschky <butsch@computi.erols.com>
  *  Michael Johnson <ahze@FreeBSD.org>
  *  Mitsuru YOSHIDA <mitsuru@riken.jp>
  *  Muhammad Moinur Rahman <5u623l20@gmail.com>
  *  Neal Nelson <ports@nicandneal.net>
  *  Nicola Vitale <nivit@FreeBSD.org>
  *  Nils M Holm <nmh@t3x.org>
  *  Oliver Braun <obraun@informatik.unibw-muenchen.de>
  *  Oliver Breuninger <ob@seicom.NET>
  *  Patrick Li <pat@databits.net>
  *  Pawel Worach <pawel.worach@gmail.com>
  *  Pedro F. Giffuni <giffunip@asme.org>
  *  Pedro Giffuni
  *  Pedro Giffuni <giffunip@asme.org>
  *  Pete French <pete@twisted.org.uk>
  *  Peter Schuller <peter.schuller@infidyne.com>
  *  Peter van Heusden <pvh@egenetics.com>
  *  Phillip Neumann <pneumann@gmail.com>
  *  Piotr Kubaj <pkubaj@anongoth.pl>
  *  Po-Chuan Hsieh <sunpoet@FreeBSD.org>
  *  Pontus Stenetorp <ninjin@kth.se>
  *  Ralf S. Engelschall <rse@engelschall.com>
  *  Rick van der Zwet <rick@wzoeterwoude.net>
  *  Rob Zinkov
  *  Roland Jesse <roland.jesse@gmx.net>
  *  Romain Tartiere <romain@blogreen.org>
  *  Ryan Steinmetz <zi@FreeBSD.org>
  *  Sahil Tandon <sahil@tandon.net>
  *  Sergei Kolobov <sergei@kolobov.com>
  *  Sergey A. Osokin <osa@FreeBSD.org>
  *  Sergey Skvortsov <skv@protey.ru>
  *  Simon Marlow <simonmar@microsoft.com>
  *  Simun Mikecin <numisemis@yahoo.com>
  *  Stanislav Sedov <ssedov@mbsd.msk.ru>
  *  Stephen Weeks <sweeks@sweeks.com>
  *  Steven G. Kargl
  *  Sunpoet Po-Chuan Hsieh <sunpoet@FreeBSD.org>
  *  Sylvio Cesar <sylvio@FreeBSD.org>
  *  Thomas Gellekum <tg@FreeBSD.org>
  *  Timothy Beyer <beyert@cs.ucr.edu>
  *  Timothy Bourke <timbob@bigpond.com>
  *  Tom Judge <tj@FreeBSD.org>
  *  Veniamin Gvozdikov <vg@FreeBSD.org>
  *  Vitaly Magerya <vmagerya@gmail.com>
  *  Wen Heping <wenheping@gmail.com>
  *  Wen Heping <wenhping@gmail.com>
  *  Wes Peters <wes@softweyr.com>
  *  Ying-Chieh Liao <ijliao@FreeBSD.org>
  *  Yukihiro Nakai <Nakai@technologist.com>
  *  Yukihiro Nakai <nakai@FreeBSD.org>
  *  Zach Garner <zach@neurosoft.org>
  *  aaron@FreeBSD.org
  *  andrewb@cs.cmu.edu
  *  arved
  *  chinsan
  *  chuckr
  *  dd
  *  erik@smluc.org
  *  gahr
  *  gahr@FreeBSD.org
  *  gpalmer
  *  hsu
  *  ijliao
  *  jasone
  *  jkh
  *  jkoshy
  *  jmacd
  *  jmacd@FreeBSD.org
  *  jmz
  *  js@jeannot.org
  *  jseger@FreeBSD.org
  *  kappa@FreeBSD.org.ua
  *  kbyanc
  *  msmith@gsoft.com.au
  *  mutoh@openedu.org
  *  netchild@FreeBSD.org
  *  patrick
  *  pst
  *  rene@FreeBSD.org
  *  ruslan@shevchenko.kiev.ua
  *  stas
  *  tobez

With hat:	portmgr

    f98ae56

14:31 Mathieu Arnold (mat) 

Remove # $FreeBSD$ from Makefiles.

    305f148

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

 

16:01 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

 

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

 

18:12 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

 

19:47 antoine 

Install info page properly

 

17:46 gerald 

Bump PORTREVISIONs of all users of math/mpc that we just updated to
version 1.1.0 (via revision 464079).

 

12:58 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)

 

14:08 mat 

Remove ${PORTSDIR}/ from dependencies, categories h, i, j, k, and l.

With hat:	portmgr
Sponsored by:	Absolight

 

12:58 bapt 

Do not hardcode dvips dependency

 

22:14 bapt 

Fix build with texlive

 

20:37 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)

 

19:27 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)

 

16:09 antoine 

Maintainer no longer wishes to maintain those ports

With hat:	portmgr

 

19:53 bapt 

Add NO_STAGE all over the place in preparation for the staging support (cat:
lang)

 

17:58 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.

 

02:00 hrs 

Remove *_DEPENDS from ports which depend on teTeX and add USE_TEX=tetex
instead to make migration to TeXLive easier.

 

05:26 dinoex 

- update png to 1.5.10

12:44 makc 

Bump PORTREVISION after open-mofit update

06:47 dinoex 

- update to 1.4.1
Reviewed by:    exp8 run on pointyhat
Supported by:   miwi

11:46 dinoex 

- update to jpeg-8

13:57 dinoex 

- bump all port that indirectly depends on libjpeg and have not yet been bumped
or updated
Requested by:   edwin

03:00 wxs 

- Update to 1.5R1

PR:             ports/131631
Submitted by:   Andrew Bernard <andrewb@cs.cmu.edu> (maintainer)

20:52 edwin 

Remove USE_REINPLACE from the categories starting with L

12:49 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>