| non port: science/bddsolve/Makefile |
|
SVNWeb
|
Number of commits found: 37 |
|
Thu, 27 Apr 2023
|
[ 18:25 Dima Panov (fluffy)  ]    3e45e8e (Only the first 10 of 184 ports in this commit are shown above.  )
*/*: bump all direct Boost cunsumers
|
|
Mon, 16 Jan 2023
|
[ 19:32 Dima Panov (fluffy) ] e1287d0 (Only the first 10 of 184 ports in this commit are shown above. )
*/*: bump libboost*.so libraries consumert after Boost upgrade
|
|
Wed, 7 Sep 2022
|
[ 21:10 Stefan Eßer (se) ] b7f0544 (Only the first 10 of 27931 ports in this commit are shown above. )
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.
(Only the first 15 lines of the commit message are shown above )
|
|
Fri, 12 Aug 2022
|
[ 14:46 Dima Panov (fluffy) ] 4cf39de (Only the first 10 of 722 ports in this commit are shown above. )
*/*: bump all consumers after recent boost upgrade
|
|
Wed, 20 Jul 2022
|
[ 14:22 Tobias C. Berner (tcberner) ] 4619604 (Only the first 10 of 201 ports in this commit are shown above. )
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 (Only the first 15 lines of the commit message are shown above )
|
|
Sun, 22 May 2022
|
[ 20:17 Dima Panov (fluffy) ] b082b3d (Only the first 10 of 280 ports in this commit are shown above. )
devel/boost-all: bump all library consumers after boost upgrade
PR: 246106
|
|
Wed, 27 Apr 2022
|
[ 13:22 Piotr Kubaj (pkubaj) ] dcf2fd1
science/bddsolve: enable on powerpc
|
|
Tue, 6 Apr 2021
|
[ 14:31 Mathieu Arnold (mat) ] 305f148 (Only the first 10 of 29333 ports in this commit are shown above. )
Remove # $FreeBSD$ from Makefiles.
|
|
Wed, 11 Dec 2019
|
[ 17:53 jbeich ]   (Only the first 10 of 417 ports in this commit are shown above. )
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
|
|
Mon, 19 Aug 2019
|
[ 15:35 jbeich ] (Only the first 10 of 412 ports in this commit are shown above. )
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
|
|
Fri, 26 Jul 2019
|
[ 20:46 gerald ] (Only the first 10 of 3853 ports in this commit are shown above. )
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
|
|
Fri, 12 Apr 2019
|
[ 06:36 jbeich ] (Only the first 10 of 392 ports in this commit are shown above. )
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
|
|
Wed, 12 Dec 2018
|
[ 01:35 gerald ] (Only the first 10 of 3168 ports in this commit are shown above. )
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 ] (Only the first 10 of 415 ports in this commit are shown above. )
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
|
|
Sat, 22 Sep 2018
|
[ 05:30 linimon ] (Only the first 10 of 34 ports in this commit are shown above. )
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)
|
|
Thu, 9 Aug 2018
|
[ 06:58 jbeich ] (Only the first 10 of 404 ports in this commit are shown above. )
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
|
|
Wed, 18 Apr 2018
|
[ 13:57 jbeich ] (Only the first 10 of 388 ports in this commit are shown above. )
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
|
|
Fri, 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)
|
|
Thu, 18 Jan 2018
|
[ 04:11 jbeich ] (Only the first 10 of 356 ports in this commit are shown above. )
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
|
|
Wed, 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
|
|
Mon, 25 Sep 2017
|
[ 00:08 jbeich ] (Only the first 10 of 342 ports in this commit are shown above. )
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 ] (Only the first 10 of 327 ports in this commit are shown above. )
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
|
|
Tue, 2 May 2017
|
[ 06:48 jbeich ] (Only the first 10 of 336 ports in this commit are shown above. )
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
|
|
Fri, 6 Jan 2017
|
[ 08:45 jbeich ] (Only the first 10 of 324 ports in this commit are shown above. )
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
|
|
Wed, 23 Nov 2016
|
[ 12:45 jbeich ] (Only the first 10 of 353 ports in this commit are shown above. )
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)
|
|
Thu, 21 Apr 2016
|
[ 16:43 swills ] (Only the first 10 of 419 ports in this commit are shown above. )
many ports: mark broken on powerpc64
|
|
Fri, 1 Apr 2016
|
[ 14:25 mat ] (Only the first 10 of 2099 ports in this commit are shown above. )
Remove ${PORTSDIR}/ from dependencies, categories r, s, t, and u.
With hat: portmgr
Sponsored by: Absolight
|
|
Wed, 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
|
|
Thu, 20 Mar 2014
|
[ 09:34 ehaupt ]
- Support staging
- Define EXAMPLES option
- Don't install to LOCALBASE
|
|
Mon, 10 Mar 2014
|
[ 17:01 bapt ] (Only the first 10 of 51 ports in this commit are shown above. )
Convert s* to USES=zip
|
|
Fri, 7 Feb 2014
|
[ 11:44 bapt ] (Only the first 10 of 229 ports in this commit are shown above. )
Chase boost and icu bump
While here convert some LIB_DEPENDS
|
|
Thu, 12 Dec 2013
|
[ 14:15 bapt ] (Only the first 10 of 21 ports in this commit are shown above. )
Convert LIB_DEPENDS for ports depending on boost
|
|
Fri, 20 Sep 2013
|
[ 22:48 bapt ] (Only the first 10 of 185 ports in this commit are shown above. )
Add NO_STAGE all over the place in preparation for the staging support (cat:
science)
|
|
Sat, 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.
|
|
Wed, 28 Dec 2011
|
[ 06:53 linimon ]
Mark as broken on powerpc.
Hat: portmgr
|
|
Wed, 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: 37 |
As an Amazon Associate I earn from qualifying purchases.