aboutsummaryrefslogtreecommitdiff
path: root/science/bddsolve
Commit message (Collapse)AuthorAgeFilesLines
* science/bddsolve: fix build with boost 1.83.0Piotr Kubaj2023-10-011-1/+1
| | | | /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.)
* devel/boost*: bump all consumers after 1.83.0Dima Panov2023-09-271-1/+1
|
* */*: bump all direct Boost cunsumersDima Panov2023-04-271-1/+1
|
* */*: bump libboost*.so libraries consumert after Boost upgradeDima Panov2023-01-161-1/+1
|
* Remove WWW entries moved into port MakefilesStefan Eßer2022-09-071-2/+0
| | | | | | | | | | Commit b7f05445c00f has added WWW entries to port Makefiles based on WWW: lines in pkg-descr files. This commit removes the WWW: lines of moved-over URLs from these pkg-descr files. Approved by: portmgr (tcberner)
* Add WWW entries to port MakefilesStefan Eßer2022-09-071-0/+1
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | 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)
* */*: bump all consumers after recent boost upgradeDima Panov2022-08-121-1/+1
|
* science: remove 'Created by' linesTobias C. Berner2022-07-201-2/+0
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | 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
* devel/boost-all: bump all library consumers after boost upgradeDima Panov2022-05-221-1/+1
| | | | PR: 246106
* science/bddsolve: enable on powerpcPiotr Kubaj2022-04-271-2/+0
|
* Remove # $FreeBSD$ from Makefiles.Mathieu Arnold2021-04-061-1/+0
|
* devel/boost-*: update to 1.72.0Jan Beich2019-12-111-1/+1
| | | | | | | | | | 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 Notes: svn path=/head/; revision=519824
* devel/boost-*: update to 1.71.0Jan Beich2019-08-191-1/+1
| | | | | | | | | | 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 Notes: svn path=/head/; revision=509290
* Bump PORTREVISION for ports depending on the canonical version of GCCGerald Pfeifer2019-07-261-1/+1
| | | | | | | | | | | | | | | | | | 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 Notes: svn path=/head/; revision=507372
* devel/boost-*: update to 1.70.0Jan Beich2019-04-121-1/+1
| | | | | | | | | | 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 Notes: svn path=/head/; revision=498698
* Bump PORTREVISION for ports depending on the canonical version of GCCGerald Pfeifer2018-12-121-1/+1
| | | | | | | | | | | | | | | | | | 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 Notes: svn path=/head/; revision=487272
* devel/boost-*: update to 1.69.0Jan Beich2018-12-121-1/+1
| | | | | | | | | | 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 Notes: svn path=/head/; revision=487266
* Fix build on gcc-based archs by updating USES.Mark Linimon2018-09-221-2/+1
| | | | | | | | | | | Tested on powerpc64 and amd64 (for no regression). While here, pet portlint. Approved by: portmgr (tier-2 blanket) Notes: svn path=/head/; revision=480340
* devel/boost-*: update to 1.68.0Jan Beich2018-08-091-1/+1
| | | | | | | | | | | | - 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 Notes: svn path=/head/; revision=476723
* devel/boost-*: update to 1.67.0Jan Beich2018-04-181-1/+1
| | | | | | | | | | 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 Notes: svn path=/head/; revision=467711
* Add more information to stub error messages.Mark Linimon2018-03-091-2/+2
| | | | | | | | | | | Remove BROKEN lines where IGNORE has already been set. While here, pet portlint. Approved by: portmgr (tier-2 blanket) Notes: svn path=/head/; revision=464036
* devel/boost-*: update to 1.66.0Jan Beich2018-01-181-0/+1
| | | | | | | | | | 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 Notes: svn path=/head/; revision=459315
* Upgrade bddsolve to version 1.04.Ed Schouten2018-01-172-4/+4
| | | | | | | | | | | 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 Notes: svn path=/head/; revision=459258
* devel/boost-*: update to 1.65.1Jan Beich2017-09-251-1/+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 Notes: svn path=/head/; revision=450560
* devel/boost-*: enable C++11 featuresJan Beich2017-09-251-1/+1
| | | | | | | | | | | 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 Notes: svn path=/head/; revision=450557
* devel/boost-*: update to 1.64.0Jan Beich2017-05-021-1/+1
| | | | | | | | | | | 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 Notes: svn path=/head/; revision=439934
* devel/boost-*: update to 1.63.0Jan Beich2017-01-061-1/+1
| | | | | | | | | | | Changes: http://www.boost.org/users/history/version_1_63_0.html PR: 215598 Exp-run by: antoine Approved by: office (bapt) MFH: 2017Q1 Notes: svn path=/head/; revision=430692
* devel/boost-*: update to 1.62.0Jan Beich2016-11-231-1/+1
| | | | | | | | | | | | | | | - 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) Notes: svn path=/head/; revision=426908
* many ports: mark broken on powerpc64Steve Wills2016-04-211-0/+2
| | | | Notes: svn path=/head/; revision=413746
* Remove ${PORTSDIR}/ from dependencies, categories r, s, t, and u.Mathieu Arnold2016-04-011-2/+2
| | | | | | | | With hat: portmgr Sponsored by: Absolight Notes: svn path=/head/; revision=412349
* science/bddsolve: Set environment, use CXXFLAGS, cleanupJohn Marino2015-02-251-9/+5
| | | | | | | | | | | | | | | | | 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 Notes: svn path=/head/; revision=379903
* Cleanup plistAntoine Brodin2014-11-121-1/+0
| | | | Notes: svn path=/head/; revision=372500
* - Support stagingEmanuel Haupt2014-03-201-7/+6
| | | | | | | | - Define EXAMPLES option - Don't install to LOCALBASE Notes: svn path=/head/; revision=348672
* Convert s* to USES=zipBaptiste Daroussin2014-03-101-1/+1
| | | | Notes: svn path=/head/; revision=347784
* Chase boost and icu bumpBaptiste Daroussin2014-02-071-0/+1
| | | | | | | While here convert some LIB_DEPENDS Notes: svn path=/head/; revision=343214
* Convert LIB_DEPENDS for ports depending on boostBaptiste Daroussin2013-12-121-2/+2
| | | | Notes: svn path=/head/; revision=336262
* Add NO_STAGE all over the place in preparation for the staging support (cat: ↵Baptiste Daroussin2013-09-201-0/+1
| | | | | | | science) Notes: svn path=/head/; revision=327767
* Remove USE_GCC.Ed Schouten2013-09-141-1/+0
| | | | | | | | | | 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. Notes: svn path=/head/; revision=327313
* Bump bddsolve to version 1.0.3.Ed Schouten2013-09-142-9/+6
| | | | | | | | 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. Notes: svn path=/head/; revision=327312
* Mark as broken on powerpc.Mark Linimon2011-12-281-0/+4
| | | | | | | Hat: portmgr Notes: svn path=/head/; revision=288153
* - remove MD5Olli Hauer2011-07-031-1/+0
| | | | Notes: svn path=/head/; revision=276984
* Bddsolve is a BDD-based tool for solving satisfiability and reachabilityBeat Gaetzi2010-05-124-0/+49
problems. It uses the BDD package Buddy as a backend. WWW: http://www.win.tue.nl/~wieger/bddsolve/ Submitted by: ed@ Notes: svn path=/head/; revision=254196
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-01 01:27:37 +0000