non port: devel/ikos/Makefile |
Number of commits found: 46 |
Wednesday, 17 Apr 2024
|
11:28 Ganael LAPLANCHE (martymac)
devel/onetbb: Update to 2021.12.0
and bump dependent ports' revisions.
Release notes: https://github.com/oneapi-src/oneTBB/releases/tag/v2021.12.0
96261a1 |
Tuesday, 13 Feb 2024
|
14:44 Dima Panov (fluffy)
devel/boost: bump consumers after library update
db61653 |
Friday, 29 Dec 2023
|
21:19 Yuri Victorovich (yuri)
devel/ikos: update 3.1 → 3.2
Reported by: portscout
3109942 |
Tuesday, 28 Nov 2023
|
11:35 Ganael LAPLANCHE (martymac)
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
cf5d9b8 |
Wednesday, 27 Sep 2023
|
14:36 Dima Panov (fluffy)
devel/boost*: bump all consumers after 1.83.0
21d8008 |
Monday, 21 Aug 2023
|
10:09 Ganael LAPLANCHE (martymac)
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
22e222c |
Tuesday, 27 Jun 2023
|
19:34 Rene Ladan (rene)
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>
3d9a815 |
Tuesday, 9 May 2023
|
10:25 Ganael LAPLANCHE (martymac)
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
8f947d9 |
Thursday, 27 Apr 2023
|
18:25 Dima Panov (fluffy)
*/*: bump all direct Boost cunsumers
3e45e8e |
Friday, 3 Mar 2023
|
15:01 Ganael LAPLANCHE (martymac)
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
1dc2569 |
Monday, 16 Jan 2023
|
19:32 Dima Panov (fluffy)
*/*: bump libboost*.so libraries consumert after Boost upgrade
e1287d0 |
Tuesday, 6 Dec 2022
|
17:21 Yuri Victorovich (yuri)
devel/ikos: Update 3.0 -> 3.1
PR: 252686
2242eb8 |
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 |
Friday, 3 Jun 2022
|
13:59 Po-Chuan Hsieh (sunpoet)
devel/ikos: Fix build with setuptools 58.0.0+
- Bump PORTREVISION for package change
With hat: python
326f144 |
Sunday, 22 May 2022
|
20:17 Dima Panov (fluffy)
devel/boost-all: bump all library consumers after boost upgrade
PR: 246106
b082b3d |
Sunday, 26 Sep 2021
|
05:45 Yuri Victorovich (yuri) Author: nimaje
devel/ikos: Add missing RUN_DEPENDS: devel/llvmNN for clang executable
PR: 258693
35e8de5 |
Thursday, 2 Sep 2021
|
03:50 Yuri Victorovich (yuri)
math/apron: Update 0.9.12 -> 0.9.12
b289264 |
Wednesday, 7 Apr 2021
|
08:09 Mathieu Arnold (mat)
One more small cleanup, forgotten yesterday.
Reported by: lwhsu
cf118cc |
Tuesday, 6 Apr 2021
|
14:31 Mathieu Arnold (mat)
Remove # $FreeBSD$ from Makefiles.
305f148 |
Friday, 17 Jul 2020
|
10:12 martymac
Update devel/tbb to 2020.3 and bump dependent ports' revisions
Changelog: https://github.com/oneapi-src/oneTBB/blob/v2020.3/CHANGES
|
Wednesday, 1 Apr 2020
|
14:14 martymac
Update devel/tbb to 2020.2 and bump dependent port's revisions
Changelog: https://github.com/oneapi-src/oneTBB/blob/tbb_2020/CHANGES
|
Thursday, 26 Dec 2019
|
16:25 martymac
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
|
Saturday, 14 Dec 2019
|
08:48 antoine
Fix packaging
PR: 233770
|
Friday, 13 Dec 2019
|
06:48 yuri
devel/ikos: Update 2.2 -> 3.0
Reported by: portscout
|
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
|
Friday, 20 Sep 2019
|
19:58 jbeich
Switch default devel/llvm* to 90
PR: 239682
Reviewed by: tobik
Differential Revision: https://reviews.freebsd.org/D21172
|
Saturday, 31 Aug 2019
|
06:49 yuri
devel/ikos: Update 2.1-152 -> 2.2
Reported by: portscout
|
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
|
Wednesday, 26 Jun 2019
|
07:45 yuri
devel/ikos: Add sqlite3 to RUN_DEPENDS
The ikos.analyzer module requires sqlite3.
PR: 238818
Submitted by: Julien Nadeau <vedge@hypertriton.com>
|
Thursday, 13 Jun 2019
|
15:13 yuri
devel/ikos: Update 2.1-129 -> 2.1-152
|
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, 10 Apr 2019
|
16:20 yuri
devel/ikos: Update comment about supported llvm versions and LLVM_DEFAULT
Requested by: jbeich
|
08:12 yuri
devel/ikos: Update 2.1-104 -> 2.1-129
ikos now supports llvm80.
|
06:18 antoine
Bump a few PORTREVISIONs after r498529
With hat: portmgr
|
Monday, 25 Feb 2019
|
02:06 yuri
devel/ikos: Update 2.1-82 -> 2.1-104
|
Monday, 4 Feb 2019
|
19:32 yuri
devel/ikos: Update 2.1-69 -> 2.1-82
|
Saturday, 26 Jan 2019
|
22:15 yuri
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
|
03:51 yuri
devel/ikos: Update 2.1-52 -> 2.1-69
Bugfixes
|
Friday, 11 Jan 2019
|
07:24 yuri
devel/ikos: Update 2.1-49 -> 2.1-52
They fixed the bug that I reported yesterday.
|
Tuesday, 8 Jan 2019
|
09:09 yuri
devel/ikos: Fix USES=cmake
Reported by: tobik
|
08:16 yuri
devel/ikos: Update 2.1 -> 2.1-49
* Shared libraries are now available
* Fixes for some crashes are included
|
Monday, 7 Jan 2019
|
16:47 antoine
Fix packaging with DEFAULT_VERSIONS=python=3.x
PR: 234633
|
Tuesday, 25 Dec 2018
|
20:25 tcberner
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
|
Friday, 14 Dec 2018
|
19:54 yuri
devel/ikos: Add APRON and PPL dependencies
|
17:34 yuri
New port: devel/ikos: Static analyzer for C/C++ based on theory of abstract
interpretation
|
Number of commits found: 46 |