non port: science/bddsolve/Makefile |
Number of commits found: 40 |
Tuesday, 13 Feb 2024
|
14:44 Dima Panov (fluffy)
devel/boost: bump consumers after library update
db61653 |
Sunday, 1 Oct 2023
|
09:39 Piotr Kubaj (pkubaj)
science/bddsolve: fix build with boost 1.83.0
/usr/local/include/boost/timer.hpp:21:3: error: This header is deprecated and
will be removed. (You can define BOOST_TIMER_ENABLE_DEPRECATED to suppress this
error.)
6ff1298 |
Wednesday, 27 Sep 2023
|
14:36 Dima Panov (fluffy)
devel/boost*: bump all consumers after 1.83.0
21d8008 |
Thursday, 27 Apr 2023
|
18:25 Dima Panov (fluffy)
*/*: bump all direct Boost cunsumers
3e45e8e |
Monday, 16 Jan 2023
|
19:32 Dima Panov (fluffy)
*/*: bump libboost*.so libraries consumert after Boost upgrade
e1287d0 |
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 |
Friday, 12 Aug 2022
|
14:46 Dima Panov (fluffy)
*/*: bump all consumers after recent boost upgrade
4cf39de |
Wednesday, 20 Jul 2022
|
14:22 Tobias C. Berner (tcberner)
science: remove 'Created by' lines
A big Thank You to the original contributors of these ports:
* Andreas Fehlner <fehlner@gmx.de>
* Brad Huntting <huntting@glarp.com>
* Chao Shin <quakelee@cn.FreeBSD.org>
* Cheng-Lung Sung <clsung@FreeBSD.org>
* Chia-Hsing Yu <me@davidyu.org>
* Chris Rees <utisoft@gmail.com>
* David Naylor <dbn@FreeBSD.org>
* Dmitry Sivachenko <demon@FreeBSD.org>
* Ed Schouten <ed@FreeBSD.org>
* Eric Freeman <freebsdports@chillibear.com>
* Erik B Knudsen
* Fernan Aguero <fernan@iib.unsam.edu.ar>
* Frederic Culot <frederic@culot.org>
* Gea-Suan Lin <gslin@gslin.org>
* Glenn Johnson
* Greg Lewis <glewis@FreeBSD.org>
* Igor Serikov <iserikov@acm.org>
* Johannes Dieterich <dieterich@ogolem.org>
* Johannes Dieterich <jmd@FreeBSD.org>
* Johannes M Dieterich <jmd@FreeBSD.org>
* Johannes Meixner <johannes@perceivon.net>
* Ju Pengfei <jupengfei@gmail.com>
* Kay Lehmann <kay_lehmann@web.de>
* Klaus Aehlig <aehlig@linta.de>
* Kurt Kanzenbach <kurt@kmk-computers.de>
* Leland Wang <llwang@infor.org>
* Li-Lun Wang <llwang@infor.org>
* Markus Brueffer <markus@FreeBSD.org>
* NAKATA Maho <maho@FreeBSD.org>
* NAKATA, Maho <maho@FreeBSD.org>
* Nakata Maho <chat95@mbox.kyoto-inet.or.jp>
* Nakata Maho <maho@FreeBSD.org>
* Pav Lucistnik <pav@FreeBSD.org>
* Pav Lucistnik <pav@oook.cz>
* Pedro F. Giffuni
* Pedro F. Giffuni <giffunip@tutopia.com>
* Pedro Giffuni
* Pedro Giffuni <giffunip@asme.org>
* Po-Chuan Hsieh <sunpoet@FreeBSD.org>
* Rong-En Fan <rafan@FreeBSD.org>
* Ryo MIYAMOTO <rmiya@cc.hirosaki-u.ac.jp>
* Seamus Venasse <svenasse@polaris.ca>
* Shin'ya Murakami <murakami@ahs.scitec.kobe-u.ac.jp>
* Shin-ya MURAKAMI <murashin@gfd-dennou.org>
* Shin-ya Murakami <murashin@gfd-dennou.org>
* Stas Timokhin <devel@stasyan.com>
* Stephen Montgomery-Smith <stephen@math.missouri.edu>
* Steve Wills <steve@mouf.net
* Steve Wills <steve@mouf.net>
* Sunpoet Po-Chuan Hsieh <sunpoet@FreeBSD.org>
* Sunpoet Po-Chuan Hsieh <sunpoet@sunpoet.net>
* TAKATSU Tomonari <tota@FreeBSD.org>
* TAOKA Fumiyoshi
* Thierry Thomas <thierry@pompo.net>
* Tim Cas <ports@stdrand.com>
* Uffe Jakobsen <uffe@uffe.org>
* Veniamin Gvozdikov <vg@FreeBSD.org>
* Vsevolod Stakhov <vsevolod@highsecure.ru>
* Wen Heping <wen@FreeBSD.org>
* Wen Heping <wenheping@gmail.com>
* Wen heping <wenheping@gmail.com>
* Ying-Chieh Liao <ijliao@FreeBSD.org>
* Yuri Victorovich <yuri@rawbw.com>
* anholt@FreeBSD.org
* bacon@smithers.neuro.mcw.edu
* batman <batman@udel.edu>
* db
* gurkan@phys.ethz.ch
* ijliao
* jbacon
* maintainer.freebsd@xpoundit.com
* mi
* rafan@infor.org
* shurd@FreeBSD.org
* thierry@pompo.net
* will
With hat: portmgr
4619604 |
Sunday, 22 May 2022
|
20:17 Dima Panov (fluffy)
devel/boost-all: bump all library consumers after boost upgrade
PR: 246106
b082b3d |
Wednesday, 27 Apr 2022
|
13:22 Piotr Kubaj (pkubaj)
science/bddsolve: enable on powerpc
dcf2fd1 |
Tuesday, 6 Apr 2021
|
14:31 Mathieu Arnold (mat)
Remove # $FreeBSD$ from Makefiles.
305f148 |
Wednesday, 11 Dec 2019
|
17:53 jbeich
devel/boost-*: update to 1.72.0
Changes: http://www.boost.org/users/history/version_1_72_0.html
PR: 241449
Exp-run by: antoine
Differential Revision: https://reviews.freebsd.org/D22136
|
Monday, 19 Aug 2019
|
15:35 jbeich
devel/boost-*: update to 1.71.0
Changes: http://www.boost.org/users/history/version_1_71_0.html
PR: 238827
Exp-run by: antoine
Differential Revision: https://reviews.freebsd.org/D20774
|
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
|
Friday, 12 Apr 2019
|
06:36 jbeich
devel/boost-*: update to 1.70.0
Changes: http://www.boost.org/users/history/version_1_70_0.html
PR: 235956
Exp-run by: antoine
Differential Revision: https://reviews.freebsd.org/D19303
|
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
|
00:15 jbeich
devel/boost-*: update to 1.69.0
Changes: http://www.boost.org/users/history/version_1_69_0.html
PR: 232525
Exp-run by: antoine
Differential Revision: https://reviews.freebsd.org/D17645
|
Saturday, 22 Sep 2018
|
05:30 linimon
Fix build on gcc-based archs by updating USES.
Tested on powerpc64 and amd64 (for no regression).
While here, pet portlint.
Approved by: portmgr (tier-2 blanket)
|
Thursday, 9 Aug 2018
|
06:58 jbeich
devel/boost-*: update to 1.68.0
- Switch to C++14 for libboost_system to support C++14 consumers
Changes: http://www.boost.org/users/history/version_1_68_0.html
PR: 229569
Exp-run by: antoine
Differential Revision: https://reviews.freebsd.org/D16165
|
Wednesday, 18 Apr 2018
|
13:57 jbeich
devel/boost-*: update to 1.67.0
Changes: http://www.boost.org/users/history/version_1_67_0.html
PR: 227427
Exp-run by: antoine
Differential Revision: https://reviews.freebsd.org/D15030
|
Friday, 9 Mar 2018
|
22:46 linimon
Add more information to stub error messages.
Remove BROKEN lines where IGNORE has already been set.
While here, pet portlint.
Approved by: portmgr (tier-2 blanket)
|
Thursday, 18 Jan 2018
|
04:11 jbeich
devel/boost-*: update to 1.66.0
Changes: http://www.boost.org/users/history/version_1_66_0.html
PR: 223922
Exp-run by: antoine
Differential Revision: https://reviews.freebsd.org/D13279
|
Wednesday, 17 Jan 2018
|
14:28 ed
Upgrade bddsolve to version 1.04.
This release includes a fix that should make it build with C++14.
PR: 216080
Reviewed by: jbeich
Differential Revision: https://reviews.freebsd.org/D13951
|
Monday, 25 Sep 2017
|
00:08 jbeich
devel/boost-*: update to 1.65.1
Changes: http://www.boost.org/users/history/version_1_65_1.html
PR: 218835
Approved by: maintainer timeout (1.65.1: 2 weeks; 1.65.0: 1 month)
Tested by: jhibbits (on powerpc64, earlier version)
Exp-run by: antoine
Differential Revision: https://reviews.freebsd.org/D11582
|
00:05 jbeich
devel/boost-*: enable C++11 features
PR: 218835
Obtained from: https://github.com/DragonFlyBSD/DeltaPorts/pull/690
Approved by: maintainer timeout (2 months)
Exp-run by: antoine
Differential Revision: https://reviews.freebsd.org/D11582
|
Tuesday, 2 May 2017
|
06:48 jbeich
devel/boost-*: update to 1.64.0
Changes: http://www.boost.org/users/history/version_1_64_0.html
PR: 218835
Approved by: office (bapt)
Exp-run by: antoine
Differential Revision: https://reviews.freebsd.org/D10472
|
Friday, 6 Jan 2017
|
08:45 jbeich
devel/boost-*: update to 1.63.0
Changes: http://www.boost.org/users/history/version_1_63_0.html
PR: 215598
Exp-run by: antoine
Approved by: office (bapt)
MFH: 2017Q1
|
Wednesday, 23 Nov 2016
|
12:45 jbeich
devel/boost-*: update to 1.62.0
- Enable `long double` C99 math usage
- Switch 9.x back to building with GCC
Changes: http://www.boost.org/users/history/
PR: 199601
Submitted by: Chen Xu, bapt, amdmi3, truckman (based on)
Reviewed by: rakuco (kde) (earlier version)
Exp-run by: antoine (3 tries), truckman (consumers only, earlier versions)
Approved by: bapt (office)
|
Thursday, 21 Apr 2016
|
16:43 swills
many ports: mark broken on powerpc64
|
Friday, 1 Apr 2016
|
14:25 mat
Remove ${PORTSDIR}/ from dependencies, categories r, s, t, and u.
With hat: portmgr
Sponsored by: Absolight
|
Wednesday, 25 Feb 2015
|
12:01 marino
science/bddsolve: Set environment, use CXXFLAGS, cleanup
This port had two main problems:
1) failure to set the enviroment in the build target
2) failure to use CXXFLAGS with CXX
While fixing those, clean up a bit:
3) remove <pre>,<post> by using BROKEN_powerpc instead
4) use CFLAGS+= to augment CFLAGS
5) use LDFLAGS+= to augment LDFLAGS
6) simplify do-build target accordingly
Approved by: just fix it
|
Thursday, 20 Mar 2014
|
09:34 ehaupt
- Support staging
- Define EXAMPLES option
- Don't install to LOCALBASE
|
Monday, 10 Mar 2014
|
17:01 bapt
Convert s* to USES=zip
|
Friday, 7 Feb 2014
|
11:44 bapt
Chase boost and icu bump
While here convert some LIB_DEPENDS
|
Thursday, 12 Dec 2013
|
14:15 bapt
Convert LIB_DEPENDS for ports depending on boost
|
Friday, 20 Sep 2013
|
22:48 bapt
Add NO_STAGE all over the place in preparation for the staging support (cat:
science)
|
Saturday, 14 Sep 2013
|
19:13 ed (src committer)
Remove USE_GCC.
All versions of FreeBSD we support are shipped with at least GCC 4.2.1
or Clang. The code seems to build fine with Clang. In fact, on platforms
where we no longer ship libstdc++, this port seems to only build using
Clang.
|
19:08 ed (src committer)
Bump bddsolve to version 1.0.3.
Though this does not yet fix the build on FreeBSD HEAD, this version
does fix some tiny issues that prevent it from being built with clang.
|
Wednesday, 28 Dec 2011
|
06:53 linimon
Mark as broken on powerpc.
Hat: portmgr
|
Wednesday, 12 May 2010
|
13:25 beat
Bddsolve is a BDD-based tool for solving satisfiability and reachability
problems. It uses the BDD package Buddy as a backend.
WWW: http://www.win.tue.nl/~wieger/bddsolve/
Submitted by: ed@
|
Number of commits found: 40 |