Received: by mail.netbsd.org (Postfix, from userid 605) id 91C6884D40; Sat, 24 Aug 2019 22:10:17 +0000 (UTC) Received: from localhost (localhost [127.0.0.1]) by mail.netbsd.org (Postfix) with ESMTP id 189A284D35 for ; Sat, 24 Aug 2019 22:10:17 +0000 (UTC) X-Virus-Scanned: amavisd-new at netbsd.org Received: from mail.netbsd.org ([127.0.0.1]) by localhost (mail.netbsd.org [127.0.0.1]) (amavisd-new, port 10025) with ESMTP id UpYEr8UgplFD for ; Sat, 24 Aug 2019 22:10:16 +0000 (UTC) Received: from cvs.NetBSD.org (ivanova.netbsd.org [199.233.217.197]) by mail.netbsd.org (Postfix) with ESMTP id A6DC384CD3 for ; Sat, 24 Aug 2019 22:10:16 +0000 (UTC) Received: by cvs.NetBSD.org (Postfix, from userid 500) id A3BB6FBF4; Sat, 24 Aug 2019 22:10:16 +0000 (UTC) Content-Transfer-Encoding: 7bit Content-Type: multipart/mixed; boundary="_----------=_1566684616267120" MIME-Version: 1.0 Date: Sat, 24 Aug 2019 22:10:16 +0000 From: "Alexander Nasonov" Subject: CVS commit: pkgsrc/math To: pkgsrc-changes@NetBSD.org Reply-To: alnsn@netbsd.org X-Mailer: log_accum Message-Id: <20190824221016.A3BB6FBF4@cvs.NetBSD.org> Sender: pkgsrc-changes-owner@NetBSD.org List-Id: pkgsrc-changes.NetBSD.org Precedence: bulk List-Unsubscribe: This is a multi-part message in MIME format. --_----------=_1566684616267120 Content-Disposition: inline Content-Transfer-Encoding: 8bit Content-Type: text/plain; charset="US-ASCII" Module Name: pkgsrc Committed By: alnsn Date: Sat Aug 24 22:10:16 UTC 2019 Modified Files: pkgsrc/math: Makefile Log Message: Add yices2 to the build. To generate a diff of this commit: cvs rdiff -u -r1.433 -r1.434 pkgsrc/math/Makefile Please note that diffs are not public domain; they are subject to the copyright notices on the relevant files. --_----------=_1566684616267120 Content-Disposition: inline Content-Length: 513 Content-Transfer-Encoding: binary Content-Type: text/x-diff; charset=us-ascii Modified files: Index: pkgsrc/math/Makefile diff -u pkgsrc/math/Makefile:1.433 pkgsrc/math/Makefile:1.434 --- pkgsrc/math/Makefile:1.433 Fri Aug 9 16:25:23 2019 +++ pkgsrc/math/Makefile Sat Aug 24 22:10:16 2019 @@ -1,4 +1,4 @@ -# $NetBSD: Makefile,v 1.433 2019/08/09 16:25:23 brook Exp $ +# $NetBSD: Makefile,v 1.434 2019/08/24 22:10:16 alnsn Exp $ COMMENT= Mathematics @@ -405,6 +405,7 @@ SUBDIR+= xlispstat SUBDIR+= xmgr SUBDIR+= xylib SUBDIR+= yacas +SUBDIR+= yices2 SUBDIR+= yorick SUBDIR+= z3 --_----------=_1566684616267120--