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.

Get notified when packages are built

A new feature has been added. FreshPorts already tracks package built by the FreeBSD project. This information is displayed on each port page. You can now get an email when FreshPorts notices a new package is available for something on one of your watch lists. However, you must opt into that. Click on Report Subscriptions on the right, and New Package Notification box, and click on Update.

Finally, under Watch Lists, click on ABI Package Subscriptions to select your ABI (e.g. FreeBSD:14:amd64) & package set (latest/quarterly) combination for a given watch list. This is what FreshPorts will look for.

non port: security/klee/Makefile

Number of commits found: 27

Friday, 1 Mar 2024
19:26 Gleb Popov (arrowd) search for other commits by this committer
security/klee: Update to 3.1
commit hash: 954bfd4d4cfd94b62f5e18560e2c0510784feeda commit hash: 954bfd4d4cfd94b62f5e18560e2c0510784feeda commit hash: 954bfd4d4cfd94b62f5e18560e2c0510784feeda commit hash: 954bfd4d4cfd94b62f5e18560e2c0510784feeda 954bfd4
Tuesday, 19 Dec 2023
16:18 Gleb Popov (arrowd) search for other commits by this committer
security/klee: Fix build on aarch64

Reported by:	pkg-fallout
commit hash: 825a077f3965af1efbeea676b12a344cccec8d71 commit hash: 825a077f3965af1efbeea676b12a344cccec8d71 commit hash: 825a077f3965af1efbeea676b12a344cccec8d71 commit hash: 825a077f3965af1efbeea676b12a344cccec8d71 825a077
Wednesday, 11 Oct 2023
18:26 Piotr Kubaj (pkubaj) search for other commits by this committer
security/klee: disable on powerpc
commit hash: 281f8058caee59ab5627092b5f1a4fcdd0352746 commit hash: 281f8058caee59ab5627092b5f1a4fcdd0352746 commit hash: 281f8058caee59ab5627092b5f1a4fcdd0352746 commit hash: 281f8058caee59ab5627092b5f1a4fcdd0352746 281f805
Wednesday, 13 Sep 2023
07:51 Gleb Popov (arrowd) search for other commits by this committer
security/klee: Add USES=llvm:noexport
commit hash: 11ec02a2fa364c883cd1c81d3bd14457b28e1e15 commit hash: 11ec02a2fa364c883cd1c81d3bd14457b28e1e15 commit hash: 11ec02a2fa364c883cd1c81d3bd14457b28e1e15 commit hash: 11ec02a2fa364c883cd1c81d3bd14457b28e1e15 11ec02a
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, 20 Jun 2023
18:54 Gleb Popov (arrowd) search for other commits by this committer
security/klee: Update to 3.0

Reported by:	portscout!
commit hash: 4b1ed03b1a8f5a6d15c9e91789cf28e0cd6d8687 commit hash: 4b1ed03b1a8f5a6d15c9e91789cf28e0cd6d8687 commit hash: 4b1ed03b1a8f5a6d15c9e91789cf28e0cd6d8687 commit hash: 4b1ed03b1a8f5a6d15c9e91789cf28e0cd6d8687 4b1ed03
Saturday, 24 Dec 2022
05:55 Gleb Popov (arrowd) search for other commits by this committer
security/klee: Unbreak the build after USES=llvm change.

Reported by:	pkg-fallout
Fixes:	08807ad9500c84b2577b39dadf7a103eae27d73c
commit hash: b9cdee141b2196b86375e37bf30cf11a2f5f9e1f commit hash: b9cdee141b2196b86375e37bf30cf11a2f5f9e1f commit hash: b9cdee141b2196b86375e37bf30cf11a2f5f9e1f commit hash: b9cdee141b2196b86375e37bf30cf11a2f5f9e1f b9cdee1
Sunday, 18 Dec 2022
08:47 Gleb Popov (arrowd) search for other commits by this committer
security/klee: Switch to USES=llvm.
commit hash: 08807ad9500c84b2577b39dadf7a103eae27d73c commit hash: 08807ad9500c84b2577b39dadf7a103eae27d73c commit hash: 08807ad9500c84b2577b39dadf7a103eae27d73c commit hash: 08807ad9500c84b2577b39dadf7a103eae27d73c 08807ad
Saturday, 17 Dec 2022
17:18 Gleb Popov (arrowd) search for other commits by this committer
security/klee: Switch to LLVM 13.

