| non port: devel/ikos/Makefile |
|
SVNWeb
|
Number of commits found: 37 |
|
Fri, 3 Mar 2023
|
[ 15:01 Ganael LAPLANCHE (martymac)  ]    1dc2569 (Only the first 10 of 45 ports in this commit are shown above.  )
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
|
|
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
|
|
Tue, 6 Dec 2022
|
[ 17:21 Yuri Victorovich (yuri) ] 2242eb8
devel/ikos: Update 3.0 -> 3.1
PR: 252686
|
|
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
|
|
Fri, 3 Jun 2022
|
[ 13:59 Po-Chuan Hsieh (sunpoet) ] 326f144
devel/ikos: Fix build with setuptools 58.0.0+
- Bump PORTREVISION for package change
With hat: python
|
|
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
|
|
Sun, 26 Sep 2021
|
[ 05:45 Yuri Victorovich (yuri) Author: nimaje ] 35e8de5
devel/ikos: Add missing RUN_DEPENDS: devel/llvmNN for clang executable
PR: 258693
|
|
Thu, 2 Sep 2021
|
[ 03:50 Yuri Victorovich (yuri) ] b289264 (Only the first 10 of 11 ports in this commit are shown above. )
math/apron: Update 0.9.12 -> 0.9.12
|
|
Wed, 7 Apr 2021
|
[ 08:09 Mathieu Arnold (mat) ] cf118cc (Only the first 10 of 8873 ports in this commit are shown above. )
One more small cleanup, forgotten yesterday.
Reported by: lwhsu
|
|
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.
|
|
Fri, 17 Jul 2020
|
[ 10:12 martymac ]   (Only the first 10 of 37 ports in this commit are shown above. )
Update devel/tbb to 2020.3 and bump dependent ports' revisions
Changelog: https://github.com/oneapi-src/oneTBB/blob/v2020.3/CHANGES
|
|
Wed, 1 Apr 2020
|
[ 14:14 martymac ] (Only the first 10 of 34 ports in this commit are shown above. )
Update devel/tbb to 2020.2 and bump dependent port's revisions
Changelog: https://github.com/oneapi-src/oneTBB/blob/tbb_2020/CHANGES
|
|
Thu, 26 Dec 2019
|
[ 16:25 martymac ] (Only the first 10 of 34 ports in this commit are shown above. )
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
|
|
Sat, 14 Dec 2019
|
[ 08:48 antoine ]
Fix packaging
PR: 233770
|
|
Fri, 13 Dec 2019
|
[ 06:48 yuri ]
devel/ikos: Update 2.2 -> 3.0
Reported by: portscout
|
|
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
|
|
Fri, 20 Sep 2019
|
[ 19:58 jbeich ] (Only the first 10 of 44 ports in this commit are shown above. )
Switch default devel/llvm* to 90
PR: 239682
Reviewed by: tobik
Differential Revision: https://reviews.freebsd.org/D21172
|
|
Sat, 31 Aug 2019
|
[ 06:49 yuri ]
devel/ikos: Update 2.1-152 -> 2.2
Reported by: portscout
|
|
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
|
|
Wed, 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>
|
|
Thu, 13 Jun 2019
|
[ 15:13 yuri ]
devel/ikos: Update 2.1-129 -> 2.1-152
|
|
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, 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 ] (Only the first 10 of 399 ports in this commit are shown above. )
Bump a few PORTREVISIONs after r498529
With hat: portmgr
|
|
Mon, 25 Feb 2019
|
[ 02:06 yuri ]
devel/ikos: Update 2.1-82 -> 2.1-104
|
|
Mon, 4 Feb 2019
|
[ 19:32 yuri ]
devel/ikos: Update 2.1-69 -> 2.1-82
|
|
Sat, 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
|
|
Fri, 11 Jan 2019
|
[ 07:24 yuri ]
devel/ikos: Update 2.1-49 -> 2.1-52
They fixed the bug that I reported yesterday.
|
|
Tue, 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
|
|
Mon, 7 Jan 2019
|
[ 16:47 antoine ]
Fix packaging with DEFAULT_VERSIONS=python=3.x
PR: 234633
|
|
Tue, 25 Dec 2018
|
[ 20:25 tcberner ] (Only the first 10 of 1277 ports in this commit are shown above. )
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
|
|
Fri, 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: 37 |
As an Amazon Associate I earn from qualifying purchases.