notbugAs an Amazon Associate I earn from qualifying purchases.
Want a good read? Try FreeBSD Mastery: Jails (IT Mastery Book 15)
Want a good monitor light? See my photosAll times are UTC
Ukraine
This referral link gives you 10% off a Fastmail.com account and gives me a discount on my Fastmail account.
New feature planned: get notified when the package is available. Now is the time to contribute ideas/suggestions.
non port: devel/ikos/Makefile

Number of commits found: 45

Tuesday, 13 Feb 2024
14:44 Dima Panov (fluffy) search for other commits by this committer
devel/boost: bump consumers after library update
commit hash: db616534ff99d6268997e2f30858891e20641a1e commit hash: db616534ff99d6268997e2f30858891e20641a1e commit hash: db616534ff99d6268997e2f30858891e20641a1e commit hash: db616534ff99d6268997e2f30858891e20641a1e db61653
Friday, 29 Dec 2023
21:19 Yuri Victorovich (yuri) search for other commits by this committer
devel/ikos: update 3.1 → 3.2

Reported by:	portscout
commit hash: 31099425c9cf75e370bbc4ef599660e6d5158983 commit hash: 31099425c9cf75e370bbc4ef599660e6d5158983 commit hash: 31099425c9cf75e370bbc4ef599660e6d5158983 commit hash: 31099425c9cf75e370bbc4ef599660e6d5158983 3109942
Tuesday, 28 Nov 2023
11:35 Ganael LAPLANCHE (martymac) search for other commits by this committer
devel/onetbb: Update to 2021.11.0

and bump dependent ports' revisions.

Release notes: https://github.com/oneapi-src/oneTBB/releases/tag/v2021.11.0
commit hash: cf5d9b8b96202f197ff6ba7f254fb96bd8e578f0 commit hash: cf5d9b8b96202f197ff6ba7f254fb96bd8e578f0 commit hash: cf5d9b8b96202f197ff6ba7f254fb96bd8e578f0 commit hash: cf5d9b8b96202f197ff6ba7f254fb96bd8e578f0 cf5d9b8
Wednesday, 27 Sep 2023
14:36 Dima Panov (fluffy) search for other commits by this committer
devel/boost*: bump all consumers after 1.83.0
commit hash: 21d8008e86830262f2a33a6dca9ddf2478cd6487 commit hash: 21d8008e86830262f2a33a6dca9ddf2478cd6487 commit hash: 21d8008e86830262f2a33a6dca9ddf2478cd6487 commit hash: 21d8008e86830262f2a33a6dca9ddf2478cd6487 21d8008
Monday, 21 Aug 2023
10:09 Ganael LAPLANCHE (martymac) search for other commits by this committer
devel/onetbb: Update to 2021.10.0

and bump dependent ports' revisions.

Release notes: https://github.com/oneapi-src/oneTBB/releases/tag/v2021.10.0
commit hash: 22e222cbcea088a86fb58a5659742af50b337d86 commit hash: 22e222cbcea088a86fb58a5659742af50b337d86 commit hash: 22e222cbcea088a86fb58a5659742af50b337d86 commit hash: 22e222cbcea088a86fb58a5659742af50b337d86 22e222c
Tuesday, 27 Jun 2023
19:34 Rene Ladan (rene) search for other commits by this committer
all: remove explicit versions in USES=python for "3.x+"

The logic in USES=python will automatically convert this to 3.8+ by
itself.

Adjust two ports that only had Python 3.7 mentioned but build fine
on Python 3.8 too.

finance/quickfix: mark BROKEN with PYTHON

libtool: compile:  c++ -DHAVE_CONFIG_H -I. -I../.. -I -I. -I.. -I../.. -I../C++
-DLIBICONV_PLUG -DPYTHON_MAJOR_VERSION=3 -Wno-unused-variable
-Wno-maybe-uninitialized -O2 -pipe -DLIBICONV_PLUG -fstack-protector-strong
-fno-strict-aliasing -DLIBICONV_PLUG -Wall -ansi
-Wno-unused-command-line-argument -Wpointer-arith -Wwrite-strings
-Wno-overloaded-virtual -Wno-deprecated-declarations -Wno-deprecated -std=c++0x
-MT _quickfix_la-QuickfixPython.lo -MD -MP -MF
.deps/_quickfix_la-QuickfixPython.Tpo -c QuickfixPython.cpp  -fPIC -DPIC -o
.libs/_quickfix_la-QuickfixPython.o
warning: unknown warning option '-Wno-maybe-uninitialized'; did you mean
'-Wno-uninitialized'? [-Wunknown-warning-option]
QuickfixPython.cpp:175:11: fatal error: 'Python.h' file not found
          ^~~~~~~~~~
