UPDATE: QEMU - elf_aux_info()

2024-08-31 Thread Brad Smith
Convert over to using elf_aux_info(). Index: Makefile === RCS file: /cvs/ports/emulators/qemu/Makefile,v retrieving revision 1.242 diff -u -p -u -p -r1.242 Makefile --- Makefile26 Jul 2024 11:49:01 - 1.242 +++ Makefile

Re: UPDATE: net/crawley-v1.7.8

2024-08-31 Thread Russ Sharek
> Did you by any chance write > > If you did, then I think that's the problem. Everything after the colon are > prerequisites (dependencies) to the target (do-test), see here[1]. > Prerequisites are simply other targets you'd want executed *before* the > do-test target. So in this case make tries

Re: how accurate or helpful is scan-build-16 in clang-16 in identifying bugs / issues in code at build time ?

2024-08-31 Thread Stefan Sperling
On Tue, Aug 27, 2024 at 04:27:47PM +0200, Florian Obser wrote: > On 2024-08-27 15:35 +02, Janne Johansson wrote: > > Den mån 26 aug. 2024 kl 00:14 skrev Tom Smyth > > : > >> Folks, > >> Im just wondering what other porters experience of scan-build for the > >> projects that you are maintaining

Re: [update] math/z3: update to 4.13.0

2024-08-31 Thread Klemens Nanni
31.08.2024 18:10, Kirill A. Korinsky пишет: > not sure that this :Q is required. If I run it with :Q z3 complains as: > > (error "line 1 column 1: unexpected character") > (error "line 1 column 19: unexpected token used as datatype name") > (error "line 1 column 20: unexpected characte

Re: UPDATE: cad/kicad

2024-08-31 Thread Mihai Popescu
> +CPPFLAGS+= -D_LIBCXXABI_FORGIVING_DYNAMIC_CAST Got curious why OpenBSD platform needs some modifications for most of the things in C/C++. And found this [1], with a copious explanation as a comment, then the code implementation. I don't understant it but I am happy I don't have to work in this

Re: Tor Browser on -current dies with SIGILL

2024-08-31 Thread Caspar Schutijser
On Sat, Jul 13, 2024 at 07:43:58PM +0200, Caspar Schutijser wrote: > On Tue, Jul 09, 2024 at 07:20:35PM +0200, Matthias Schmidt wrote: > > Hi Caspar, > > > > * Caspar Schutijser wrote: > > > Hi Matthias, > > > > > > On Mon, Jul 08, 2024 at 07:54:09PM +0200, Matthias Schmidt wrote: > > > > Hi Casp

Re: UPDATE: cad/kicad

2024-08-31 Thread Rafael Sadowski
Hi Stefan, Hi KiCad users, Tanks for testing. I was able to trace the error down to our libcxxabi. Something is wrong here. If you want/have to work with kicad 8.0.4, here is a workaround: $ cd /usr/src && patch -p1 -E < ~/patches/libcxxabi.diff $ cd gnu/lib/libcxxabi && make clean && make && doa

Re: [update] math/z3: update to 4.13.0

2024-08-31 Thread Kirill A . Korinsky
On Sat, 31 Aug 2024 16:03:30 +0200, Klemens Nanni wrote: > > 31.08.2024 16:35, Klemens Nanni пишет: > > 30.08.2024 22:17, Kirill A. Korinsky пишет: > >> On Tue, 27 Aug 2024 21:59:25 +0200, > >> Klemens Nanni wrote: > >>> > >>> New diff including all the feedback above, you can now hack on the po

Re: [update] math/z3: update to 4.13.0

2024-08-31 Thread Klemens Nanni
31.08.2024 16:35, Klemens Nanni пишет: > 30.08.2024 22:17, Kirill A. Korinsky пишет: >> On Tue, 27 Aug 2024 21:59:25 +0200, >> Klemens Nanni wrote: >>> >>> New diff including all the feedback above, you can now hack on the port and >>> iterate over 'make retest' until it no longer crashes (or you

Re: [update] math/z3: update to 4.13.0

2024-08-31 Thread Klemens Nanni
30.08.2024 22:17, Kirill A. Korinsky пишет: > On Tue, 27 Aug 2024 21:59:25 +0200, > Klemens Nanni wrote: >> >> New diff including all the feedback above, you can now hack on the port and >> iterate over 'make retest' until it no longer crashes (or you give up) ;-) >> > > Here an updated version

Re: CodeChecker 6.24 on fresh 7.6 OpenBSD amd 64 platfrom

2024-08-31 Thread Tobias Heider
Thank you! Happy I could help :) On Fri, Aug 30, 2024 at 09:05:27PM GMT, Tom Smyth wrote: > Thanks Tobias,   > > I have tried, while Stefan has delivered about 11-13 bug fixes arising out of > the test and the results you published,  > > Thanks for that ...  > > On Tue, 27 Aug 2024 at 16:51, To

arm bulk build report

2024-08-31 Thread phessler
bulk build on armv7.ports.openbsd.org started on Thu Aug 1 12:51:19 MDT 2024 finished at Sat Aug 31 03:19:59 MDT 2024 lasted 29D14h28m done with kern.version=OpenBSD 7.5-current (GENERIC) #231: Wed Jul 31 23:10:31 MDT 2024 built packages:8275 Aug 1:2184 Aug 2:2761 Aug 3:2686 Aug 4:381 Aug 5:29 A

Re: UPDATE: net/crawley-v1.7.8

2024-08-31 Thread Johannes Thyssen Tishman
2024-08-30T20:20:25Z Russ Sharek : Instead of setting MODGO_TEST_TARGET, it would be more ports-idiomatic/clearer to use a `do-test` target like: ``` do-test:     cd ${WRKSRC} && CGO_ENABLED=1 ${MODGO_CMD} test -count 1 -v \     -tags=test -coverprofile="cover.out" ./... ``` Tests are pass

Re: lang/guile3 update to 3.0.10

2024-08-31 Thread Omar Polo
I'll hold off from committing this update for a while. It seems that it is broken on various 32 bit arches: https://buildd.debian.org/status/package.php?p=guile%2d3%2e0 On 2024/08/25 12:23:32 +0200, Omar Polo wrote: > A bit overdue, but here's the update. I'm leaving the description of > the c