From nobody Wed Jan 26 17:44:11 2022 X-Original-To: dev-commits-ports-all@mlmmj.nyi.freebsd.org Received: from mx1.freebsd.org (mx1.freebsd.org [IPv6:2610:1c1:1:606c::19:1]) by mlmmj.nyi.freebsd.org (Postfix) with ESMTP id 919B5197207C; Wed, 26 Jan 2022 17:44:12 +0000 (UTC) (envelope-from git@FreeBSD.org) Received: from mxrelay.nyi.freebsd.org (mxrelay.nyi.freebsd.org [IPv6:2610:1c1:1:606c::19:3]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange X25519 server-signature RSA-PSS (4096 bits) server-digest SHA256 client-signature RSA-PSS (4096 bits) client-digest SHA256) (Client CN "mxrelay.nyi.freebsd.org", Issuer "R3" (verified OK)) by mx1.freebsd.org (Postfix) with ESMTPS id 4JkWLM6bXzz4vMh; Wed, 26 Jan 2022 17:44:11 +0000 (UTC) (envelope-from git@FreeBSD.org) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=freebsd.org; s=dkim; t=1643219052; h=from:from:reply-to:subject:subject:date:date:message-id:message-id: to:to:cc:mime-version:mime-version:content-type:content-type: content-transfer-encoding:content-transfer-encoding; bh=lRjU+FQfmJcKFxYlqTs2dlq04/M7MfCwYOmj7xRB664=; b=v/6TChgvgypSP+inxYc6I0PduJ1Y3Du3hkap3eJmL1yG4vW4LAvw87PftlNIqel2rcs/Wz 7C+Ni14Okl6pH1or/LQo1rsNDSUMHtw7sIrEPtnr8knQm2X9lFYvXUCpmCvxpxCqvWv6Ya 8BKWrY7Qtx2RHpc+PRrJIj34LwIEiclDZMtc8v8Y9La/6eZfn7sDmPadyB6BSNw60H5Vlc WrfVWUlS8eNcRBlreRgMMcvSCmHPElJ/Y1vazzPhzdAPgfDJCWqd27hFpOc3SfNgWTQHUT Vuf6nvALSZtz60XH3HJ4f+hlsSroHdu7wStrf5KifPbf7pbC6e4bbnG3OV9ObQ== Received: from gitrepo.freebsd.org (gitrepo.freebsd.org [IPv6:2610:1c1:1:6068::e6a:5]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange X25519 server-signature RSA-PSS (4096 bits) server-digest SHA256) (Client did not present a certificate) by mxrelay.nyi.freebsd.org (Postfix) with ESMTPS id A404326D33; Wed, 26 Jan 2022 17:44:11 +0000 (UTC) (envelope-from git@FreeBSD.org) Received: from gitrepo.freebsd.org ([127.0.1.44]) by gitrepo.freebsd.org (8.16.1/8.16.1) with ESMTP id 20QHiB7e077836; Wed, 26 Jan 2022 17:44:11 GMT (envelope-from git@gitrepo.freebsd.org) Received: (from git@localhost) by gitrepo.freebsd.org (8.16.1/8.16.1/Submit) id 20QHiBso077835; Wed, 26 Jan 2022 17:44:11 GMT (envelope-from git) Date: Wed, 26 Jan 2022 17:44:11 GMT Message-Id: <202201261744.20QHiBso077835@gitrepo.freebsd.org> To: ports-committers@FreeBSD.org, dev-commits-ports-all@FreeBSD.org, dev-commits-ports-main@FreeBSD.org From: Yuri Victorovich Subject: git: d300ca06c3fa - main - math/yices: Update 2.6.2 -> 2.6.4 List-Id: Commit messages for all branches of the ports repository List-Archive: https://lists.freebsd.org/archives/dev-commits-ports-all List-Help: List-Post: List-Subscribe: List-Unsubscribe: Sender: owner-dev-commits-ports-all@freebsd.org X-BeenThere: dev-commits-ports-all@freebsd.org MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: 8bit X-Git-Committer: yuri X-Git-Repository: ports X-Git-Refname: refs/heads/main X-Git-Reftype: branch X-Git-Commit: d300ca06c3fac662513f665e0683dd402889aca8 Auto-Submitted: auto-generated ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=freebsd.org; s=dkim; t=1643219052; h=from:from:reply-to:subject:subject:date:date:message-id:message-id: to:to:cc:mime-version:mime-version:content-type:content-type: content-transfer-encoding:content-transfer-encoding; bh=lRjU+FQfmJcKFxYlqTs2dlq04/M7MfCwYOmj7xRB664=; b=kjdumKWLlgIqY0KmCT2OzlauAffaoLNcQfC4s8kOrgzGpoP77S88O/+bqx8qLxRt3gbqPL Ep1grxVlhos4snppEwUSg3jISo2H0UOv8FMfplRtQqNwEPgmISS+JCfKiP637/equXGkf7 S0z/QCJdexPxYkUeeEkzZluGQLCBiYZamMiyspePNyyZiDfSSqoCr8i95uI/REIxo6oMva r1W8iTBFbPZoofcciuof98tErwflJ8b5kSIkT4EN38JpsoYePU4FaqvKC7xaoi8O6/oA50 pbWbZzkNZpWpMuDq9D49LJOv7x1lG7LK0hg8MMSlre47pPpwX6FXUhioOxkDEQ== ARC-Seal: i=1; s=dkim; d=freebsd.org; t=1643219052; a=rsa-sha256; cv=none; b=o+Ht9Mctscn7DI4OS4ajWzJlMcsMIVSTSh6VMsVwyXGUzv/K7rnw4jARZgiwDlifpasvZE kTgFerdoYgqgoh7xn73Ihu7j2tLHM0GLE+YEFxe+Czpp5HzfSbR0f8hmXzWii9UiFnt/JV dgi0UPYQGFVJcYWscH5KWRW2P96fkGDhCYpTjvdeWHO/VEkS0+A5k16hSQiOx/CVRyiM3k hRht4KURMbEjsSK4JAbHv4/NZyc18v0j6ol5vQhpdIP1veKz4xnmqdsVxhwMKP4aRFNEBh 2iwZeRdoXwAJpiWi3HgAbhapusNSZVuhpbAC/UV6nS7oJasQlX75tIfBRTS6Yg== ARC-Authentication-Results: i=1; mx1.freebsd.org; none X-ThisMailContainsUnwantedMimeParts: N The branch main has been updated by yuri: URL: https://cgit.FreeBSD.org/ports/commit/?id=d300ca06c3fac662513f665e0683dd402889aca8 commit d300ca06c3fac662513f665e0683dd402889aca8 Author: Yuri Victorovich AuthorDate: 2022-01-26 17:37:32 +0000 Commit: Yuri Victorovich CommitDate: 2022-01-26 17:44:07 +0000 math/yices: Update 2.6.2 -> 2.6.4 Reported by: portscout --- math/yices/Makefile | 15 +++++++-------- math/yices/distinfo | 6 +++--- math/yices/files/patch-Makefile.build | 14 +++----------- math/yices/pkg-plist | 2 +- 4 files changed, 14 insertions(+), 23 deletions(-) diff --git a/math/yices/Makefile b/math/yices/Makefile index 0c72bb9feb8b..2e03d12b0ef3 100644 --- a/math/yices/Makefile +++ b/math/yices/Makefile @@ -1,5 +1,5 @@ PORTNAME= yices -DISTVERSION= 2.6.2 +DISTVERSION= 2.6.4 CATEGORIES= math MASTER_SITES= https://yices.csl.sri.com/releases/${DISTVERSION}/ DISTNAME= ${PORTNAME}-${DISTVERSION}-src @@ -8,24 +8,23 @@ MAINTAINER= yuri@FreeBSD.org COMMENT= SMT solver LICENSE= GPLv3 -LICENSE_FILE= ${WRKSRC}/LICENSE +LICENSE_FILE= ${WRKSRC}/LICENSE.txt BUILD_DEPENDS= gperf:devel/gperf LIB_DEPENDS= libgmp.so:math/gmp -USES= compiler:c11 gmake localbase +USES= autoreconf compiler:c11 gmake localbase +USE_LDCONFIG= yes + GNU_CONFIGURE= yes CONFIGURE_ARGS= --with-pic-gmp=${LOCALBASE}/lib/libgmp.so -USE_LDCONFIG= yes MAKE_ARGS= YICES_MAKE_INCLUDE=configs/make.include.${CONFIGURE_TARGET} CFLAGS+= -fPIC -WRKSRC= ${WRKDIR}/${PORTNAME}-${DISTVERSION} +WRKSRC= ${WRKDIR}/yices2-Yices-${DISTVERSION} -post-install: +post-install: # strip binaries @${STRIP_CMD} ${STAGEDIR}${PREFIX}/bin/* - @${RM} ${STAGEDIR}${PREFIX}/lib/*.a - @cd ${STAGEDIR}${PREFIX}/lib && ${LN} -s libyices.so.2.6 libyices.so && ${LN} -s libyices.so.2.6 libyices.so.2 .include diff --git a/math/yices/distinfo b/math/yices/distinfo index a14bc1ac6b79..b6a44230e350 100644 --- a/math/yices/distinfo +++ b/math/yices/distinfo @@ -1,3 +1,3 @@ -TIMESTAMP = 1586295390 -SHA256 (yices-2.6.2-src.tar.gz) = 1f205c056dd430f830c688fba6c87d8bd07bd8fa05f65936e12c27e71fa3576a -SIZE (yices-2.6.2-src.tar.gz) = 6014634 +TIMESTAMP = 1643217873 +SHA256 (yices-2.6.4-src.tar.gz) = 533a24e020ecb7d64c03a965d598430d193651e2887e6f46924dec5786db78cb +SIZE (yices-2.6.4-src.tar.gz) = 10186909 diff --git a/math/yices/files/patch-Makefile.build b/math/yices/files/patch-Makefile.build index 3ab7ed1d0580..faef3ed2d7de 100644 --- a/math/yices/files/patch-Makefile.build +++ b/math/yices/files/patch-Makefile.build @@ -1,6 +1,6 @@ ---- Makefile.build.orig 2018-06-29 04:11:11 UTC +--- Makefile.build.orig 2021-10-20 22:20:35 UTC +++ Makefile.build -@@ -131,7 +131,7 @@ static_objsubdirs := $(srcsubdirs:%=$(st +@@ -137,7 +137,7 @@ static_dll_objsubdirs := $(srcsubdirs:%=$(static_dll_o # build_dir/dist: binaries + libraries with distribution not linked with GMP # build_dir/static_dist: includes GMP (statically linked) # @@ -9,7 +9,7 @@ static_dist_dir = $(build_dir)/static_dist -@@ -448,7 +448,7 @@ install-default: +@@ -481,7 +481,7 @@ install-default: $(MKDIR_P) $(DESTDIR)$(bindir) $(MKDIR_P) $(DESTDIR)$(libdir) $(MKDIR_P) $(DESTDIR)$(includedir) @@ -18,11 +18,3 @@ $(INSTALL) $(dist_dir)/bin/* $(DESTDIR)$(bindir) $(INSTALL) $(dist_dir)/lib/* $(DESTDIR)$(libdir) -@@ -467,7 +467,6 @@ install-linux install-unix: install-defa - # be added to the hints file.' In other words, ldconfig on FreeBSD doesn't create the symbolic link, - # as on Linux. - install-freebsd: install-default -- $(LDCONFIG) -m $(DESTDIR)$(libdir) && (cd $(DESTDIR)$(libdir) && $(LN_S) -f libyices.so.$(MAJOR).$(MINOR) libyices.so) - - # - # cygwin and mingw install: copy the DLLs in $(bindir) diff --git a/math/yices/pkg-plist b/math/yices/pkg-plist index 4d3d4ec9e549..fe8e6d0104c9 100644 --- a/math/yices/pkg-plist +++ b/math/yices/pkg-plist @@ -9,6 +9,6 @@ include/yices.h include/yices_exit_codes.h include/yices_limits.h include/yices_types.h +lib/libyices.a lib/libyices.so -lib/libyices.so.2 lib/libyices.so.2.6