1 warning and 1 error generated.

Reviewed by:	portmgr, vishwin, yuri
Differential Revision:	<https://reviews.freebsd.org/D40568>
commit hash: 3d9a815d9c5acbb71f4bb07738bdeab4879feacb commit hash: 3d9a815d9c5acbb71f4bb07738bdeab4879feacb commit hash: 3d9a815d9c5acbb71f4bb07738bdeab4879feacb commit hash: 3d9a815d9c5acbb71f4bb07738bdeab4879feacb 3d9a815
Tuesday, 9 May 2023
10:25 Ganael LAPLANCHE (martymac) search for other commits by this committer
devel/onetbb: Update to 2021.9.0

and bump dependent ports' revisions.

Release notes: https://github.com/oneapi-src/oneTBB/releases/tag/v2021.9.0
commit hash: 8f947d908a45bc788fc2f299b12ce99d204c57e0 commit hash: 8f947d908a45bc788fc2f299b12ce99d204c57e0 commit hash: 8f947d908a45bc788fc2f299b12ce99d204c57e0 commit hash: 8f947d908a45bc788fc2f299b12ce99d204c57e0 8f947d9
Thursday, 27 Apr 2023
18:25 Dima Panov (fluffy) search for other commits by this committer
*/*: bump all direct Boost cunsumers
commit hash: 3e45e8e24481fab02384c55a1e655d1dc1b781c6 commit hash: 3e45e8e24481fab02384c55a1e655d1dc1b781c6 commit hash: 3e45e8e24481fab02384c55a1e655d1dc1b781c6 commit hash: 3e45e8e24481fab02384c55a1e655d1dc1b781c6 3e45e8e
Friday, 3 Mar 2023
15:01 Ganael LAPLANCHE (martymac) search for other commits by this committer
devel/onetbb: Update to 2021.8.0

Also:
- bump dependent ports' revisions
- fix build when WITH_DEBUG is set

Release notes: https://github.com/oneapi-src/oneTBB/releases/tag/v2021.8.0
commit hash: 1dc256924e84ccc34b09810779e532dee18d37ec commit hash: 1dc256924e84ccc34b09810779e532dee18d37ec commit hash: 1dc256924e84ccc34b09810779e532dee18d37ec commit hash: 1dc256924e84ccc34b09810779e532dee18d37ec 1dc2569
Monday, 16 Jan 2023
19:32 Dima Panov (fluffy) search for other commits by this committer
*/*:	bump libboost*.so libraries consumert after Boost upgrade
commit hash: e1287d0d1228d93e469256fa6c4c824b9d20426b commit hash: e1287d0d1228d93e469256fa6c4c824b9d20426b commit hash: e1287d0d1228d93e469256fa6c4c824b9d20426b commit hash: e1287d0d1228d93e469256fa6c4c824b9d20426b e1287d0
Tuesday, 6 Dec 2022
17:21 Yuri Victorovich (yuri) search for other commits by this committer
devel/ikos: Update 3.0 -> 3.1

