00:33 Muhammad Moinur Rahman (bofh) 

lang/maude: Fix build with llvm16

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

    54def85

11:50 Yuri Victorovich (yuri) 

lang/maude: CVC4 is broken because project doesn't yet support CVC5

    410c028

11:56 Fernando Apesteguía (fernape) 

*/*: Release ports from maintainership

Maintainer releases all his ports.

PR:		266871
Reported by:	unrelentingtech <greg@unrelenting.technology>

    f57221a

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:46 Dima Panov (fluffy) 

*/*: bump all consumers after recent boost upgrade

    4cf39de

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

19:37 pkubaj 

lang/maude: fix build on GCC architectures

Don't link unconditinally with $NCURSESLIB. When NCURSESLIB is /usr/lib and the
system compiler is base GCC, GCC from ports (currently GCC9) is used. Passing
-L/usr/lib makes GCC try to link to base libstdc++ instead the one from ports.

Also add USES=localbase:ldflags.

PR:		239481
Approved by:	linimon (mentor), greg@unrelenting.technology (maintainer)
Differential Revision:	https://reviews.freebsd.org/D21397

 

17:36 fernape 

math/cvc4: simplify post-patch

* Bump PORTREVISION
* Unbreak lang/maude and lang/solidity (broken in r508058 and r508059)

Reported by:	jbeich@
Reviewed by:	jbeich@
Differential Revision:	https://reviews.freebsd.org/D21170

 

05:39 antoine 

Mark BROKEN: fails to build

In file included from metaLevelOpSymbol.cc:100:
In file included from ./descentFunctions.cc:584:
In file included from ../../src/Mixfix/variableGenerator.hh:33:
/usr/local/include/cvc4/expr/expr_manager.h:47:10: fatal error: 'cvc4_public.h'
file not found
#include "cvc4_public.h"

Reported by:	pkg-fallout

 

05:30 lwhsu 

- Update to 2.7.1
- Add CVC4 support option and enabled by default
- Unbreak on aarch64, sbrk is not used anymore
- Remove build date to make the build reproducible
- Pass maintainership to submitter
- Pet `portlint -abct`

PR:		231443
Submitted by:	Greg V <greg@unrelenting.technology>

 

11:28 amdmi3 

- Remove always-true/false conditions after FreeBSD 9, 10.1, 10.2 EOL
- Switch to options helpers

Approved by:	portmgr blanket

 

17:31 marino 

lang/maude: document ncurses requirement

- Set to link directly against ncurses (not curses)
- Explicitly set extra patches to apply to DF as well.  They were already
  but it wasn't clear if that was wanted or not.
- set USES=alias to fix building on DF

 

00:34 linimon 

Mark as broken on various tier-2 archs.

While here, pet portlint.

Approved by:	portmgr (tier-2 blanket)

 

22:16 rene 

lang/maude: fix fetching and unexpire

The MASTER_SITES was changed and so was the name of one distfile, the
contents remained the same.

PR:		210018
Submitted by:	Keith Gaughan <k@stereochro.me>
MFH:		2016Q4

 

16:44 antoine 

Deprecate ports broken for more than 6 months

 

14:08 mat 

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

With hat:	portmgr
Sponsored by:	Absolight

 

12:59 antoine 

Mark a few ports BROKEN: unfetchable

 

17:26 amdmi3 

- Switch to USES=autoreconf

 

19:58 riggs 

- Stagify
- Fix build on clang
- Add MAKE_JOBS_UNSAFE
- Add LICENSE
- Add DOCS option
- Bump PORTREVISION
- Pet portlint

PR:		191049
Submitted by:	k@stereochro.me
Reviewed by:	cpm@fbsd.es, joemann@beefree.free.de, marino, riggs
Final patch by:	cpm@fbsd.es, riggs
MFH:		2014Q3

 

10:01 bapt 

Reset maintainership for non staged ports

With hat:	portmgr

 

23:36 bapt 

Modernize LIB_DEPENDS

With hat:	portmgr

 

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)

 

19:53 bapt 

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

 

05:42 ade 

- Update devel/automake to 1.14
- Update devel/gettext to 0.18.3
- Fix known-broken (from exp-runs) ports
- Clean up a lot of cruft in the devel/gettext port itself,
  based on work from tijl@

PR:		178883
Submitted by:	ade
Sponsored by:	Wadsworth 6X

 

06:05 bapt 

Convert to new options framework

 