PR:		263456
commit hash: 8c772d8e053eaca59a6095013d31e30959d13b38 commit hash: 8c772d8e053eaca59a6095013d31e30959d13b38 commit hash: 8c772d8e053eaca59a6095013d31e30959d13b38 commit hash: 8c772d8e053eaca59a6095013d31e30959d13b38 8c772d8
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
Saturday, 30 Apr 2022
21:26 Piotr Kubaj (pkubaj) search for other commits by this committer
security/klee: fix packaging on powerpc64le

powerpc64le doesn't have multilib libraries, since there's no 32-bit
little-endian POWER.
commit hash: 0000ac03c1bcb687228bece7881a7f38c7f0a617 commit hash: 0000ac03c1bcb687228bece7881a7f38c7f0a617 commit hash: 0000ac03c1bcb687228bece7881a7f38c7f0a617 commit hash: 0000ac03c1bcb687228bece7881a7f38c7f0a617 0000ac0
Tuesday, 5 Apr 2022
11:57 Gleb Popov (arrowd) search for other commits by this committer
security/klee: Update to 2.3

Changelog: https://github.com/klee/klee/releases/tag/v2.3
commit hash: 32f067c7574ec918a9abd66dea8eebea443df968 commit hash: 32f067c7574ec918a9abd66dea8eebea443df968 commit hash: 32f067c7574ec918a9abd66dea8eebea443df968 commit hash: 32f067c7574ec918a9abd66dea8eebea443df968 32f067c
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
Monday, 14 Dec 2020
07:24 arrowd search for other commits by this committer
security/klee: Do not build on i386, it is unsupported upstream.

While here, add BACKEND multigroup and move STP and Z3 options there.
Original commitRevision:558077 
Wednesday, 9 Dec 2020
14:47 arrowd search for other commits by this committer
security/klee: Update to 2.2
Original commitRevision:557375 
Thursday, 9 Jul 2020
15:44 arrowd search for other commits by this committer
math/cryptominisat and math/py-cryptominisat: Update to 5.7.1

Bump PORTREVISIONs of consumer ports.
Original commitRevision:541757 
Sunday, 8 Mar 2020
14:25 arrowd search for other commits by this committer
security/klee: Update to 2.1. Enable STP by default.
Original commitRevision:528037 
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 
Friday, 26 Jul 2019
20:46 gerald search for other commits by this committer
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
Original commitRevision:507372 
Tuesday, 30 Apr 2019
14:29 pkubaj search for other commits by this committer
security/klee: fix build with GCC-based architectures

Add USES=compiler:c++14-lang to fix build on GCC architectures:
Make Error in lib/Basic/CMakeLists.txt:
  Target "kleeBasic" requires the language dialect "CXX14" (with compiler
  extensions), but CMake does not know the compile flags to use to enable it.

PR:		237623
Approved by:	arrowd (maintainer), mat (mentor)
Differential Revision:	https://reviews.freebsd.org/D20088
Original commitRevision:500497 
Friday, 5 Apr 2019
05:27 arrowd search for other commits by this committer
security/klee: Depend on python 3 and py-tabulate. Required for ktest-tool
utility, written in Python.

Reviewed by:	mat
Approved by:	tcberner (mentor)
Differential Revision:	https://reviews.freebsd.org/D19770
Original commitRevision:497913 
Tuesday, 26 Mar 2019
04:38 arrowd search for other commits by this committer
security/klee: Update to 2.0 and switch to LLVM 8.

PR:		230516
Submitted by:	brooks
Approved by:	tcberner (mentor)
Original commitRevision:496875 
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 
Monday, 23 Jul 2018
05:28 yuri search for other commits by this committer
security/klee: arrowd@FreeBSD.org takes maintainership

The original submitter gave up on the klee port.

Also update COMMENT and move -DFREEBSD_STP_STATIC_LIBRARY to the STP option
section.

PR:		219150
Requested by:	arrowd (maintainership change)
Original commitRevision:475146 
03:19 yuri search for other commits by this committer
New port: security/klee: Symbolic virtual machine built on top of the LLVM

PR:		219150
Submitted by:	larca <itbot@list.ru>
Original commitRevision:475144 

Number of commits found: 27