PR:		252686
commit hash: 2242eb825c0d5389b02c623938f427649d7fc34f commit hash: 2242eb825c0d5389b02c623938f427649d7fc34f commit hash: 2242eb825c0d5389b02c623938f427649d7fc34f commit hash: 2242eb825c0d5389b02c623938f427649d7fc34f 2242eb8
Wednesday, 7 Sep 2022
21:10 Stefan Eßer (se) search for other commits by this committer
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)
commit hash: b7f05445c00f2625aa19b4154ebcbce5ed2daa52 commit hash: b7f05445c00f2625aa19b4154ebcbce5ed2daa52 commit hash: b7f05445c00f2625aa19b4154ebcbce5ed2daa52 commit hash: b7f05445c00f2625aa19b4154ebcbce5ed2daa52 b7f0544
Friday, 12 Aug 2022
14:46 Dima Panov (fluffy) search for other commits by this committer
*/*: bump all consumers after recent boost upgrade
commit hash: 4cf39decb348615b9c8a28370d987a85d1b8a5ed commit hash: 4cf39decb348615b9c8a28370d987a85d1b8a5ed commit hash: 4cf39decb348615b9c8a28370d987a85d1b8a5ed commit hash: 4cf39decb348615b9c8a28370d987a85d1b8a5ed 4cf39de
Friday, 3 Jun 2022
13:59 Po-Chuan Hsieh (sunpoet) search for other commits by this committer
devel/ikos: Fix build with setuptools 58.0.0+

- Bump PORTREVISION for package change

With hat:	python
commit hash: 326f14425767023481e07d39c2876fd2fa259c9a commit hash: 326f14425767023481e07d39c2876fd2fa259c9a commit hash: 326f14425767023481e07d39c2876fd2fa259c9a commit hash: 326f14425767023481e07d39c2876fd2fa259c9a 326f144
Sunday, 22 May 2022
20:17 Dima Panov (fluffy) search for other commits by this committer
devel/boost-all: bump all library consumers after boost upgrade

PR:	246106
commit hash: b082b3d13e8c4872b73fb681eb99b261926ac9cd commit hash: b082b3d13e8c4872b73fb681eb99b261926ac9cd commit hash: b082b3d13e8c4872b73fb681eb99b261926ac9cd commit hash: b082b3d13e8c4872b73fb681eb99b261926ac9cd b082b3d
Sunday, 26 Sep 2021
05:45 Yuri Victorovich (yuri) search for other commits by this committer Author: nimaje
devel/ikos: Add missing RUN_DEPENDS: devel/llvmNN for clang executable

PR:		258693
commit hash: 35e8de555d9359df0261bd49f563c8b6a9baa294 commit hash: 35e8de555d9359df0261bd49f563c8b6a9baa294 commit hash: 35e8de555d9359df0261bd49f563c8b6a9baa294 commit hash: 35e8de555d9359df0261bd49f563c8b6a9baa294 35e8de5
Thursday, 2 Sep 2021
03:50 Yuri Victorovich (yuri) search for other commits by this committer
math/apron: Update 0.9.12 -> 0.9.12
commit hash: b2892643a365beff3e84f73d08df71fe12c85807 commit hash: b2892643a365beff3e84f73d08df71fe12c85807 commit hash: b2892643a365beff3e84f73d08df71fe12c85807 commit hash: b2892643a365beff3e84f73d08df71fe12c85807 b289264
Wednesday, 7 Apr 2021
08:09 Mathieu Arnold (mat) search for other commits by this committer
One more small cleanup, forgotten yesterday.
Reported by:	lwhsu
commit hash: cf118ccf875508b9a1c570044c93cfcc82bd455c commit hash: cf118ccf875508b9a1c570044c93cfcc82bd455c commit hash: cf118ccf875508b9a1c570044c93cfcc82bd455c commit hash: cf118ccf875508b9a1c570044c93cfcc82bd455c cf118cc
Tuesday, 6 Apr 2021
14:31 Mathieu Arnold (mat) search for other commits by this committer
Remove # $FreeBSD$ from Makefiles.
commit hash: 305f148f482daf30dcf728039d03d019f88344eb commit hash: 305f148f482daf30dcf728039d03d019f88344eb commit hash: 305f148f482daf30dcf728039d03d019f88344eb commit hash: 305f148f482daf30dcf728039d03d019f88344eb 305f148
Friday, 17 Jul 2020
10:12 martymac search for other commits by this committer
Update devel/tbb to 2020.3 and bump dependent ports' revisions

Changelog: https://github.com/oneapi-src/oneTBB/blob/v2020.3/CHANGES
Original commitRevision:542423 
Wednesday, 1 Apr 2020
14:14 martymac search for other commits by this committer
Update devel/tbb to 2020.2 and bump dependent port's revisions

Changelog: https://github.com/oneapi-src/oneTBB/blob/tbb_2020/CHANGES
Original commitRevision:530219 
Thursday, 26 Dec 2019
16:25 martymac search for other commits by this committer
Update devel/tbb to 2020.0 and bump dependent ports' revisions [1]

Also, while here, re-generate patches using the makepatch target

[1] Changelog: https://github.com/intel/tbb/blob/v2020.0/CHANGES
Original commitRevision:520935 
Saturday, 14 Dec 2019
08:48 antoine search for other commits by this committer
Fix packaging

PR:		233770
Original commitRevision:520101 
Friday, 13 Dec 2019
06:48 yuri search for other commits by this committer
devel/ikos: Update 2.2 -> 3.0

Reported by:	portscout
Original commitRevision:520002 
Wednesday, 11 Dec 2019
17:53 jbeich search for other commits by this committer
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
Original commitRevision:519824 
Friday, 20 Sep 2019
19:58 jbeich search for other commits by this committer
Switch default devel/llvm* to 90

PR:		239682
Reviewed by:	tobik
Differential Revision:	https://reviews.freebsd.org/D21172
Original commitRevision:512440 
Saturday, 31 Aug 2019
06:49 yuri search for other commits by this committer
devel/ikos: Update 2.1-152 -> 2.2

Reported by:	portscout
Original commitRevision:510329 
Monday, 19 Aug 2019
15:35 jbeich search for other commits by this committer
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
Original commitRevision:509290 
Wednesday, 26 Jun 2019
07:45 yuri search for other commits by this committer
devel/ikos: Add sqlite3 to RUN_DEPENDS

The ikos.analyzer module requires sqlite3.

PR:		238818
Submitted by:	Julien Nadeau <vedge@hypertriton.com>
Original commitRevision:505142 
Thursday, 13 Jun 2019
15:13 yuri search for other commits by this committer
devel/ikos: Update 2.1-129 -> 2.1-152
Original commitRevision:504097 
Friday, 12 Apr 2019
06:36 jbeich search for other commits by this committer
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
Original commitRevision:498698 
Wednesday, 10 Apr 2019
16:20 yuri search for other commits by this committer
devel/ikos: Update comment about supported llvm versions and LLVM_DEFAULT

Requested by:	jbeich
Original commitRevision:498580 
08:12 yuri search for other commits by this committer
devel/ikos: Update 2.1-104 -> 2.1-129

ikos now supports llvm80.
Original commitRevision:498542 
06:18 antoine search for other commits by this committer
Bump a few PORTREVISIONs after r498529

With hat:	portmgr
Original commitRevision:498530 
Monday, 25 Feb 2019
02:06 yuri search for other commits by this committer
devel/ikos: Update 2.1-82 -> 2.1-104
Original commitRevision:493829 
Monday, 4 Feb 2019
19:32 yuri search for other commits by this committer
devel/ikos: Update 2.1-69 -> 2.1-82
Original commitRevision:492155 
Saturday, 26 Jan 2019
22:15 yuri search for other commits by this committer
devel/ikos: Switch to a fixed LLVM version 70 from LLVM_DEFAULT

ikos seems to only support a narrow set of versions.

Also add USE_LDCONFIG.

PR:		235213
Reported by:	jbeich
Original commitRevision:491316 
03:51 yuri search for other commits by this committer
devel/ikos: Update 2.1-52 -> 2.1-69

Bugfixes
Original commitRevision:491226 
Friday, 11 Jan 2019
07:24 yuri search for other commits by this committer
devel/ikos: Update 2.1-49 -> 2.1-52

They fixed the bug that I reported yesterday.
Original commitRevision:489949 
Tuesday, 8 Jan 2019
09:09 yuri search for other commits by this committer
devel/ikos: Fix USES=cmake

Reported by:	tobik
Original commitRevision:489659 
08:16 yuri search for other commits by this committer
devel/ikos: Update 2.1 -> 2.1-49

* Shared libraries are now available
* Fixes for some crashes are included
Original commitRevision:489651 
Monday, 7 Jan 2019
16:47 antoine search for other commits by this committer
Fix packaging with DEFAULT_VERSIONS=python=3.x

PR:		234633
Original commitRevision:489583 
Tuesday, 25 Dec 2018
20:25 tcberner search for other commits by this committer
Change cmake default behaviour to outsource.

Ports that build out of source now simply can use "USES=cmake"
instead of "USES=cmake:outsource". Ports that fail to build
out of source now need to specify "USES=cmake:insource".

I tried to only set insource where explictely needed.

PR:		232038
Exp-run by:	antoine
Original commitRevision:488341 
Friday, 14 Dec 2018
19:54 yuri search for other commits by this committer
devel/ikos: Add APRON and PPL dependencies
Original commitRevision:487461 
17:34 yuri search for other commits by this committer
New port: devel/ikos: Static analyzer for C/C++ based on theory of abstract
interpretation
Original commitRevision:487452 

Number of commits found: 45