From nobody Fri Jun 14 21:32:25 2024 X-Original-To: dev-commits-ports-main@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 4W1CDB03zSz5PY68; Fri, 14 Jun 2024 21:32:26 +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 4W1CD93vfDz4by5; Fri, 14 Jun 2024 21:32:25 +0000 (UTC) (envelope-from git@FreeBSD.org) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=freebsd.org; s=dkim; t=1718400745; 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=nmIR3CRLw0uHFjwQ74XMr+tw8NNGz3F6nye2nbPAm4s=; b=VUahAIx7M1qCGrf2T+55/THILcYPn5TBnlKs8zSAJhPQQx3vHyf5z2DL0jk02RVCKVvBki lf5Owy6bR03bw43cQB8NP0Ks6XfraNttheAeiLcBtkvpX7xp2zMA/SdFxPL6f6Zsbyjx+i +MsnizDerYr1g1lEpXp4qIlt3X+jrPbK1GueUEArB9/JJKq5uHfI4yEfFZOrl22mNFoFwc no6SLNQavoRvsAsbxNheV3k7lG9ebXk/XhJl71ovGaDE+L0TXbSWHKXZtNa2Qw8aEFx0y9 Nni9u4SAKyqyj8zWypH6xi0Wa8o/wqi7tiHoarpjxwta+UBvhECOhtszkG/PNA== ARC-Seal: i=1; s=dkim; d=freebsd.org; t=1718400745; a=rsa-sha256; cv=none; b=K7dasNKbKlLQuxZ0WdnQ9Dpy6FzfOH8YXU7n5pSWQwtBC3Fq/O1EE6e6kpULxEuZqROdiv VFlRXjKZHkyNjUk7w/Tlk5BNNwPqB7pYNQy9RDvMRZ/2NBxvND2VcgTvFY1LfTM6m344zw Kx02JIAlOqfh3gT/S17+H8ATQE3uSGXGmF3ZBSynMWUAhr+UkXWXY0D938gKxlj0C5dg19 hPgkgXc0N9tInIycLm3C/JY9E7ZOic+XFWRgww8/jez8JvCyRK3Yb1piZ75Vb0GDWFSrZQ 9eZoqbP1GaNlHbwBn4g40OS1jtwccGrv0aoEEcs2b9jaYpZHJcmvvygq7QycJw== ARC-Authentication-Results: i=1; mx1.freebsd.org; none ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=freebsd.org; s=dkim; t=1718400745; 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=nmIR3CRLw0uHFjwQ74XMr+tw8NNGz3F6nye2nbPAm4s=; b=J66wuBGVsyiQRE7Bi9ckaOiA81BomrJx6aJ7dNbx18rt5XMu1PcI8SZ7skDH9Uvv8reh4s ybIMlc8LSYO3LK3WIX5vuG2jNYsvamy7u/j9t24yzdze3XqRGXuKBVZfyE+SYhTUm9qlvz MjXEG3Aw4CYiicp8Kgng5gTCKRDwoXW7Y5r5H6/MiNC7eEKGtqurZGf/5pqgCFoI5MhDbk SJtffJ3eWTKBav+1gTB6kxWWrY/wwtzEb2UnbjwNPNREprh9Kx/Xso5DKy3OeabNok2BjW z0t75xHp/zgL/Hja7wq2c7rvTG5aHCRU+izDnqjJgiDbv+IHXxw4fOukliNNxQ== 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 4W1CD93X1Rzd8l; Fri, 14 Jun 2024 21:32:25 +0000 (UTC) (envelope-from git@FreeBSD.org) Received: from gitrepo.freebsd.org ([127.0.1.44]) by gitrepo.freebsd.org (8.17.1/8.17.1) with ESMTP id 45ELWPpp008092; Fri, 14 Jun 2024 21:32:25 GMT (envelope-from git@gitrepo.freebsd.org) Received: (from git@localhost) by gitrepo.freebsd.org (8.17.1/8.17.1/Submit) id 45ELWPYK008089; Fri, 14 Jun 2024 21:32:25 GMT (envelope-from git) Date: Fri, 14 Jun 2024 21:32:25 GMT Message-Id: <202406142132.45ELWPYK008089@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: 207e08be53a9 - main - devel/ikos: Broken on armv7 List-Id: Commits to the main branch of the FreeBSD ports repository List-Archive: https://lists.freebsd.org/archives/dev-commits-ports-main List-Help: List-Post: List-Subscribe: List-Unsubscribe: X-BeenThere: dev-commits-ports-main@freebsd.org Sender: owner-dev-commits-ports-main@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: 207e08be53a968a09977afbbba403dacdb7e15c1 Auto-Submitted: auto-generated The branch main has been updated by yuri: URL: https://cgit.FreeBSD.org/ports/commit/?id=207e08be53a968a09977afbbba403dacdb7e15c1 commit 207e08be53a968a09977afbbba403dacdb7e15c1 Author: Yuri Victorovich AuthorDate: 2024-06-14 21:24:51 +0000 Commit: Yuri Victorovich CommitDate: 2024-06-14 21:32:04 +0000 devel/ikos: Broken on armv7 Reported by: fallout --- devel/ikos/Makefile | 2 ++ 1 file changed, 2 insertions(+) diff --git a/devel/ikos/Makefile b/devel/ikos/Makefile index b8c6b4b59283..c2416a9b0116 100644 --- a/devel/ikos/Makefile +++ b/devel/ikos/Makefile @@ -11,6 +11,8 @@ WWW= https://github.com/NASA-SW-VnV/ikos LICENSE= MIT LICENSE_FILE= ${WRKSRC}/LICENSE.pdf +BROKEN_armv7= configure fails: error when running a program linked with GMP: Segmentation fault + BUILD_DEPENDS= llvm${LLVM_VERSION}>0:devel/llvm${LLVM_VERSION} LIB_DEPENDS= libapron.so:math/apron \ libboost_system.so:devel/boost-libs \