21:08 bapt 

Really fix build on FreeBSD 9+

 

21:08 bapt 

Fix build on FreeBSD 9+

 

11:32 bapt 

Convert USE_BISON to USES= bison

It brings bison as a build dependency in case it is set the following way:
USES= bison or USES= bison:build

it brings bison as a run dependency in case it is set the following way:
USES= bison:run

it brings bison both as a run and build dependency in case it the set the
following way:
USES= bison:both

While here trim some headers
Convert some USE_GNOME= gnomehack to USES= pathfix

 

20:41 scheidell 

- Update to 2.6.
- Make all files in ${DATADIR} loadable by filename without an explicit path,
and without setting MAUDE_LIB. Currently only
${DATADIR}/prelude.maude is loaded (during startup).
- Add option FULL_MAUDE (default: on) for user convenience. This
installs full-maude26b.maude into ${DATADIR}.
- previous maintainer turns port over to committer

PR:             ports/162955
Submitted by:   joemann@beefree.free.de
Reviewed by:    info@rickvanderzwet.nl
Approved by:    maintainer, gabor(mentor)
Feature safe:   yes

22:26 amdmi3 

- Add LDFLAGS to CONFIGURE_ENV and MAKE_ENV (as it was done with LDFLAGS)
- Fix all ports that add {CPP,LD}FLAGS to *_ENV to modify flags instead

PR:             157936
Submitted by:   myself
Exp-runs by:    pav
Approved by:    pav

19:57 ade 

Round one migration of ports from automake{19,110} to automake111

10:43 ale 

Switch to use newer GMP version.

PR:             ports/144487
Submitted by:   ale
Approved by:    portmgr (-exp run by erwin)

09:46 ale 

Chase libgmp and bump PORTREVISION.

20:36 pav 

- Remove conditional checks for FreeBSD 5.x and older

00:34 edwin 

Update port: lang/maude 2.2 -> 2.3

        Maude 2.3 is compiles under 4.2 again, so port does not
        need to be marked as broken anymore.

        Quite a few hacks to get it installing properly:
        * Coder forgot to include the *.maude files into the
        Makefile.am while porting files into the MixFix directory
        to Main directory. Included again, which explains the current
        need of aclocal and automake to regenerate the Makefiles
        * Project requires MAUDE_LIB env to be set to the location
        of %%DATADIR%% which is quite cumbersome, introduced
        MAUDE_DATA_DIR into the code to get rid of the non handy
        environment variable.

PR:             ports/126438
Submitted by:   Rick van der Zwet <rick@wzoeterwoude.net>

21:22 pav 

- Mark BROKEN with gcc42 across the board

10:13 ade 

Migration from bison 1.x to 2.x

PR:             117086
Tested by:      -exp runs

01:01 linimon 

Mark as broken on gcc4.2 on 64-bit archs.  Build status on i386 unknown.

18:50 rafan 

- Update master site

PR:             ports/109395
Spotted by:     Bill distfiles Fenner
Submitted by:   Rick van der Zwet <rick at wzoeterwoude.net> (maintainer)

20:25 linimon 

Mark broken on 4.X/5.X: fails to compile.

22:32 jylefort 

Add maude.

Maude is a high-performance reflective language and system supporting both
equational and rewriting logic specification and programming for a wide range
of applications. Maude has been influenced in important ways by the OBJ3
language, which can be regarded as an equational logic sublanguage. Besides
supporting equational specification and programming, Maude also supports
rewriting logic computation.

Rewriting logic is a logic of concurrent change that can naturally deal with
state and with concurrent computations. It has good properties as a general
semantic framework for giving executable semantics to a wide range of
languages and models of concurrency. In particular, it supports very well
concurrent object-oriented computation. The same reasons making rewriting
logic a good semantic framework make it also a good logical framework, that
is, a metalogic in which many other logics can be naturally represented and
executed.

Maude supports in a systematic and efficient way logical reflection. This
makes Maude remarkably extensible and powerful, supports an extensible algebra
of module composition operations, and allows many advanced metaprogramming and
metalanguage applications. Indeed, some of the most interesting applications
of Maude are metalanguage applications, in which Maude is used to create
executable environments for different logics, theorem provers, languages, and
models of computation.

WWW: http://maude.cs.uiuc.edu/

PR:             ports/94986
Submitted by:   Rick van der Zwet <rick@traffie.wzoeterwoude.net>