Authentication-Results: name.execsw.org; dkim=pass (1024-bit key) header.d=netbsd.org header.i=@netbsd.org header.b=pCf7tAza; dkim=pass (1024-bit key) header.d=netbsd.org header.i=@netbsd.org header.b=voIvCD6n Received: by mail.netbsd.org (Postfix, from userid 605) id D6C9F84D80; Sat, 30 Mar 2024 23:10:49 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=netbsd.org; s=20240131; t=1711840250; bh=X3xMtPlHgDUYwi2jwOjOnm2aNzSMyo5emULR4slHfzs=; h=Date:From:Subject:To:Reply-To:List-Id:List-Unsubscribe; b=pCf7tAzann2a3BbkZoAv9vhOV2opMuJ22phce1F0AYFcEZZ5PSBdLY8WFNpJdRm9k b8642AhL7ad7yVD7sZe2QRKa7FQYa3CO78+3LI91pWlZ7gV5nUuH8ceXKnuu9XMZdn PDEM8zfSOscbux6S+7uOe0W3Zyo4y/W6tc/JgHps= Received: from localhost (localhost [127.0.0.1]) by mail.netbsd.org (Postfix) with ESMTP id C9F7884D68 for ; Sat, 30 Mar 2024 23:10:48 +0000 (UTC) X-Virus-Scanned: amavisd-new at netbsd.org Authentication-Results: mail.netbsd.org (amavisd-new); dkim=pass (1024-bit key) header.d=netbsd.org Received: from mail.netbsd.org ([IPv6:::1]) by localhost (mail.netbsd.org [IPv6:::1]) (amavisd-new, port 10025) with ESMTP id sLWMgGG5eUds for ; Sat, 30 Mar 2024 23:10:48 +0000 (UTC) Received: from cvs.NetBSD.org (ivanova.NetBSD.org [IPv6:2001:470:a085:999:28c:faff:fe03:5984]) by mail.netbsd.org (Postfix) with ESMTP id 5C46884D35 for ; Sat, 30 Mar 2024 23:10:48 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=netbsd.org; s=20240131; t=1711840248; bh=X3xMtPlHgDUYwi2jwOjOnm2aNzSMyo5emULR4slHfzs=; h=Date:From:Subject:To:Reply-To; b=voIvCD6nBKVrGg1jUn2zkZtd5WUHFirbp+ptdpbgU1xXTEMBRP+qjJa2f8XlCvROF Q13gL/FVrDzebHiJjqw9I12L28nB7yYXPIxf3/Thzo0lCZDnRdHoRlcb6jySl6fFhL VGEhLZ9dyZDIclOoXnhkneebpwrZINmLZvxrApAg= Received: by cvs.NetBSD.org (Postfix, from userid 500) id 4E82DFA2C; Sat, 30 Mar 2024 23:10:48 +0000 (UTC) Content-Transfer-Encoding: 7bit Content-Type: multipart/mixed; boundary="_----------=_1711840248112950" MIME-Version: 1.0 Date: Sat, 30 Mar 2024 23:10:48 +0000 From: "Havard Eidnes" Subject: CVS commit: pkgsrc/math/z3 To: pkgsrc-changes@NetBSD.org Reply-To: he@netbsd.org X-Mailer: log_accum Message-Id: <20240330231048.4E82DFA2C@cvs.NetBSD.org> Sender: pkgsrc-changes-owner@NetBSD.org List-Id: Precedence: bulk List-Unsubscribe: This is a multi-part message in MIME format. --_----------=_1711840248112950 Content-Disposition: inline Content-Transfer-Encoding: 8bit Content-Type: text/plain; charset="US-ASCII" Module Name: pkgsrc Committed By: he Date: Sat Mar 30 23:10:48 UTC 2024 Modified Files: pkgsrc/math/z3: Makefile Log Message: math/z3: add mk/atomic64.mk, to make this build on NetBSD/macppc. To generate a diff of this commit: cvs rdiff -u -r1.20 -r1.21 pkgsrc/math/z3/Makefile Please note that diffs are not public domain; they are subject to the copyright notices on the relevant files. --_----------=_1711840248112950 Content-Disposition: inline Content-Length: 541 Content-Transfer-Encoding: binary Content-Type: text/x-diff; charset=us-ascii Modified files: Index: pkgsrc/math/z3/Makefile diff -u pkgsrc/math/z3/Makefile:1.20 pkgsrc/math/z3/Makefile:1.21 --- pkgsrc/math/z3/Makefile:1.20 Tue Jan 23 20:01:03 2024 +++ pkgsrc/math/z3/Makefile Sat Mar 30 23:10:48 2024 @@ -1,8 +1,9 @@ -# $NetBSD: Makefile,v 1.20 2024/01/23 20:01:03 adam Exp $ +# $NetBSD: Makefile,v 1.21 2024/03/30 23:10:48 he Exp $ .include "Makefile.common" COMMENT= The Z3 theorem prover / SMT solver .include "../../devel/cmake/build.mk" +.include "../../mk/atomic64.mk" .include "../../mk/bsd.pkg.mk" --_----------=_1711840248112950--