non port: math/cvc3/Makefile |
Number of commits found: 29 |
Thursday, 5 Jan 2023
|
08:16 Li-Wen Hsu (lwhsu)
Remove math/cvc3, it was succeeded by CVC4 and CVC5
Reported by: yuri
7a04fc5 |
Wednesday, 7 Sep 2022
|
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 |
Wednesday, 20 Jul 2022
|
14:22 Tobias C. Berner (tcberner)
math: remove 'Created by' lines
A big Thank You to the original contributors of these ports:
* Aaron Dalton <aaron@FreeBSD.org>
* Aaron Dalton <aaron@daltons.ca>
* Alessando Sagratini <ale_sagra@hotmail.com>
* Alex Dupre <ale@FreeBSD.org>
* Alexey Dokuchaev <danfe@FreeBSD.org>
* Amarendra Godbole <amarendra.godbole@gmail.com>
* Anders Nordby <anders@FreeBSD.org>
* Andreas Fehlner (fehlner@gmx.de)
* Andrew L. Neporada <andrew@chg.ru>
* Andrey <gugu@zoo.rambler.ru>
* Andrey Zakhvatov
* Anton Berezin <tobez@FreeBSD.org>
* Anton Berezin <tobez@plab.ku.dk>
* Anton Berezin <tobez@tobez.org>
* Anton Shterenlikht
* Anton Shterenlikht <mexas@bris.ac.uk>
* Bob Eager <bob@eager.cx>
* Charlie Kester <corky1951@comcast.net>
* Cheng-Lung Sung <clsung@FreeBSD.org>
* Cheng-Lung Sung <clsung@dragon2.net>
* Chris D. Faulhaber <jedgar@fxp.org>
* Christopher J. Ruwe
* Christopher Key <cjk32@cam.ac.uk>
* Chuck Hein <geekdude@pacbell.net>
* Cyrille Szymanski <cnszym@gmail.com>
* Dan Rue <drue@therub.org>
* Danilo Egea Gondolfo <danilo@FreeBSD.org>
* David Naylor <dbn@FreeBSD.org>
* David Naylor <naylor.b.david@gmail.com>
* Dereckson <dereckson@gmail.com>
* Devin Teske <dteske@FreeBSD.org>
* Dmitry Sivachenko <demon@FreeBSD.org>
* Dmitry Sivachenko <mitya@yandex-team.ru>
* Don Croyle <croyle@gelemna.org>
* Douglas K. Rand (rand@meridian-enviro.com)
* Dylan Simon <dylan@dylex.net>
* Edwin Groothuis <edwin@mavetju.org>
* Eijiro Shibusawa <ej-sib@ice.uec.ac.jp>
* Emanuel Haupt <ehaupt@FreeBSD.org>
* Eoin Lawless (eoin@maths.tcd.ie)
* Eric A. Griff <eagriff@global2000.net>
* Eric van Gyzen <vangyzen@stat.duke.edu>
* Ewgenij Gawrilow <gawrilow@math.tu-berlin.de>
* Fernan Aguero <fernan@iib.unsam.edu.ar>
* Foxfair Hu <foxfair@FreeBSD.org>
* Frederic Han <han@math.jussieu.fr>
* Gabor Kovesdan <gabor@FreeBSD.org>
* Gea-Suan Lin <gslin@gslin.org>
* George Reid <greid@ukug.uk.freebsd.org>
* Giuseppe Pilichi aka Jacula Modyun <jacula@gmail.com>
* Greg Larkin <glarkin@FreeBSD.org>
* Guangyuan Yang <ygy@FreeBSD.org>
* Gustau Perez i Querol <gustau.perez@gmail.com>
* Heinz Tschabitscher
* Horia Racoviceanu <horia@racoviceanu.com>
* Hye-Shik Chang <perky@fallin.lv>
* Iblis Lin <iblis@hs.ntnu.edu.tw>
* Issei Suzuki <issei@jp.FreeBSD.ORG>
* Janni
* Jason Harris <jharris@widomaker.com>
* Javad Kouhi <javad.kouhi@gmail.com>
* Jean-Yves Lefort <jylefort@FreeBSD.org>
* Jin-Shan Tseng <tjs@cdpa.nsysu.edu.tw>
* Joe Marcus Clarke <marcus@FreeBSD.org>
* Johannes Dieterich <dieterich@ogolem.org>
* Johannes M Dieterich <jmd@FreeBSD.org>
* Johannes Meixner <johannes@perceivon.net>
* John Marino <marino@FreeBSD.org>
* Joseph Koshy <jkoshy@FreeBSD.org>
* Ju Pengfei <ju.pengfei@gmail.com>
* Jukka A. Ukkonen <jau@iki.fi>
* Kay Lehmann <kay_lehmann@web.de>
* Kevin Lo <kevlo@FreeBSD.org>
* Klaus T. Aehlig <aehlig@linta.de>
* Kubilay Kocak <koobs@FreeBSD.org>
* Kurt Jaeger <fbsd-ports@opsec.eu>
* Lars Engels <lme@FreeBSD.org>
* Lars Koeller <Lars.Koeller@Uni-Bielefeld.DE>
* Lars Koeller <Lars.Koeller@Uni-Bielefeld.de>
* Li-Wen Hsu <lwhsu@FreeBSD.org>
* Li-Wen Hsu <lwhsu@lwhsu.org>
* M. L. Dodson, <bdodson@scms.utmb.edu>
* Maho Nakata <maho@FreeBSD.org>
* Mario S F Ferreira <lioux@FreeBSD.org>
* Mario S F Ferreira <lioux@linf.unb.br> et al.
* Mario Sergio Fujikawa Ferreira <lioux@FreeBSD.org>
* Mark Felder <feld@FreeBSD.org>
* Mark R V Murray <markm@FreeBSD.org>
* Martin Matuska <mm@FreeBSD.org>
* Matthew Seaman <matthew@FreeBSD.org>
* Maurice Castro <maurice@serc.rmit.edu.au>
* Maxim Sobolev <sobomax@FreeBSD.org>
* Maxime Henrion <mux@FreeBSD.org>
* Michael Haro <mharo@FreeBSD.org>
* Michael Johnson <ahze@FreeBSD.org>
* Michael Johnson <ahze@ahze.net>
* Michael Neumann <mneumann@ntecs.de>
* Muhammad Moinur Rahmanh <5u623l20@gmail.com>
* NAKATA Maho <chat95@mbox.kyoto-inet.or.jp>
* NAKATA, Maho <maho@FreeBSD.org>
* Nakata Maho <maho@FreeBSD.org>
* Nicola Vitale <nivit@email.it>
* Olivier Duchateau
* Pedro F. Giffuni
* Pedro F. Giffuni <giffunip@asme.org>
* Pedro Giffuni
* Pedro Giffuni <giffunip@asme.org>
* Pedro Giffuni <pfg@FreeBSD.org>
* Peter Pentchev <roam@FreeBSD.org>
* Philip Paeps <philip@FreeBSD.org>
* Pierre-Paul Lavoie <ppl@nbnet.nb.ca>
* Pietro Cerutti <gahr@FreeBSD.org>
* Piotr Rybicki <meritus@innervision.pl>
* Po-Chuan Hsieh <sunpoet@FreeBSD.org>
* Rainer Hurling <rhurlin@gwdg.de>
* Robert Jenssen
* Robin Schilham
* Rod Taylor <ports@rbt.ca>
* Roman Neuhauser <neuhauser@sigpipe.cz>
* Sander Vesik <sander@haldjas.folklore.ee>
* Scott Flatman <sf@dsinw.com>
* Seamus Venasse <svenasse@polaris.ca>
* Sergey A. Osokin <osa@FreeBSD.org>
* Sergey Akifyev <asa@agava.com>
* Sergey Akifyev <asa@gascom.ru>
* Sergey Skvortsov <skv@FreeBSD.org>
* Sergey Skvortsov <skv@protey.ru>
* Shell Hung <shell@shellhung.org>
* Shin-ya MURAKAMI <murashin@gfd-dennou.org>
* Stas Timokhin <devel@stasyan.com>
* Stefan A. Deutscher (sad@mailaps.org)
* Stefan Esser <se@StefanEsser.FreeBSD.org>
* Stephen Montgomery-Smith <stephen@FreeBSD.edu>
* Stephen Montgomery-Smith <stephen@FreeBSD.org>
* Stephen Montgomery-Smith <stephen@math.missouri.edu>
* Stephen Montgomery-Smith <stephen@missouri.edu>
* Steve Wills <steve@mouf.net>
* Steve Wills <swills@FreeBSD.org>
* Steven Kreuzer <skreuzer@FreeBSD.org>
* Steven Kreuzer <skreuzer@f2o.org>
* Sunpoet Po-Chuan Hsieh <sunpoet@FreeBSD.org>
* TAKATSU Tomonari <tota@FreeBSD.org>
* Thierry Thomas (<thierry@pompo.net>)
* Thierry Thomas <thierry@pompo.net>
* Thomas Gellekum <tg@FreeBSD.org>
* Thomas Sandford <freebsduser@paradisegreen.co.uk>
* Timothy Bourke <timbob@bigpond.com>
* Tony Maher
* Tz-Huan Huang <tzhuan@csie.org>
* Vsevolod Stakhov <vsevolod@FreeBSD.org>
* Vsevolod Stakhov <vsevolod@highsecure.ru>
* Waitman Gobble <waitman@waitman.net>
* Wen Heping <wen@FreeBSD.org>
* Wen Heping <wenheping@gmail.com>
* Will Andrews <andrews@technologist.com>
* Yi-Hsuan Hsin <mhsin@mhsin.org>
* Ying-Chieh Liao <ijliao@FreeBSD.org>
* Yinghong.Liu <relaxbsd@gmail.com>
* Yoshiaki UCHIKAWA <yoshiaki@kt.rim.or.jp>
* Yukihiro Nakai <Nakai@technologist.com>
* Yuri Victorovich <yuri@FreeBSD.org>
* Yuri Victorovich <yuri@rawbw.com>
* Yuri Victorovich <yuri@tsoft.com>
* Zhen REN <bg1tpt@gmail.com>
* amir.husaini@gmail.com
* arved
* asami
* b.f. <bf@FreeBSD.org>
* bart <lbartoletti@FreeBSD.org>
* bauerm
* bf <bf2006a@yahoo.com>
* bf <bf@FreeBSD.org>
* bf@FreeBSD.org
* bremner@unb.ca
* chinsan
* chuckr@FreeBSD.org
* dawe <daweonline@gmail.com>
* dbader@ece.unm.edu
* dd
* demon@FreeBSD.org
* dikshie
* eserte
* fenner
* gahr
* giffunip
* gmarco@giovannelli.it
* gurkan@phys.ethz.ch
* ijliao
* janek@gaja.ipan.lublin.pl
* jhs@berklix.com / asami (original)
* jmz
* js@jeannot.org
* keith@FreeBSD.org
* ljo
* mr
* nobu@rd.isac.co.jp
* pauls@utdallas.edu
* pusto@web.de
* reg@shale.csir.co.za
* rfarmer@predatorlabs.net
* stephen@FreeBSD.org
* thierry@pompo.net
* tobez
* will
* # Created by Matthias Fechner <mfechner@FreeBSD.org>
With hat: portmgr
f53eb28 |
Friday, 4 Jun 2021
|
05:53 Gerald Pfeifer (gerald)
*/*: Replace USE_GCC=any with USE_GCC=yes
USE_GCC=any has been equivalent to USE_GCC=yes in most cases (such
as i386 and amd64 since 12.x and depending on configuration 11.x,
most newer installations on other platforms, and 13.x across the
board).
Since commit 96c17633d90386b5bcf8 Mk/bsd.gcc.mk is treating them as
different spellings of the same, so continue the deorbiting of the
USE_GCC=any form and simply replace it with USE_GCC=yes.
This should not make any functional difference at all.
Discussed with: mat, linimon, pkubaj
d09ed09 |
Tuesday, 6 Apr 2021
|
14:31 Mathieu Arnold (mat)
Remove # $FreeBSD$ from Makefiles.
305f148 |
Friday, 26 Jul 2019
|
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
|
Wednesday, 12 Dec 2018
|
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
|
Sunday, 29 Jul 2018
|
22:18 gerald
Bump PORTREVISION for ports depending on the canonical version of GCC
in the ports tree (via Mk/bsd.default-versions.mk and lang/gcc) which
has now moved from GCC 6 to GCC 7 by default.
This includes ports
- featuring USE_GCC=yes or USE_GCC=any,
- featuring USES=fortran,
- using Mk/bsd.octave.mk which in turn features USES=fortran, and those
- with USES=compiler specifying one of openmp, nestedfct, c11, c++0x,
c++11-lib, c++11-lang, c++14-lang, c++17-lang, or gcc-c++11-lib.
PR: 222542
|
Saturday, 10 Mar 2018
|
17:46 gerald
Bump PORTREVISIONs of all users of math/mpc that we just updated to
version 1.1.0 (via revision 464079).
|
Sunday, 10 Sep 2017
|
20:55 gerald
Bump PORTREVISION for ports depending on the canonical version of GCC
(via Mk/bsd.default-versions.mk and lang/gcc) which has moved from
GCC 5.4 to GCC 6.4 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, c++11-lib, c++11-lang,
c++14-lang, c++0x, c11, or gcc-c++11-lib.
PR: 219275
|
Saturday, 1 Apr 2017
|
15:23 gerald
Bump PORTREVISIONs for ports depending on the canonical version of GCC and
lang/gcc which have moved from GCC 4.9.4 to GCC 5.4 (at least under some
circumstances such as versions of FreeBSD or platforms).
This includes ports
- with USE_GCC=yes or USE_GCC=any,
- with USES=fortran,
- using using Mk/bsd.octave.mk which in turn has USES=fortran, and
- with USES=compiler specifying openmp, nestedfct, c++11-lib, c++14-lang,
c++11-lang, c++0x, c11, or gcc-c++11-lib.
PR: 216707
|
Saturday, 11 Feb 2017
|
19:54 jbeich
math/cvc3: unbreak with gcc6 or later
In file included from src/include/expr_manager.h:445:0,
from src/include/expr.h:803,
from expr.cpp:25:
src/include/expr_value.h: In static member function 'static size_t
CVC3::ExprString::hash(const string&)':
src/include/expr_value.h:667:34: error: no match for call to '(std::hash<char*>)
(const char*)'
return s_charHash(str.c_str());
^
In file included from src/include/hash_map.h:54:0,
from src/include/compat_hash_map.h:34,
from src/include/expr.h:33,
from src/include/assumptions.h:36,
from src/include/theorem_producer.h:75,
from common_theorem_producer.h:34,
from common_theorem_producer.cpp:27:
src/include/hash_table.h: In instantiation of 'Hash::hash_table<_Key, _Value,
_HashFcn, _EqualKey, _ExtractKey>::~hash_table() [with _Key = CVC3::Expr; _Value
= std::pair<const CVC3::Expr, CVC3::CDOmap<CVC3::Expr, CVC3::Theorem,
std::hash<CVC3::Expr> >*>; _HashFcn = std::hash<CVC3::Expr>; _EqualKey =
std::equal_to<CVC3::Expr>; _ExtractKey = Hash::_Select1st<std::pair<const
CVC3::Expr, CVC3::CDOmap<CVC3::Expr, CVC3::Theorem, std::hash<CVC3::Expr> >*>
>]':
src/include/hash_map.h:82:9: required from 'CVC3::CDMap<Key, Data,
HashFcn>::~CDMap() [with Key = CVC3::Expr; Data = CVC3::Theorem; HashFcn =
std::hash<CVC3::Expr>]'
common_theorem_producer.h:60:38: required from here
src/include/hash_table.h:319:5: error: use of deleted function
'std::hash<CVC3::Expr>::~hash()'
}
^
|
Sunday, 20 Nov 2016
|
09:38 gerald
Bump PORTREVISIONS for ports depending on the canonical version of GCC and
lang/gcc which have moved from GCC 4.8.5 to GCC 4.9.4 (at least under some
circumstances such as versions of FreeBSD or platforms).
In particular that is ports with USE_GCC=yes, USE_GCC=any, or one of
gcc-c++11-lib, openmp, nestedfct, c++11-lib as well as c++14-lang,
c++11-lang, c++0x, c11 requested via USES=compiler.
|
Friday, 21 Oct 2016
|
15:21 mat
Use USES=pathfix where applicable.
PR: 213195
Submitted by: mat
Exp-run by: antoine
Sponsored by: Absolight
Differential Revision: https://reviews.freebsd.org/D8093
|
Friday, 1 Apr 2016
|
14:16 mat
Remove ${PORTSDIR}/ from dependencies, categories m, n, o, and p.
With hat: portmgr
Sponsored by: Absolight
|
Wednesday, 16 Jul 2014
|
03:25 vanilla
Stagify.
Approved by: lwhsu@ (maintainer)
|
Sunday, 13 Jul 2014
|
23:36 bapt
Modernize LIB_DEPENDS
With hat: portmgr
|
Monday, 7 Jul 2014
|
15:31 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. Category M.
CR: D306
Approved by: portmgr (bapt)
|
Wednesday, 13 Nov 2013
|
15:55 lwhsu
- Try to fix build with USE_GCC, anyway, cvc4 is out and would be ported later
|
Friday, 20 Sep 2013
|
20:55 bapt
Add NO_STAGE all over the place in preparation for the staging support (cat:
math)
|
Monday, 16 Sep 2013
|
16:32 bapt
Convert to new perl framework
Convert USE_GMAKE to USES
|
Friday, 8 Mar 2013
|
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
|
Saturday, 4 Feb 2012
|
14:37 lwhsu
- Update to 2.4.1
|
Monday, 19 Apr 2010
|
10:43 ale
Switch to use newer GMP version.
PR: ports/144487
Submitted by: ale
Approved by: portmgr (-exp run by erwin)
|
Wednesday, 13 May 2009
|
09:46 ale
Chase libgmp and bump PORTREVISION.
|
Wednesday, 17 Oct 2007
|
10:13 ade
Migration from bison 1.x to 2.x
PR: 117086
Tested by: -exp runs
|
Friday, 7 Sep 2007
|
22:54 lwhsu
- Update to 1.2.1
|
Wednesday, 4 Apr 2007
|
08:49 lwhsu
- Change to my FreeBSD.org email
Approved by: clsung (mentor)
|
Sunday, 25 Mar 2007
|
04:04 clsung
Add cvc3 1.0, an automatic theorem prover for the SMT problem.
PR: ports/110770
Submitted by: Li-Wen Hsu <lwhsu at lwhsu.org>
| Number of commits found: 29 |
|