From owner-freebsd-toolchain@freebsd.org Sun Aug 4 21:00:26 2019 Return-Path: Delivered-To: freebsd-toolchain@mailman.nyi.freebsd.org Received: from mx1.freebsd.org (mx1.freebsd.org [IPv6:2610:1c1:1:606c::19:1]) by mailman.nyi.freebsd.org (Postfix) with ESMTP id 71213B1891 for ; Sun, 4 Aug 2019 21:00:26 +0000 (UTC) (envelope-from bugzilla-noreply@FreeBSD.org) Received: from mailman.nyi.freebsd.org (mailman.nyi.freebsd.org [IPv6:2610:1c1:1:606c::50:13]) by mx1.freebsd.org (Postfix) with ESMTP id 461tZy2Mngz3NQ6 for ; Sun, 4 Aug 2019 21:00:26 +0000 (UTC) (envelope-from bugzilla-noreply@FreeBSD.org) Received: by mailman.nyi.freebsd.org (Postfix) id 5140CB1890; Sun, 4 Aug 2019 21:00:26 +0000 (UTC) Delivered-To: toolchain@mailman.nyi.freebsd.org Received: from mx1.freebsd.org (mx1.freebsd.org [IPv6:2610:1c1:1:606c::19:1]) by mailman.nyi.freebsd.org (Postfix) with ESMTP id 5109AB188E for ; Sun, 4 Aug 2019 21:00:26 +0000 (UTC) (envelope-from bugzilla-noreply@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) server-signature RSA-PSS (4096 bits) client-signature RSA-PSS (4096 bits) client-digest SHA256) (Client CN "mxrelay.nyi.freebsd.org", Issuer "Let's Encrypt Authority X3" (verified OK)) by mx1.freebsd.org (Postfix) with ESMTPS id 461tZy1Xg9z3NQ5 for ; Sun, 4 Aug 2019 21:00:26 +0000 (UTC) (envelope-from bugzilla-noreply@FreeBSD.org) Received: from kenobi.freebsd.org (kenobi.freebsd.org [IPv6:2610:1c1:1:606c::50:1d]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (Client did not present a certificate) by mxrelay.nyi.freebsd.org (Postfix) with ESMTPS id 169D792D9 for ; Sun, 4 Aug 2019 21:00:26 +0000 (UTC) (envelope-from bugzilla-noreply@FreeBSD.org) Received: from kenobi.freebsd.org ([127.0.1.5]) by kenobi.freebsd.org (8.15.2/8.15.2) with ESMTP id x74L0PDS007545 for ; Sun, 4 Aug 2019 21:00:25 GMT (envelope-from bugzilla-noreply@FreeBSD.org) Received: (from bugzilla@localhost) by kenobi.freebsd.org (8.15.2/8.15.2/Submit) id x74L0Prs007539 for toolchain@FreeBSD.org; Sun, 4 Aug 2019 21:00:25 GMT (envelope-from bugzilla-noreply@FreeBSD.org) Message-Id: <201908042100.x74L0Prs007539@kenobi.freebsd.org> X-Authentication-Warning: kenobi.freebsd.org: bugzilla set sender to bugzilla-noreply@FreeBSD.org using -f From: bugzilla-noreply@FreeBSD.org To: toolchain@FreeBSD.org Subject: Problem reports for toolchain@FreeBSD.org that need special attention Date: Sun, 4 Aug 2019 21:00:25 +0000 MIME-Version: 1.0 Content-Type: text/plain; charset="UTF-8" X-Content-Filtered-By: Mailman/MimeDel 2.1.29 X-BeenThere: freebsd-toolchain@freebsd.org X-Mailman-Version: 2.1.29 Precedence: list List-Id: Maintenance of FreeBSD's integrated toolchain List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Sun, 04 Aug 2019 21:00:26 -0000 To view an individual PR, use: https://bugs.freebsd.org/bugzilla/show_bug.cgi?id=(Bug Id). The following is a listing of current problems submitted by FreeBSD users, which need special attention. These represent problem reports covering all versions including experimental development code and obsolete releases. Status | Bug Id | Description ------------+-----------+--------------------------------------------------- Open | 234232 | clang Assertion failed when building the port dev 1 problems total for which you should take action. From owner-freebsd-toolchain@freebsd.org Mon Aug 5 21:48:10 2019 Return-Path: Delivered-To: freebsd-toolchain@mailman.nyi.freebsd.org Received: from mx1.freebsd.org (mx1.freebsd.org [IPv6:2610:1c1:1:606c::19:1]) by mailman.nyi.freebsd.org (Postfix) with ESMTP id 0D2CFAE92D for ; Mon, 5 Aug 2019 21:48:10 +0000 (UTC) (envelope-from marklmi@yahoo.com) Received: from sonic308-2.consmr.mail.bf2.yahoo.com (sonic308-2.consmr.mail.bf2.yahoo.com [74.6.130.41]) (using TLSv1.2 with cipher ECDHE-RSA-AES128-GCM-SHA256 (128/128 bits)) (Client did not present a certificate) by mx1.freebsd.org (Postfix) with ESMTPS id 462WbY0Y4Mz4HFR for ; Mon, 5 Aug 2019 21:48:08 +0000 (UTC) (envelope-from marklmi@yahoo.com) X-YMail-OSG: s0YG9MYVM1lt860vcquBDjBIk03zdVl6QctlH6kWdt_hHiQSoIvzPyE_YIzB_pG 7EYtUB2tFM.69f_F8cHxx5Q2FFLCKG1N6ik8G.qGNT0NwYWQnWELQg_S2pi4jige7l_ZFMOzB5et YMWAsEyt3Vk4aqjUyXqFTDbuvV5YDVDJ4RfaatFZg1HbboXFnTqBjweinA_TpmFK5eBbC3chuJA5 _e4MFuq8VJ9Dvpt43LGGMq7vyJmgfIYkgkB3OD7_oIWytdlWSUovsCblwFYWhj2PkHCKf51Hk5zg 2_1CranjJP_ckNh1fmIBHO0Gh_8Bzkq5MDU0uB3gZUc.I_sYTss_moKBSUFemio2RT1ev.ZUwG7L gsDA8QkdLUiWaCJFwCGyANK4sYTkoO6W7RhUK99ZfU6jhSyGcZnM54gwl3xIY94kW38W8tY0Daip rn.w1bSOl_M0QVLWRb4Cy4BBoOiD8rxOVe2WPOZV8brNOt4bAOCJVMk58RlUqB9ShMvOlVaVo8iJ S6eTsjq6_S4ieMUVQJcH1m7qTmsRq3PHE_WjlmFSys3Q3JI2b2i_7ydgykVfk27BkjIOTApy9Mi7 nR6U0SfMso19hJIzrFoECwPI1qdgLMIVEdYm26QS_8aeLdmiBqTb9H0v8R1GNA.KsC1YaFRXxN0. TxJSaGVl5Xkm8uWPxe809XiVP8Mwa3xjnOHiVRK12WMsLDXB.d9yQnmH_AYYps7TZsmWzdEbBuxr Fx0lyb2BDNdq.G.5EkpV1vBMjr4fgoZ8DZaBiwnyU8yRMbKuS7_7K5otGV3s0wUSKfRO8YewUBcl gweDN_pieq2d5q39L8ONjhw5KympliXde6EtmbNn.XxHiJrtsKsKgb4i_h_SqyCAzXC2kC89.R42 AyaoaFOdK9G6sxjx48y5IZrhchbwoLieW3OvsKUApBUr_k8apopWUq_K._41r95DD0WAl_E7_9GQ T6u4h8P1AUtaJVEjv83XuK_d7bopnhwkEYN.O8uIn1o8G44mBELhTtmwLNFzwVB9MR98SjigUzDy 3JoGG94HfufCKdX2g050aiT7pit9TXs90nhFXkVcKCyZ.mijaCQajiMPlOQayBY5MZ5pti4FH2Ne y82WVkCBUWT32UtLO8vOeHZQs1TAGlnYP_qJHU3Svb2sSc1Bv7IrzMPwBZsVS2.kjtzzKzLZaYz2 s9K0sA.g9J_s7sBVVk_yZWl9XSSeVz82kIYlgkn1KNqTtZw0RNkkZ3EceTGnhp8GC8oACPxYgvd1 zrzuhMfbrxZ43vUPlptoCww-- Received: from sonic.gate.mail.ne1.yahoo.com by sonic308.consmr.mail.bf2.yahoo.com with HTTP; Mon, 5 Aug 2019 21:48:08 +0000 Received: by smtp403.mail.bf1.yahoo.com (Oath Hermes SMTP Server) with ESMTPA ID 0b1ad72a67b0b92f0aa8b10b746044b5; Mon, 05 Aug 2019 21:48:04 +0000 (UTC) From: Mark Millard Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: quoted-printable Mime-Version: 1.0 (Mac OS X Mail 12.4 \(3445.104.11\)) Subject: amd64->armv7 cross build: devel/llvm90 build blocked by math/z3 build failure: can't create dynamic relocation R_ARM_MOVW_ABS_NC against symbol: __stack_chk_guard in readonly segment Message-Id: <9533FEC7-3B4D-4A88-BD4D-945456B603E4@yahoo.com> Date: Mon, 5 Aug 2019 14:48:02 -0700 To: freebsd-ports@freebsd.org, freebsd-toolchain@freebsd.org, "brooks@freebsd.org" X-Mailer: Apple Mail (2.3445.104.11) X-Rspamd-Queue-Id: 462WbY0Y4Mz4HFR X-Spamd-Bar: / X-Spamd-Result: default: False [0.72 / 15.00]; TO_DN_EQ_ADDR_SOME(0.00)[]; R_SPF_ALLOW(-0.20)[+ptr:yahoo.com]; FREEMAIL_FROM(0.00)[yahoo.com]; MV_CASE(0.50)[]; DKIM_TRACE(0.00)[yahoo.com:+]; DMARC_POLICY_ALLOW(-0.50)[yahoo.com,reject]; FROM_EQ_ENVFROM(0.00)[]; MIME_TRACE(0.00)[0:+]; RCVD_TLS_LAST(0.00)[]; FREEMAIL_ENVFROM(0.00)[yahoo.com]; ASN(0.00)[asn:26101, ipnet:74.6.128.0/21, country:US]; MID_RHS_MATCH_FROM(0.00)[]; DWL_DNSWL_NONE(0.00)[yahoo.com.dwl.dnswl.org : 127.0.5.0]; ARC_NA(0.00)[]; R_DKIM_ALLOW(-0.20)[yahoo.com:s=s2048]; FROM_HAS_DN(0.00)[]; RCPT_COUNT_THREE(0.00)[3]; NEURAL_SPAM_SHORT(0.97)[0.966,0]; MIME_GOOD(-0.10)[text/plain]; IP_SCORE(0.00)[ip: (4.69), ipnet: 74.6.128.0/21(1.44), asn: 26101(1.15), country: US(-0.05)]; NEURAL_SPAM_MEDIUM(0.25)[0.250,0]; IP_SCORE_FREEMAIL(0.00)[]; TO_MATCH_ENVRCPT_SOME(0.00)[]; RCVD_IN_DNSWL_NONE(0.00)[41.130.6.74.list.dnswl.org : 127.0.5.0]; RWL_MAILSPIKE_POSSIBLE(0.00)[41.130.6.74.rep.mailspike.net : 127.0.0.17]; RCVD_COUNT_TWO(0.00)[2] X-BeenThere: freebsd-toolchain@freebsd.org X-Mailman-Version: 2.1.29 Precedence: list List-Id: Maintenance of FreeBSD's integrated toolchain List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Mon, 05 Aug 2019 21:48:10 -0000 [Note: Targeting aarch64 instead did not have this problem.] [00:03:02] [02] [00:00:00] Building math/z3 | z3-4.8.5_1 . . . [00:06:31] [02] [00:03:29] Saved math/z3 | z3-4.8.5_1 wrkdir to: = /usr/local/poudriere/data/wrkdirs/FBSDFSSDjailArmV7-default/default/z3-4.8= .5_1.tar [00:06:31] [02] [00:03:29] Finished math/z3 | z3-4.8.5_1: Failed: build . . . [00:06:35] [02] [00:03:33] Skipping devel/llvm90 | llvm90-9.0.0.r1: = Dependent port math/z3 | z3-4.8.5_1 failed The specific first errors for math/z3 were: ld: error: can't create dynamic relocation R_ARM_MOVW_ABS_NC against = symbol: __stack_chk_guard in readonly segment; recompile object files = with -fPIC or pass '-Wl,-z,notext' to allow text relocations=20 in the output >>> defined in /lib/libc.so.7 >>> referenced by install_tactic.cpp:97 = (../src/api/dll/install_tactic.cpp:97) >>> = api/dll/install_tactic.o:(install_tactics(tactic_manager&)) ld: error: can't create dynamic relocation R_ARM_MOVT_ABS against = symbol: __stack_chk_guard in readonly segment; recompile object files = with -fPIC or pass '-Wl,-z,notext' to allow text relocations in the = output >>> defined in /lib/libc.so.7 >>> referenced by install_tactic.cpp:97 = (../src/api/dll/install_tactic.cpp:97) >>> = api/dll/install_tactic.o:(install_tactics(tactic_manager&)) ld: error: can't create dynamic relocation R_ARM_MOVW_ABS_NC against = symbol: .L.str in readonly segment; recompile object files with -fPIC or = pass '-Wl,-z,notext' to allow text relocations in the output >>> defined in api/dll/install_tactic.o >>> referenced by install_tactic.cpp:98 = (../src/api/dll/install_tactic.cpp:98) >>> = api/dll/install_tactic.o:(install_tactics(tactic_manager&)) Is the default: STATIC=3Don: Build static z3 library inappropriate for armv7? =3D=3D=3D Mark Millard marklmi at yahoo.com ( dsl-only.net went away in early 2018-Mar) From owner-freebsd-toolchain@freebsd.org Tue Aug 6 00:50:40 2019 Return-Path: Delivered-To: freebsd-toolchain@mailman.nyi.freebsd.org Received: from mx1.freebsd.org (mx1.freebsd.org [IPv6:2610:1c1:1:606c::19:1]) by mailman.nyi.freebsd.org (Postfix) with ESMTP id 027F3B1737 for ; Tue, 6 Aug 2019 00:50:40 +0000 (UTC) (envelope-from marklmi@yahoo.com) Received: from sonic311-25.consmr.mail.gq1.yahoo.com (sonic311-25.consmr.mail.gq1.yahoo.com [98.137.65.206]) (using TLSv1.2 with cipher ECDHE-RSA-AES128-GCM-SHA256 (128/128 bits)) (Client did not present a certificate) by mx1.freebsd.org (Postfix) with ESMTPS id 462bf66FJ1z4QyV for ; Tue, 6 Aug 2019 00:50:38 +0000 (UTC) (envelope-from marklmi@yahoo.com) X-YMail-OSG: CiHZRjQVM1k7PUxN253_Dt0yAmv6i_vCAEeek5uN5Sr5ClofqIuPmGgjXaAPJEY sUiTFUyc7xppxq.zQS4H8z.hzzJTFhhzMZtqYMn8Bp4WAVzDlN.iAPw4MZFiVpbXGRw6As0ZGx.p r6EwhPnUo9G.zLstfpJ2ljeqmMY6v0uXPSoEzkW40OJNZviR8VIMw6lH7fIOFK4irSd34idVMo1Q 9L1vYGki1APgSzglMSoBCuqtXMtpg8TdmnSE7LE1INxUmVTG7hZIr4QkZ98pe1EUhM.sBT1.6SFM Y6H00monoYYyzMGydnXN7uahMoO7rL3qoQl9pwgBS23.PGQI3cVSh0pNcT61bNzeecKzTAAl5517 W2eerHRwVzTe8Vrz14ArMFNrp89fBNRCbUBmr2u3vs5Cl9gIRgPBor0WoAO0V0Eijd50plRNw9ga cM969zXo0dnzJ9WF5gkJq28ugCyXu13c_Bpu1oNMIB4z4i5OiC9ddhCrU2OV3lshuHST7qspdmmR tTUtLAL8mbh5zvAFIoYDi54OsDraYmKoRKoaQHBSaiLWqdaPkP8A3sF6w.2o637LDwIwxBz7uLz0 rktCcgpVJfTQySOwDJkCJA5YDHMoXkBXlS_3.Z21izDS5DRx9DlKMG34.mGNqfUIzaaGzcwoIrgF VZsmN4l2dBJmtpjrX3SuDT9UOgMvt5bJk8_8CK76DA6AZY62mK2oQJKcDr0JS.xujUOKXN7_E.Fq 5yCgywm9UCRY9LZ2fFdMI2.AeCS.7SyhAIEI7F1puJF6scLsc0ChAJR1aXtr.Df2LsfhjZRMY6tM ElInVlxwVpl3LLpuu4j_YPJqjT.pE2g8Qw.qnmAhVSMbV0n7M3W8sLjVFl0weA1UBQ.bwbQLSbsY x1ubDwwwH21yD5oa9FWr0wD87lP9K9Q.K6Xet6sX6h5NNe8xia7GijznnyZ0_rny_4tsI8Nupw4X nX.QkRIxIBef84k60t0YwI342XGkX1ZEFf4ZVkUk2gDabSE78MbMKmv_4Q27KxZMezFUXHRHITPX .IdhVZZo2e6IvrNPj1YOVvpWYReSwknDg0re8Ie57b_r0cHLcVZJnYKCT_cuaIdIFUGucHizpzlj ncEeFmLlxvCMTfgCtzOLAFzLITRNdCUE2HifMV3CI48iC8.UP48PBzhWt043asyt3qEM3ooNb.ZP YJcS6VIAim612Abc.b46OihrQeGMz6UCknFcwV0h0Wapfj.nf4zGU73n9Eu.QY4wjrMLSKVMNAze GNnSL8fhUX0UZkkP.aB0OH93N Received: from sonic.gate.mail.ne1.yahoo.com by sonic311.consmr.mail.gq1.yahoo.com with HTTP; Tue, 6 Aug 2019 00:50:36 +0000 Received: by smtp404.mail.gq1.yahoo.com (Oath Hermes SMTP Server) with ESMTPA ID 2d7e2329ceb523c11ed763f751381d85; Tue, 06 Aug 2019 00:50:36 +0000 (UTC) From: Mark Millard Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: quoted-printable Mime-Version: 1.0 (Mac OS X Mail 12.4 \(3445.104.11\)) Subject: Re: amd64->armv7 cross build: devel/llvm90 build blocked by math/z3 build failure: can't create dynamic relocation R_ARM_MOVW_ABS_NC against symbol: __stack_chk_guard in readonly segment Date: Mon, 5 Aug 2019 17:50:35 -0700 References: <9533FEC7-3B4D-4A88-BD4D-945456B603E4@yahoo.com> To: freebsd-ports@freebsd.org, freebsd-toolchain@freebsd.org, "brooks@freebsd.org" , Ed Maste In-Reply-To: <9533FEC7-3B4D-4A88-BD4D-945456B603E4@yahoo.com> Message-Id: X-Mailer: Apple Mail (2.3445.104.11) X-Rspamd-Queue-Id: 462bf66FJ1z4QyV X-Spamd-Bar: -- X-Spamd-Result: default: False [-2.17 / 15.00]; TO_DN_EQ_ADDR_SOME(0.00)[]; TO_DN_SOME(0.00)[]; R_SPF_ALLOW(-0.20)[+ptr:yahoo.com]; FREEMAIL_FROM(0.00)[yahoo.com]; MV_CASE(0.50)[]; DKIM_TRACE(0.00)[yahoo.com:+]; DMARC_POLICY_ALLOW(-0.50)[yahoo.com,reject]; NEURAL_HAM_SHORT(-0.70)[-0.702,0]; FROM_EQ_ENVFROM(0.00)[]; RCVD_TLS_LAST(0.00)[]; MIME_TRACE(0.00)[0:+]; FREEMAIL_ENVFROM(0.00)[yahoo.com]; ASN(0.00)[asn:36647, ipnet:98.137.64.0/21, country:US]; MID_RHS_MATCH_FROM(0.00)[]; DWL_DNSWL_NONE(0.00)[yahoo.com.dwl.dnswl.org : 127.0.5.0]; ARC_NA(0.00)[]; NEURAL_HAM_MEDIUM(-0.97)[-0.969,0]; R_DKIM_ALLOW(-0.20)[yahoo.com:s=s2048]; FROM_HAS_DN(0.00)[]; RCPT_COUNT_THREE(0.00)[4]; MIME_GOOD(-0.10)[text/plain]; IP_SCORE(0.00)[ip: (-0.21), ipnet: 98.137.64.0/21(0.91), asn: 36647(0.72), country: US(-0.05)]; IP_SCORE_FREEMAIL(0.00)[]; TO_MATCH_ENVRCPT_SOME(0.00)[]; RCVD_IN_DNSWL_NONE(0.00)[206.65.137.98.list.dnswl.org : 127.0.5.0]; RCVD_COUNT_TWO(0.00)[2] X-BeenThere: freebsd-toolchain@freebsd.org X-Mailman-Version: 2.1.29 Precedence: list List-Id: Maintenance of FreeBSD's integrated toolchain List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Tue, 06 Aug 2019 00:50:40 -0000 On 2019-Aug-5, at 14:48, Mark Millard wrote: [Note: Targeting aarch64 instead did not have this problem.] >=20 > [00:03:02] [02] [00:00:00] Building math/z3 | z3-4.8.5_1 > . . . > [00:06:31] [02] [00:03:29] Saved math/z3 | z3-4.8.5_1 wrkdir to: = /usr/local/poudriere/data/wrkdirs/FBSDFSSDjailArmV7-default/default/z3-4.8= .5_1.tar > [00:06:31] [02] [00:03:29] Finished math/z3 | z3-4.8.5_1: Failed: = build > . . . > [00:06:35] [02] [00:03:33] Skipping devel/llvm90 | llvm90-9.0.0.r1: = Dependent port math/z3 | z3-4.8.5_1 failed >=20 > The specific first errors for math/z3 were: >=20 > ld: error: can't create dynamic relocation R_ARM_MOVW_ABS_NC against = symbol: __stack_chk_guard in readonly segment; recompile object files = with -fPIC or pass '-Wl,-z,notext' to allow text relocations=20 > in the output >>>> defined in /lib/libc.so.7 >>>> referenced by install_tactic.cpp:97 = (../src/api/dll/install_tactic.cpp:97) >>>> = api/dll/install_tactic.o:(install_tactics(tactic_manager&)) >=20 > ld: error: can't create dynamic relocation R_ARM_MOVT_ABS against = symbol: __stack_chk_guard in readonly segment; recompile object files = with -fPIC or pass '-Wl,-z,notext' to allow text relocations in the = output >>>> defined in /lib/libc.so.7 >>>> referenced by install_tactic.cpp:97 = (../src/api/dll/install_tactic.cpp:97) >>>> = api/dll/install_tactic.o:(install_tactics(tactic_manager&)) >=20 > ld: error: can't create dynamic relocation R_ARM_MOVW_ABS_NC against = symbol: .L.str in readonly segment; recompile object files with -fPIC or = pass '-Wl,-z,notext' to allow text relocations in the output >>>> defined in api/dll/install_tactic.o >>>> referenced by install_tactic.cpp:98 = (../src/api/dll/install_tactic.cpp:98) >>>> = api/dll/install_tactic.o:(install_tactics(tactic_manager&)) >=20 >=20 > Is the default: >=20 > STATIC=3Don: Build static z3 library >=20 > inappropriate for armv7? >=20 Even with: . . . -Wl,-znotext -Wl,-soname,libz3.so.0 via: # svnlite diff /usr/ports/math/z3 Index: /usr/ports/math/z3/Makefile =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D --- /usr/ports/math/z3/Makefile (revision 508197) +++ /usr/ports/math/z3/Makefile (working copy) @@ -36,6 +36,7 @@ GMP_LIB_DEPENDS=3D libgmp.so:math/gmp =20 LDFLAGS_i386=3D -Wl,-znotext +LDFLAGS_armv7=3D -Wl,-znotext BUILD_WRKSRC=3D ${WRKSRC}/build INSTALL_WRKSRC=3D ${WRKSRC}/build =20 I get some of the errors: ld: error: relocation R_ARM_MOVW_ABS_NC cannot be used against symbol = __stack_chk_guard; recompile with -fPIC >>> defined in /lib/libc.so.7 >>> referenced by install_tactic.cpp:97 = (../src/api/dll/install_tactic.cpp:97) >>> = api/dll/install_tactic.o:(install_tactics(tactic_manager&)) . . . ld: error: relocation R_ARM_MOVT_ABS cannot be used against symbol = __stack_chk_guard; recompile with -fPIC >>> defined in /lib/libc.so.7 >>> referenced by gparams_register_modules.cpp:93 = (../src/api/dll/gparams_register_modules.cpp:93) >>> = api/dll/gparams_register_modules.o:(gparams_register_modules()) ld: error: relocation R_ARM_MOVW_ABS_NC cannot be used against symbol = g_z3_log_enabled; recompile with -fPIC >>> defined in api/api_log.o >>> referenced by api_log_macros.h:11 (../src/api/api_log_macros.h:11) >>> api/api_algebraic.o:(Z3_algebraic_is_value) . . . Currently building llvm90 on/for armv7 is blocked by needing to build math/z3 first. (For FreeBSD to switch from clang 8 to clang 9 as the system compiler might require adding z3 to FreeBSD?) =3D=3D=3D Mark Millard marklmi at yahoo.com ( dsl-only.net went away in early 2018-Mar) From owner-freebsd-toolchain@freebsd.org Tue Aug 6 01:42:40 2019 Return-Path: Delivered-To: freebsd-toolchain@mailman.nyi.freebsd.org Received: from mx1.freebsd.org (mx1.freebsd.org [IPv6:2610:1c1:1:606c::19:1]) by mailman.nyi.freebsd.org (Postfix) with ESMTP id 4F92BB2870 for ; Tue, 6 Aug 2019 01:42:40 +0000 (UTC) (envelope-from marklmi@yahoo.com) Received: from sonic301-30.consmr.mail.ne1.yahoo.com (sonic301-30.consmr.mail.ne1.yahoo.com [66.163.184.199]) (using TLSv1.2 with cipher ECDHE-RSA-AES128-GCM-SHA256 (128/128 bits)) (Client did not present a certificate) by mx1.freebsd.org (Postfix) with ESMTPS id 462cp70ysyz4T5c for ; Tue, 6 Aug 2019 01:42:38 +0000 (UTC) (envelope-from marklmi@yahoo.com) X-YMail-OSG: XtvolwcVM1mosBl1tc6fZzdppkYmY20yMF56dRjCFzirKDsID8fj_1bwhDzzzvr Ql9mZqcqsRdZYj2LzyvKG9mZb8PcZNGHpcO7IMywvHODbtojOFKpvayossYweZY2N7PjD8m_5aJD 9bxyhK56_S8dTLrEkJoUGKE90CI4oN5qT_.TMRHkGBd2FTDnIrby5Yn_UtAU3ybDCO8dljIljrmV UVWHY6WlFSq74SiNnXGClIBBxJpD2ylAEPI2gnF.I5v3pFp6GsE9TMuRDOETSMzlS8lqZrCKA1hQ j4bGix3qNZOJVhhfQ70d5wGLjLCzzNMgTEdNvACkZpIcmR9PIDpuaLQy69WrUZPr8inisE96p0RF l.uwQcpi6yD4DQHbF6QIShgRUBSVm5QpN9pzBWjxBGm7atKEMT8rXVll0eRLXIc_zSn_Ttgm4_iP ewVdJh51xrGg.3CRcY1e.fbM6e6mAbcDQs.QUAeIWwqge3kwn1t8_j.WGebwsWtY3YrkL0g.z6KV VPoaB268sBKfGmq9TnTuapAQEld7cYu2DFy07QPYiyHYXNB_RsbJf0DLTX0UjgRH.xGqcadP2x1s .hI.4kyT2njKcpAnYRGJw97IM3MXCXe5KoIT0rUdNcQQQ.sYpCYiKH9qANoT..TPVDruRDHSbHCV HuCO0p_zLJ2yCQ10JFHHKRbKAVigFIqAHvJaOu_9Srhi_HUFotMPCb9fWPxqTm.0j8zc1Er05GGq HycBac8x25NI0MRseDIJf_y3CmLO9ZEpzVWV.qiwhWn94QHESwS_k8qw3m7id39aDv_3sVZhx0fs r8wwVcJp9fmgxh5_P0IAgBL.EUp5KRbnYfJFWj6f9vixGekWE0i5y_pHg_0d20ABENDuM5UAOVxI .0KskAcLUitwVKBTcoQPR1vKMKGKNbouE6O46rmvSdrPy3JcvAUxQ__4MCv3kBDlflHZPNcxXFAW AEShyz9.UpG7IREZZdKpVl4m2cmUI6dM5WG.YOZHPfblgu3xXn8HH6O4yJzktpdZD6VhVMj6jTeN n7cDk1t6pi8qDkO9aALgBumOGqvWG6ndvus_XubT1uOjSvMvDLAPdDN2kyzgdfzwjZEBnq5d1fS2 RWeimNlzgpCDODlzG8tEn5uBRq7nCKkVHenZV.kHFGoUm5o7drIvccpTo7u6neq7aqRggrZrXNCa AlMo6QGi02K_IYgWh9zvz_iH72qXI4tGn7CPZhmpPV8tLcm4CvM99gdM7AHv0AdENWS8BPDka4Iv SfZ.2SmQJyzPW3a6ZOg-- Received: from sonic.gate.mail.ne1.yahoo.com by sonic301.consmr.mail.ne1.yahoo.com with HTTP; Tue, 6 Aug 2019 01:42:36 +0000 Received: by smtp429.mail.ne1.yahoo.com (Oath Hermes SMTP Server) with ESMTPA ID f656b26babbf0648172e7736ef43ac36; Tue, 06 Aug 2019 01:42:35 +0000 (UTC) From: Mark Millard Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: quoted-printable Mime-Version: 1.0 (Mac OS X Mail 12.4 \(3445.104.11\)) Subject: devel/llvm90 based buildworld: lots of notices of "OMP: Info #270: omp_set_nested routine deprecated, please use omp_set_max_active_levels instead" Message-Id: <4668E5AA-95C2-4DA5-8D8C-B3C9FD027BB8@yahoo.com> Date: Mon, 5 Aug 2019 18:42:33 -0700 To: freebsd-ports@freebsd.org, freebsd-toolchain@freebsd.org, "brooks@freebsd.org" X-Mailer: Apple Mail (2.3445.104.11) X-Rspamd-Queue-Id: 462cp70ysyz4T5c X-Spamd-Bar: / X-Spamd-Result: default: False [-0.09 / 15.00]; ARC_NA(0.00)[]; TO_DN_EQ_ADDR_SOME(0.00)[]; R_DKIM_ALLOW(-0.20)[yahoo.com:s=s2048]; NEURAL_HAM_MEDIUM(-0.32)[-0.318,0]; FROM_HAS_DN(0.00)[]; RCPT_COUNT_THREE(0.00)[3]; R_SPF_ALLOW(-0.20)[+ptr:yahoo.com]; FREEMAIL_FROM(0.00)[yahoo.com]; MIME_GOOD(-0.10)[text/plain]; MV_CASE(0.50)[]; RCVD_COUNT_TWO(0.00)[2]; NEURAL_SPAM_SHORT(0.73)[0.728,0]; IP_SCORE_FREEMAIL(0.00)[]; TO_MATCH_ENVRCPT_SOME(0.00)[]; DKIM_TRACE(0.00)[yahoo.com:+]; DMARC_POLICY_ALLOW(-0.50)[yahoo.com,reject]; RCVD_IN_DNSWL_NONE(0.00)[199.184.163.66.list.dnswl.org : 127.0.5.0]; RCVD_TLS_LAST(0.00)[]; FROM_EQ_ENVFROM(0.00)[]; MIME_TRACE(0.00)[0:+]; FREEMAIL_ENVFROM(0.00)[yahoo.com]; ASN(0.00)[asn:36646, ipnet:66.163.184.0/21, country:US]; MID_RHS_MATCH_FROM(0.00)[]; IP_SCORE(0.00)[ip: (2.74), ipnet: 66.163.184.0/21(1.27), asn: 36646(1.02), country: US(-0.05)]; DWL_DNSWL_NONE(0.00)[yahoo.com.dwl.dnswl.org : 127.0.5.0] X-BeenThere: freebsd-toolchain@freebsd.org X-Mailman-Version: 2.1.29 Precedence: list List-Id: Maintenance of FreeBSD's integrated toolchain List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Tue, 06 Aug 2019 01:42:40 -0000 After building devel/llvm90 on amd64 I started a buildworld buildkernel based on it (amd64 self-hosted). It is producing thousands of notices: OMP: Info #270: omp_set_nested routine deprecated, please use = omp_set_max_active_levels instead. It is still building but at this point: # grep 'OMP: Info #' = /root/sys_typescripts/typescript_make_powerpc64vtsc_nodebug_incl_clang_xto= olchain-llvm-amd64-host-2019-08-05:18:34:34 | wc 26534 265334 2600253 =3D=3D=3D Mark Millard marklmi at yahoo.com ( dsl-only.net went away in early 2018-Mar) From owner-freebsd-toolchain@freebsd.org Tue Aug 6 02:14:20 2019 Return-Path: Delivered-To: freebsd-toolchain@mailman.nyi.freebsd.org Received: from mx1.freebsd.org (mx1.freebsd.org [IPv6:2610:1c1:1:606c::19:1]) by mailman.nyi.freebsd.org (Postfix) with ESMTP id 36D64B3119 for ; Tue, 6 Aug 2019 02:14:20 +0000 (UTC) (envelope-from marklmi@yahoo.com) Received: from sonic301-30.consmr.mail.ne1.yahoo.com (sonic301-30.consmr.mail.ne1.yahoo.com [66.163.184.199]) (using TLSv1.2 with cipher ECDHE-RSA-AES128-GCM-SHA256 (128/128 bits)) (Client did not present a certificate) by mx1.freebsd.org (Postfix) with ESMTPS id 462dVg1wW2z4VKj for ; Tue, 6 Aug 2019 02:14:18 +0000 (UTC) (envelope-from marklmi@yahoo.com) X-YMail-OSG: 1swoy1UVM1mZLYWfYEqj8klduO.AhlJdBfArofecG2DfJOV926rEGt4wXL1PqGk LflFsZjJCBqJHcdNh4G.EeFqEFCdKmYLAW34eSoM5FlOpe5zPpJzyqnghoOY676Ez9EAbd6QTpqm RHJi8isLyt6uIg19mP96vuZ0pWJyF.F4XrBVeXchC1kyumMuRyQWdIy6ztKaVfXDdAKJ12hDfbl6 ustbn34mndlJQwd3OsaeIVBpFWedHgK6._sjY0KO3xhUvjr51GFXg1Jvoc3RkXzzCmBX8xwgm4CN _GGciVgK1Yzr3WANGGVq7lOf.85AIidg3D4Md5_.PgBAzYeglYR6hyMxEuGpVU9_tIvaBkqphrBb c5zcRqzJiDk6sZjpW7uLfgAYw3VI858Tamc1prSuTVIQROo9MjWHN_AB9NABCRRwKFmsjWX.212A uMBsgpO1HxmkPgNi0kWp0PPaBxYfu.UedgRmHPFVq1WIC.s1Z5Re3T2VPeRu619VMLorgoWq3nhr wRd8UB4FtoiHimR3fBehATDDvuRu.NF3P9pV_OhvvmRhOIokO1B2dosL8aPusDxv2p7kPIcFjAzX mEgkVtQpUIMla_Q7W.94ZIlraqF1B.5ra2Ze5zZiSSMHlrdXhYsd7cET1RhVrgSIRid_R5Fn5wPk 7cmvaeqFxlPOBG1KqvOIQJSFinOQmdC_8gXHzq1ngFPGch8uYG.hsAz1Gx8vYtc5RLSd4_dI2DW4 V7gTCsqDmynjx4ptyhWicw7GkrK3SOJqA00eOhLfM1TH3REqsXTWSfolBjddZX88R6HZI2xLYXNR 1v3gpSn8JLhvfIL_19TmY2BOA6BeFJpYZ7JjkJ4OTVGT1HlnxhLL0WHcS3hRgiKpL_wuf_rCCDN2 DLygCqsYvZVcrDiVjJb1SBG31a2e.RUUjf3nClv89SyUS9OnHIM_pAWuMenJizenwCBwqu6OKjFx PRH1vSo3nr9O1f_K1eY2uds8TyREGqG1hEAzkcNyuymCfM6SfpmZ3eer19PG5qQDEv.lVnkBWuqq gqfymSydqnkrxLKMgeFZ0DcaA5MT1LdIGwHO2eZRS_KU7OEq81m15WQoW1vsFcddBwG3n2GXODda nVG7JiH3OhFKmPgmbY3lXoV9hpTa0LbfbHFaWRsYwgSExxDAZwB.LLnXwVR4OnsbpR7OSC5zJb9z a3i7E6EEbC7hfhFPmtMXtCFKs1wErI9TKvDKzFbWSYzY3RaeytpwMCuMf03VLq67CdK205ZFA3fw ApjHoS0i6hxA1h6Tndgq1GJgven1DxYT4 Received: from sonic.gate.mail.ne1.yahoo.com by sonic301.consmr.mail.ne1.yahoo.com with HTTP; Tue, 6 Aug 2019 02:14:16 +0000 Received: by smtp429.mail.ne1.yahoo.com (Oath Hermes SMTP Server) with ESMTPA ID 0faa33b929297d8364623455110491f5; Tue, 06 Aug 2019 02:14:11 +0000 (UTC) From: Mark Millard Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: quoted-printable Mime-Version: 1.0 (Mac OS X Mail 12.4 \(3445.104.11\)) Subject: Attempted buildworlds via devel/llvm90 failed for: undefined symbol: bcmp / undefined reference to `bcmp' Message-Id: <0A1680BB-9958-4F60-A1AB-2ECB46D9936B@yahoo.com> Date: Mon, 5 Aug 2019 19:14:09 -0700 To: freebsd-ports@freebsd.org, freebsd-toolchain@freebsd.org, freebsd-ppc@freebsd.org X-Mailer: Apple Mail (2.3445.104.11) X-Rspamd-Queue-Id: 462dVg1wW2z4VKj X-Spamd-Bar: / X-Spamd-Result: default: False [-0.14 / 15.00]; ARC_NA(0.00)[]; NEURAL_HAM_MEDIUM(-0.34)[-0.342,0]; R_DKIM_ALLOW(-0.20)[yahoo.com:s=s2048]; FROM_HAS_DN(0.00)[]; RCPT_COUNT_THREE(0.00)[3]; R_SPF_ALLOW(-0.20)[+ptr:yahoo.com]; FREEMAIL_FROM(0.00)[yahoo.com]; MIME_GOOD(-0.10)[text/plain]; TO_DN_NONE(0.00)[]; RCVD_COUNT_TWO(0.00)[2]; MV_CASE(0.50)[]; IP_SCORE_FREEMAIL(0.00)[]; TO_MATCH_ENVRCPT_SOME(0.00)[]; NEURAL_SPAM_SHORT(0.71)[0.706,0]; DKIM_TRACE(0.00)[yahoo.com:+]; DMARC_POLICY_ALLOW(-0.50)[yahoo.com,reject]; RCVD_IN_DNSWL_NONE(0.00)[199.184.163.66.list.dnswl.org : 127.0.5.0]; RCVD_TLS_LAST(0.00)[]; FROM_EQ_ENVFROM(0.00)[]; MIME_TRACE(0.00)[0:+]; FREEMAIL_ENVFROM(0.00)[yahoo.com]; ASN(0.00)[asn:36646, ipnet:66.163.184.0/21, country:US]; MID_RHS_MATCH_FROM(0.00)[]; IP_SCORE(0.00)[ip: (2.55), ipnet: 66.163.184.0/21(1.27), asn: 36646(1.02), country: US(-0.05)]; DWL_DNSWL_NONE(0.00)[yahoo.com.dwl.dnswl.org : 127.0.5.0] X-BeenThere: freebsd-toolchain@freebsd.org X-Mailman-Version: 2.1.29 Precedence: list List-Id: Maintenance of FreeBSD's integrated toolchain List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Tue, 06 Aug 2019 02:14:20 -0000 amd64 (self hosted): --- all_subdir_libexec --- ld: error: undefined symbol: bcmp >>> referenced by strstr.c:121 (/usr/src/lib/libc/string/strstr.c:121) >>> strstr.nossppico:(strstr) in archive = /usr/obj/amd64_xtoolchain-llvm/amd64.amd64/usr/src/amd64.amd64/libexec/rtl= d-elf/rtld_libc.a clang-9: error: linker command failed with exit code 1 (use -v to see = invocation) amd64->powerpc64 cross build: --- all_subdir_libexec --- /usr/local/powerpc64-unknown-freebsd13.0/bin/ld: = /usr/obj/powerpc64vtsc_xtoolchain-llvm/powerpc.powerpc64/usr/src/powerpc.p= owerpc64/libexec/rtld-elf/rtld_libc.a(strstr.nossppico): in function = `twoway_strstr': /usr/src/lib/libc/string/strstr.c:121: undefined reference to `bcmp' =3D=3D=3D Mark Millard marklmi at yahoo.com ( dsl-only.net went away in early 2018-Mar) From owner-freebsd-toolchain@freebsd.org Tue Aug 6 03:45:40 2019 Return-Path: Delivered-To: freebsd-toolchain@mailman.nyi.freebsd.org Received: from mx1.freebsd.org (mx1.freebsd.org [IPv6:2610:1c1:1:606c::19:1]) by mailman.nyi.freebsd.org (Postfix) with ESMTP id 49987B501C for ; Tue, 6 Aug 2019 03:45:40 +0000 (UTC) (envelope-from marklmi@yahoo.com) Received: from sonic310-25.consmr.mail.ne1.yahoo.com (sonic310-25.consmr.mail.ne1.yahoo.com [66.163.186.206]) (using TLSv1.2 with cipher ECDHE-RSA-AES128-GCM-SHA256 (128/128 bits)) (Client did not present a certificate) by mx1.freebsd.org (Postfix) with ESMTPS id 462gX24RTsz4Yt0 for ; Tue, 6 Aug 2019 03:45:38 +0000 (UTC) (envelope-from marklmi@yahoo.com) X-YMail-OSG: muY8YNMVM1luYD3ii1A73DAoC.UzR1scikSMzkdY.q9SHfFEOydmDNYTXwIhnWu WVXP8fyW_kL0D.5WQ7QIWphrKxd2xU2rLlM_jIU.Hv.UVQolDUfML7TBi32y_6pzf5TZT45VdwzZ c6ChePd_nGGTl55sv0SmqSuUGEML9mKk0ESlvDAXX_76idvziQG8GwgqFFnQ_kdKTgpuNIJue1na YI3sY8__jSFB1wyjk9UjL0OdzNH5f3Gz18HGle.zhBq5dD9.X2vMNdtylqL_yHMLdehPDp4bgYFc s2MxzBK0RGjxmkchuIZuX2S.iUk1m2PVODeerMd7f2HIXQg0JPDbNieKCujAbvQhpBIB0CgaxPBU 446DWYtrmNH.xjfOiCcWG.YAVuc.sdnzJY_mC_oT0Ajyde19ifIqlsVNQN0LjiuuY676tN1v0UJ4 mbln_9BUDp7LIKsdwvwErZ94byMnWABL1KIRsWyzujUnIILszsG88qFEqW6yJgUpJzH.M3YbcOtv m06PZ.4gMJZEQi_G64Ro6ib8p62mUdRSIF9SfnWF5cGzv_AkU6e7RoUF4wYm8pumTj7AscRtftyw jvkBkFAqTbe8pxjKPlNQCJE3Ov1.z5pxpIJ6lbs.9K6jdeaurjc8gpMIa_xfjAjUQqV4ZPoNmM9w YW.EJmlR1DNqG7gFa7jcEEeNGnydwC78dQL2yPR20H5MGVDT9zGoPcwnHJR9Jte0M1Pz3PulTYvR QtIwdTSkgF14ysnk_LoRkNmKPwfSX0SWklEGTNEFedpTXli_kd0JHIMx2YeVnC2TR623JMdArUao dMI_tsSRglhr2IqEunkMDFvNatIEk_bW7TWa0nrrMXTexOe1Il7d_MKu2wNTqESOygEXzAey_ktF xV_pq6XPEHUYDZ8o23HaE5ohSX3PmEWL_6y1CXYZCNWb7.nx5kzRp2MEJtLAdibnuGr7O6ti71Z1 .RQfIZXjKYlKvvm3rSavIjqtpPZPlRB9gG39zZl8WmQHIFwGLAJs2jYEFVvEb32wrlEpQWtk.UTm p_1CLJDtB76qtX_L0McD9XupM9hO0Cp3WGT.MrNZ_s8UrAOsILeiQEDoPBcWNfLnl9ncHAytarzW NAKTz93mEvwCFaxGcBj3wu_yzIC__mpqGTpY3Wf6YYyfSIuLVB6aeybE.AwkRRLGc6wUohZJ179u uYvx2GoOQNapU4kpSxcJN71xS1T6lXJHyYvUIbyYq6gE1Lg2ABaLwl9pUFz6Jc3GY1E_nhLuD8JG Tjdnpy32LQAq_FFtTHdwND_lYGUNeaX0gqS0- Received: from sonic.gate.mail.ne1.yahoo.com by sonic310.consmr.mail.ne1.yahoo.com with HTTP; Tue, 6 Aug 2019 03:45:35 +0000 Received: by smtp411.mail.ne1.yahoo.com (Oath Hermes SMTP Server) with ESMTPA ID 8b0fa6912a3a997521a129472d9b6702; Tue, 06 Aug 2019 03:45:33 +0000 (UTC) From: Mark Millard Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit Mime-Version: 1.0 (Mac OS X Mail 12.4 \(3445.104.11\)) Subject: devel/llvm90 requires math/z3 first; building math/z3 requires a c++ toolchain be in place Message-Id: <8DB3EAA4-2B88-4180-8386-673524D27C64@yahoo.com> Date: Mon, 5 Aug 2019 20:45:31 -0700 Cc: freebsd-ppc@freebsd.org To: freebsd-toolchain@freebsd.org, freebsd-ports@freebsd.org X-Mailer: Apple Mail (2.3445.104.11) X-Rspamd-Queue-Id: 462gX24RTsz4Yt0 X-Spamd-Bar: / X-Spamd-Result: default: False [-0.24 / 15.00]; ARC_NA(0.00)[]; NEURAL_HAM_MEDIUM(-0.16)[-0.157,0]; R_DKIM_ALLOW(-0.20)[yahoo.com:s=s2048]; FROM_HAS_DN(0.00)[]; RCPT_COUNT_THREE(0.00)[3]; R_SPF_ALLOW(-0.20)[+ptr:yahoo.com]; FREEMAIL_FROM(0.00)[yahoo.com]; MIME_GOOD(-0.10)[text/plain]; TO_DN_NONE(0.00)[]; IP_SCORE_FREEMAIL(0.00)[]; MV_CASE(0.50)[]; DWL_DNSWL_NONE(0.00)[yahoo.com.dwl.dnswl.org : 127.0.5.0]; TO_MATCH_ENVRCPT_SOME(0.00)[]; NEURAL_SPAM_SHORT(0.42)[0.422,0]; DKIM_TRACE(0.00)[yahoo.com:+]; DMARC_POLICY_ALLOW(-0.50)[yahoo.com,reject]; RCVD_IN_DNSWL_NONE(0.00)[206.186.163.66.list.dnswl.org : 127.0.5.0]; RCVD_TLS_LAST(0.00)[]; FROM_EQ_ENVFROM(0.00)[]; MIME_TRACE(0.00)[0:+]; FREEMAIL_ENVFROM(0.00)[yahoo.com]; ASN(0.00)[asn:36646, ipnet:66.163.184.0/21, country:US]; MID_RHS_MATCH_FROM(0.00)[]; IP_SCORE(0.00)[ip: (3.23), ipnet: 66.163.184.0/21(1.27), asn: 36646(1.02), country: US(-0.05)]; RCVD_COUNT_TWO(0.00)[2] X-BeenThere: freebsd-toolchain@freebsd.org X-Mailman-Version: 2.1.29 Precedence: list List-Id: Maintenance of FreeBSD's integrated toolchain List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Tue, 06 Aug 2019 03:45:40 -0000 Building math/z3 involves: # grep compiler /usr/ports/math/z3/Makefile USES= compiler:c++11-lang python:2.7,build But devel/llvm90 requires math/z3 to have been built before devel/llvm90 is built: # pkg info -d llvm90 llvm90-9.0.0.r1: libxml2-2.9.9 z3-4.8.5_1 python36-3.6.9 perl5-5.28.2 libedit-3.1.20190324,1 # pkg info -B llvm90 llvm90-9.0.0.r1: libpython3.6m.so.1.0 libedit.so.0 libz3.so.0 libxml2.so.2 Hopefully this cycle can be avoided for system clang to eventually have progressed to clang 9. (I do not know the details.) For architectures still at gcc/g++ 4.2.1, some alternate c++ tool chain needs to be used to build libz3.so but the result needs to be compatible with llvm90 later using the libz3.so's content. (I do not know the details.) === Mark Millard marklmi at yahoo.com ( dsl-only.net went away in early 2018-Mar) From owner-freebsd-toolchain@freebsd.org Tue Aug 6 16:55:32 2019 Return-Path: Delivered-To: freebsd-toolchain@mailman.nyi.freebsd.org Received: from mx1.freebsd.org (mx1.freebsd.org [IPv6:2610:1c1:1:606c::19:1]) by mailman.nyi.freebsd.org (Postfix) with ESMTP id 89DA1C56F5; Tue, 6 Aug 2019 16:55:32 +0000 (UTC) (envelope-from brooks@spindle.one-eyed-alien.net) Received: from spindle.one-eyed-alien.net (spindle.one-eyed-alien.net [199.48.129.229]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (Client did not present a certificate) by mx1.freebsd.org (Postfix) with ESMTPS id 46313R5LTHz4CZX; Tue, 6 Aug 2019 16:55:31 +0000 (UTC) (envelope-from brooks@spindle.one-eyed-alien.net) Received: by spindle.one-eyed-alien.net (Postfix, from userid 3001) id A63D53C0199; Tue, 6 Aug 2019 16:55:25 +0000 (UTC) Date: Tue, 6 Aug 2019 16:55:25 +0000 From: Brooks Davis To: Mark Millard Cc: freebsd-toolchain@freebsd.org, freebsd-ports@freebsd.org, freebsd-ppc@freebsd.org Subject: Re: devel/llvm90 requires math/z3 first; building math/z3 requires a c++ toolchain be in place Message-ID: <20190806165525.GC94703@spindle.one-eyed-alien.net> References: <8DB3EAA4-2B88-4180-8386-673524D27C64@yahoo.com> MIME-Version: 1.0 Content-Type: multipart/signed; micalg=pgp-sha1; protocol="application/pgp-signature"; boundary="PuGuTyElPB9bOcsM" Content-Disposition: inline In-Reply-To: <8DB3EAA4-2B88-4180-8386-673524D27C64@yahoo.com> User-Agent: Mutt/1.9.4 (2018-02-28) X-Rspamd-Queue-Id: 46313R5LTHz4CZX X-Spamd-Bar: ------- Authentication-Results: mx1.freebsd.org; dkim=none; dmarc=none; spf=none (mx1.freebsd.org: domain of brooks@spindle.one-eyed-alien.net has no SPF policy when checking 199.48.129.229) smtp.mailfrom=brooks@spindle.one-eyed-alien.net X-Spamd-Result: default: False [-7.42 / 15.00]; ARC_NA(0.00)[]; FREEMAIL_TO(0.00)[yahoo.com]; NEURAL_HAM_MEDIUM(-1.00)[-1.000,0]; FROM_HAS_DN(0.00)[]; RCPT_COUNT_THREE(0.00)[4]; TO_DN_SOME(0.00)[]; NEURAL_HAM_LONG(-1.00)[-1.000,0]; MIME_GOOD(-0.20)[multipart/signed,text/plain]; DMARC_NA(0.00)[freebsd.org]; AUTH_NA(1.00)[]; TO_MATCH_ENVRCPT_SOME(0.00)[]; NEURAL_HAM_SHORT(-0.97)[-0.969,0]; R_SPF_NA(0.00)[]; SIGNED_PGP(-2.00)[]; FORGED_SENDER(0.30)[brooks@freebsd.org,brooks@spindle.one-eyed-alien.net]; RCVD_COUNT_ZERO(0.00)[0]; R_DKIM_NA(0.00)[]; MIME_TRACE(0.00)[0:+,1:+,2:~]; ASN(0.00)[asn:36236, ipnet:199.48.128.0/22, country:US]; FROM_NEQ_ENVFROM(0.00)[brooks@freebsd.org,brooks@spindle.one-eyed-alien.net]; IP_SCORE(-3.56)[ip: (-9.25), ipnet: 199.48.128.0/22(-4.61), asn: 36236(-3.87), country: US(-0.05)] X-BeenThere: freebsd-toolchain@freebsd.org X-Mailman-Version: 2.1.29 Precedence: list List-Id: Maintenance of FreeBSD's integrated toolchain List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Tue, 06 Aug 2019 16:55:32 -0000 --PuGuTyElPB9bOcsM Content-Type: text/plain; charset=us-ascii Content-Disposition: inline Content-Transfer-Encoding: quoted-printable I'd prefer to disable this dependency. There's a knob that worked in the 8.0 timeframe, but the lit build now autodetects z3 when it is present and I've failed to find a knob to disable it. For now, the easy workaround is probably to disable options LIT. We could make that the default on non-LLVM platforms is that makes sense. -- Brooks On Mon, Aug 05, 2019 at 08:45:31PM -0700, Mark Millard via freebsd-toolchai= n wrote: > Building math/z3 involves: >=20 > # grep compiler /usr/ports/math/z3/Makefile > USES=3D compiler:c++11-lang python:2.7,build >=20 > But devel/llvm90 requires math/z3 to have been built before > devel/llvm90 is built: >=20 > # pkg info -d llvm90 > llvm90-9.0.0.r1: > libxml2-2.9.9 > z3-4.8.5_1 > python36-3.6.9 > perl5-5.28.2 > libedit-3.1.20190324,1 > # pkg info -B llvm90 > llvm90-9.0.0.r1: > libpython3.6m.so.1.0 > libedit.so.0 > libz3.so.0 > libxml2.so.2 >=20 >=20 > Hopefully this cycle can be avoided for system > clang to eventually have progressed to clang 9. > (I do not know the details.) >=20 > For architectures still at gcc/g++ 4.2.1, some > alternate c++ tool chain needs to be used to > build libz3.so but the result needs to be > compatible with llvm90 later using the libz3.so's > content. (I do not know the details.) >=20 > =3D=3D=3D > Mark Millard > marklmi at yahoo.com > ( dsl-only.net went > away in early 2018-Mar) >=20 > _______________________________________________ > freebsd-toolchain@freebsd.org mailing list > https://lists.freebsd.org/mailman/listinfo/freebsd-toolchain > To unsubscribe, send any mail to "freebsd-toolchain-unsubscribe@freebsd.o= rg" >=20 --PuGuTyElPB9bOcsM Content-Type: application/pgp-signature; name="signature.asc" -----BEGIN PGP SIGNATURE----- iQEcBAEBAgAGBQJdSbD8AAoJEKzQXbSebgfAEm8H/0tHYf0sr6G5exlRrRcWd4ak td+prXMYppEIRdsJzKTQvvjuibT7vC+Tvo+9ZPasTCaX2cUHPxqh4Tyg7ls3l1VM UO4Y1Z72tOvyckjjdOKhzKDhVxS5gs93oJ7oYTdLTFBtLSmEKQAX9ijM4yEm9gSU RLFNOMM0RDeI8g6Doa0V9so/MxMudx+SJ6RnEGGUvlEYxGsy1uK+5FqJlXLAV1fL v1kYzdHeL55Uw3+/uCmv/dQ+PqaUW7bnvF1sbFnJ9RJOuSWNrSLSvFHH/kBGM+UW TipAZhImOBmK5vK02wMCyI4JMAAAAlItuGiM+JslTAJsuyid/Kaz6+Iv0hzaiOU= =7JTo -----END PGP SIGNATURE----- --PuGuTyElPB9bOcsM-- From owner-freebsd-toolchain@freebsd.org Wed Aug 7 00:59:25 2019 Return-Path: Delivered-To: freebsd-toolchain@mailman.nyi.freebsd.org Received: from mx1.freebsd.org (mx1.freebsd.org [IPv6:2610:1c1:1:606c::19:1]) by mailman.nyi.freebsd.org (Postfix) with ESMTP id C658FB8694 for ; Wed, 7 Aug 2019 00:59:25 +0000 (UTC) (envelope-from marklmi@yahoo.com) Received: from sonic308-10.consmr.mail.ne1.yahoo.com (sonic308-10.consmr.mail.ne1.yahoo.com [66.163.187.33]) (using TLSv1.2 with cipher ECDHE-RSA-AES128-GCM-SHA256 (128/128 bits)) (Client did not present a certificate) by mx1.freebsd.org (Postfix) with ESMTPS id 463Cnm6ycwz40Jc for ; Wed, 7 Aug 2019 00:59:24 +0000 (UTC) (envelope-from marklmi@yahoo.com) X-YMail-OSG: OKhOQfwVM1nHwWW8zUmk70PUsVlAU4JUB406P9VqUlpMflCJq6nX79ib1Inp.2K aJ5QhoUoYcRHizD3amOeW0UJ7un44h8LSoZ1wrmxIfmPsTrzI9Q2Yavn.H7rW2MhcHrqr16t1ixz LfOYH2xd8GjU9idaHByyQr.cLNv55UmiF9Oz7fTewVOvDpi7hUDmHSBFZDglSvKud3Lbnu83iqI4 MtiKGzQa8DTD0Iu1fXIdPIyJH6wb0uKUJAGuT6Yp6cNtdTQITYMNhe0hiienjnUOm7dc5t5AyM.f 1F7knjjUUdmkJZI8g2gXFaC_fRY0_bSw.ffnOiDMJ96Dq3srInyDxR6F43NFMi2.8YUE7pXjJIMj aslE3aEWUo.YnXJW34rAkWzUuGoKN5jNojFH.BGeNE2Ht9pi_ADTr_yKcT4j2ntM0Wxt239X2jiL jeYfSYv7fMjtwpaxdKP_FOXk.juV3s8Z9sjh1AAlpVRtTeBTnOwGykgoDLIJimS3krTW7aDXGV2T bE_ooEtaBlWI.r7D4QFj8QOOlbMY2a0HMpgjDaoeyjb0t3IBDCPqckogR8h6IcMBm0qw.gv0cA02 2wtjW0wd9O56qNk2U9iiitaxwwCx1bgbCM0gwzx7WfT5nUzUyAVMHxSOH_FJYGEhFXWYoVLhg.37 vTfKKpGOauLQyneMqwOZo5Sq8jNe5KZTzHCq0op.HtCw3N4aR9OLQCwmwWoBq2MouimcX5nF7X5W WLhQ.Uk8F7uzoGcQU2gQCrtk0x1lxDDALuKPDuhXdYC4DLlv_HfONc8YHwbJ4vL26I4s15xeNe8V eZi5Bzh7te_T0rxxOkLvKZvvSieBDiMUiuT89jw5NPTilpfSerOw275l_XqsHbJURGr0Ltt51PVN g_tx7Po1nxpMLLJl5yrTLv66g6UHwhnT0fIuTCDKm63UHl3us7dp7PVfRm.jP61Ttl68MX6Mknz1 TbcGSwDpdzMuacedR0NGfQZFN8w5PygvQYJE5.O3qageklwgQB9zQWrOcQwk446sAH6Z7_3ntiCc wz06ejXvcqKnldl8mSdezesXeeMwPsG7iuR00G.od2Qv5MKxxbFDtzCZg5U0UI0lWmpB3tWs23ch sEbCOOy8gBG95YYvD8T5GpUxV5fSSaYMKc.9yCEY7K8j2Wmzmk3Dr5R_ukDfGjUZeaLVSkDO9M.s NoSU0zKcrfX1WqkBaHuqLDU6ZpACY7xHV4OfizM8JfOoWn8YW.8LimSo1dC2Wtojs8Sv7JHBEbAC 2D5VdZksC6RhmdLjVWqc- Received: from sonic.gate.mail.ne1.yahoo.com by sonic308.consmr.mail.ne1.yahoo.com with HTTP; Wed, 7 Aug 2019 00:59:23 +0000 Received: by smtp417.mail.ne1.yahoo.com (Oath Hermes SMTP Server) with ESMTPA ID 55213c009e7839e8e91199ed2c2176c6; Wed, 07 Aug 2019 00:59:22 +0000 (UTC) Content-Type: text/plain; charset=us-ascii Mime-Version: 1.0 (Mac OS X Mail 12.4 \(3445.104.11\)) Subject: Re: devel/llvm90 requires math/z3 first; building math/z3 requires a c++ toolchain be in place From: Mark Millard In-Reply-To: <20190806165525.GC94703@spindle.one-eyed-alien.net> Date: Tue, 6 Aug 2019 17:59:21 -0700 Cc: freebsd-toolchain@freebsd.org, freebsd-ports@freebsd.org, freebsd-ppc@freebsd.org Content-Transfer-Encoding: quoted-printable Message-Id: <2A88AADC-8ED0-4FFD-85A8-34C0186D5D4F@yahoo.com> References: <8DB3EAA4-2B88-4180-8386-673524D27C64@yahoo.com> <20190806165525.GC94703@spindle.one-eyed-alien.net> To: Brooks Davis X-Mailer: Apple Mail (2.3445.104.11) X-Rspamd-Queue-Id: 463Cnm6ycwz40Jc X-Spamd-Bar: / X-Spamd-Result: default: False [-0.22 / 15.00]; TO_DN_SOME(0.00)[]; R_SPF_ALLOW(-0.20)[+ptr:yahoo.com]; FREEMAIL_FROM(0.00)[yahoo.com]; MV_CASE(0.50)[]; DKIM_TRACE(0.00)[yahoo.com:+]; DMARC_POLICY_ALLOW(-0.50)[yahoo.com,reject]; FROM_EQ_ENVFROM(0.00)[]; RCVD_TLS_LAST(0.00)[]; MIME_TRACE(0.00)[0:+]; FREEMAIL_ENVFROM(0.00)[yahoo.com]; ASN(0.00)[asn:36646, ipnet:66.163.184.0/21, country:US]; MID_RHS_MATCH_FROM(0.00)[]; DWL_DNSWL_NONE(0.00)[yahoo.com.dwl.dnswl.org : 127.0.5.0]; ARC_NA(0.00)[]; NEURAL_HAM_MEDIUM(-0.26)[-0.265,0]; R_DKIM_ALLOW(-0.20)[yahoo.com:s=s2048]; FROM_HAS_DN(0.00)[]; RCPT_COUNT_THREE(0.00)[4]; NEURAL_SPAM_SHORT(0.88)[0.882,0]; NEURAL_HAM_LONG(-0.34)[-0.336,0]; MIME_GOOD(-0.10)[text/plain]; IP_SCORE(0.00)[ip: (4.70), ipnet: 66.163.184.0/21(1.27), asn: 36646(1.02), country: US(-0.05)]; IP_SCORE_FREEMAIL(0.00)[]; TO_MATCH_ENVRCPT_SOME(0.00)[]; RCVD_IN_DNSWL_NONE(0.00)[33.187.163.66.list.dnswl.org : 127.0.5.0]; RCVD_COUNT_TWO(0.00)[2] X-BeenThere: freebsd-toolchain@freebsd.org X-Mailman-Version: 2.1.29 Precedence: list List-Id: Maintenance of FreeBSD's integrated toolchain List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Wed, 07 Aug 2019 00:59:25 -0000 On 2019-Aug-6, at 09:55, Brooks Davis wrote: > I'd prefer to disable this dependency. There's a knob that worked in > the 8.0 timeframe, but the lit build now autodetects z3 when it is > present and I've failed to find a knob to disable it. For now, the = easy > workaround is probably to disable options LIT. We could make that the > default on non-LLVM platforms is that makes sense. >=20 > -- Brooks Okay. poudriere-devel automatically built math/z3 because I'd indicated to build devel/llvm90 . math/z3 was not previously built: I've never had other use of it. So my context was not one of an implicit autodetect. It looks like that happened because of devel/llvm90/Makefile having: LIT_DESC=3D Install lit and FileCheck test tools LIT_LIB_DEPENDS=3D libz3.so:math/z3 LIT_VARS=3D _USES_PYTHON=3Dpython:3.6+ Of course someone that has math/z3 for other reasons would not necessarily want it used by llvm90 materials, so merely not listing it in LIT_LIB_DEPENDS might not be enough to cover all contexts. [Stop reading here if you do not care about what from llvm90 uses z3 and some of the consequences.] It turns out that the direct dependency is (via reviewing ldd -a output): /usr/local/llvm90/lib/../lib/libLLVM-9.so: libz3.so.0 =3D> /usr/local/lib/libz3.so.0 The indirect reference via libLLVM-9.so use leads to most of llvm90 materials binding to libz3.so : # ldd /usr/local/llvm90/lib/*.so | egrep '(^/|z3)' /usr/local/llvm90/lib/CheckerDependencyHandlingAnalyzerPlugin.so: libz3.so.0 =3D> /usr/local/lib/libz3.so.0 (0x807a00000) /usr/local/llvm90/lib/CheckerOptionHandlingAnalyzerPlugin.so: libz3.so.0 =3D> /usr/local/lib/libz3.so.0 (0x807a00000) /usr/local/llvm90/lib/LLVMgold.so: libz3.so.0 =3D> /usr/local/lib/libz3.so.0 (0x805400000) /usr/local/llvm90/lib/SampleAnalyzerPlugin.so: libz3.so.0 =3D> /usr/local/lib/libz3.so.0 (0x807a00000) /usr/local/llvm90/lib/libLLVM-9.0.0.so: libz3.so.0 =3D> /usr/local/lib/libz3.so.0 (0x805200000) /usr/local/llvm90/lib/libLLVM-9.so: libz3.so.0 =3D> /usr/local/lib/libz3.so.0 (0x805200000) /usr/local/llvm90/lib/libLLVM.so: libz3.so.0 =3D> /usr/local/lib/libz3.so.0 (0x805200000) /usr/local/llvm90/lib/libLTO.so: libz3.so.0 =3D> /usr/local/lib/libz3.so.0 (0x805400000) /usr/local/llvm90/lib/libRemarks.so: libz3.so.0 =3D> /usr/local/lib/libz3.so.0 (0x805400000) /usr/local/llvm90/lib/libclang-cpp.so: libz3.so.0 =3D> /usr/local/lib/libz3.so.0 (0x807a00000) /usr/local/llvm90/lib/libclang.so: libz3.so.0 =3D> /usr/local/lib/libz3.so.0 (0x807200000) /usr/local/llvm90/lib/libgomp.so: /usr/local/llvm90/lib/libiomp5.so: /usr/local/llvm90/lib/liblldb.so: libz3.so.0 =3D> /usr/local/lib/libz3.so.0 (0x807e00000) /usr/local/llvm90/lib/libomp.so: /usr/local/llvm90/lib/libomptarget.so: (I'll not list the /usr/local/llvm90/bin/ programs that in turn bind to these libraries, but most end up bound to libz3.so .) ldd reports some of the details as far as what librraries the libz3.so depends on: # ldd /usr/local/lib/*z3.so /usr/local/lib/libz3.so: libthr.so.3 =3D> /lib/libthr.so.3 (0x800662000) libomp.so =3D> /usr/lib/libomp.so (0x80068f000) libc++.so.1 =3D> /usr/lib/libc++.so.1 (0x8020e4000) libcxxrt.so.1 =3D> /lib/libcxxrt.so.1 (0x800738000) libm.so.5 =3D> /lib/libm.so.5 (0x80075a000) libgcc_s.so.1 =3D> /lib/libgcc_s.so.1 (0x80078c000) libc.so.7 =3D> /lib/libc.so.7 (0x800242000) This makes clear that mixing in libstdc+++ or the like would likely not be appropriate unless llvm90 was also using such. So a default gcc based build of libz3.so likely would not be appropriate if llvm90 is to also be built such that it can bind to libz3.so if found. > On Mon, Aug 05, 2019 at 08:45:31PM -0700, Mark Millard via = freebsd-toolchain wrote: >> Building math/z3 involves: >>=20 >> # grep compiler /usr/ports/math/z3/Makefile >> USES=3D compiler:c++11-lang python:2.7,build >>=20 >> But devel/llvm90 requires math/z3 to have been built before >> devel/llvm90 is built: >>=20 >> # pkg info -d llvm90 >> llvm90-9.0.0.r1: >> libxml2-2.9.9 >> z3-4.8.5_1 >> python36-3.6.9 >> perl5-5.28.2 >> libedit-3.1.20190324,1 >> # pkg info -B llvm90 >> llvm90-9.0.0.r1: >> libpython3.6m.so.1.0 >> libedit.so.0 >> libz3.so.0 >> libxml2.so.2 >>=20 >>=20 >> Hopefully this cycle can be avoided for system >> clang to eventually have progressed to clang 9. >> (I do not know the details.) >>=20 >> For architectures still at gcc/g++ 4.2.1, some >> alternate c++ tool chain needs to be used to >> build libz3.so but the result needs to be >> compatible with llvm90 later using the libz3.so's >> content. (I do not know the details.) =3D=3D=3D Mark Millard marklmi at yahoo.com ( dsl-only.net went away in early 2018-Mar) From owner-freebsd-toolchain@freebsd.org Wed Aug 7 02:04:41 2019 Return-Path: Delivered-To: freebsd-toolchain@mailman.nyi.freebsd.org Received: from mx1.freebsd.org (mx1.freebsd.org [IPv6:2610:1c1:1:606c::19:1]) by mailman.nyi.freebsd.org (Postfix) with ESMTP id 07A30BADC4 for ; Wed, 7 Aug 2019 02:04:41 +0000 (UTC) (envelope-from marklmi@yahoo.com) Received: from sonic311-25.consmr.mail.ne1.yahoo.com (sonic311-25.consmr.mail.ne1.yahoo.com [66.163.188.206]) (using TLSv1.2 with cipher ECDHE-RSA-AES128-GCM-SHA256 (128/128 bits)) (Client did not present a certificate) by mx1.freebsd.org (Postfix) with ESMTPS id 463FF34mYXz44ZP for ; Wed, 7 Aug 2019 02:04:39 +0000 (UTC) (envelope-from marklmi@yahoo.com) X-YMail-OSG: SSnlBUcVM1luyBvH.2asm0wIxPb.RexRy.GZa0NiyQniHJ0us3vlF2gzu7eSvgA .r6qZunWgXa20bsgmpJ8nS.P5pbVdB3kwtS9KjDk1XYqi2cL2009.P0dztu.bKKSwK5fNxNAlLbs X4J8WHbBFOSVXTxWrrZ05ojhOGQcWdvH.ISVggjL6cHpV_P8AI2p.TDB2WISwmiiIqYsR9VMcMcG qkaGFlqJ6qD70QaPyiUVJe5to87cSbe.zmPie4VHrIgLpGOUTX4p7IBmBJ.wKPXdCcFIKBBMnCSJ JrbI4NEAXPzFPwGe1OAfpmSAgyU_X98sYlBiIzxu352gZvDyLsF6j4wgUAl20kDOuY56J0oW13JD aznJoFpzmJ53gbaMwYIP9lijfIt_R3V1Iw2bLFSbCc.JBRDws1pJDplX18KEsvYW6VYeRCQ8zJD4 dWEWkPRMCLnaRpZz1u5T9MRduejjNnvCKC2kgpzi9fzFIT8MfxYMA9UnGH8MaCHS3UIJycHHyrFv Jn5OR5_EWnGZINmCSWFENMOeyws1OYu4HO_XJN3aL.lZ6i7xpmiAIHPdRlvxo6AiGGqi.WWbFRYH AIavhm5LOn7WG2.yqeqeuUxvZ8NUEFjksbQYtNvlsYaEGxaWe.XoqNOQ_Lbs5aiHQSwaevoY1W3i Y7c7f78VbjHl0kpJMXaSUBt8FFt2j35w6WegDAwMgmoWcWMRhyqRNrzFM00i1pwALBRHySd_7Usz iM8aASU0q5s38tLs2CREKDPdGxFhIDoavvMkrAr2P0cp4h7.h6jjUrip_VaLU29N7ua6JR0wEAqF W44wbzjHbrml_5rOzwmWNoSFwOzg2FGhfuDCQv.PLRfdJhY80RW2PjA.Zs1UWCicTQFI_pwnMoSW tEElr.k.mvj6ohr1WhUZKyXleu2K0_VsGw2VfGZLa2o4OBi.WA67pOUm0djonTs0N.hn.7oGxDio Tp3UHitUT8uBmZ1_HY.WClJXBr8o_lLc67yZd7t0YjvJFy_BJtWiUTWwUOLO6dgFRtvNPLKZHHzS CmuiSGP1JjntRjAGcihE1PNPEp83lWiZpDgHmz.OP4nnQctNsSCjpSDs8GIdEgoR7ag.jdfN.eCh dtDMdB.L_KHeklwfsU0riwBOuMgwjXSXXRyaafWrC3YG738qOATTCMRGEtbeg9ypzFueQe2o1ROh sZ.QAefC6KweQKLkmikPNNFwB3CykFT5fjNbeXJCmOMqp9B3cs2CTp4prUgWffJrKCZ9MDZJ6Mq6 VClP3ZmzY461ZajO2izH5lg-- Received: from sonic.gate.mail.ne1.yahoo.com by sonic311.consmr.mail.ne1.yahoo.com with HTTP; Wed, 7 Aug 2019 02:04:38 +0000 Received: by smtp411.mail.ne1.yahoo.com (Oath Hermes SMTP Server) with ESMTPA ID f3f8056cf5b542456a6f1ca2b520d2ff; Wed, 07 Aug 2019 02:04:36 +0000 (UTC) Content-Type: text/plain; charset=us-ascii Mime-Version: 1.0 (Mac OS X Mail 12.4 \(3445.104.11\)) Subject: Re: devel/llvm90 requires math/z3 first; building math/z3 requires a c++ toolchain be in place From: Mark Millard In-Reply-To: <2A88AADC-8ED0-4FFD-85A8-34C0186D5D4F@yahoo.com> Date: Tue, 6 Aug 2019 19:04:34 -0700 Cc: freebsd-toolchain@freebsd.org, freebsd-ports@freebsd.org, freebsd-ppc@freebsd.org Content-Transfer-Encoding: quoted-printable Message-Id: <9EA047FF-6427-4F5F-B85E-E8DB18CB174C@yahoo.com> References: <8DB3EAA4-2B88-4180-8386-673524D27C64@yahoo.com> <20190806165525.GC94703@spindle.one-eyed-alien.net> <2A88AADC-8ED0-4FFD-85A8-34C0186D5D4F@yahoo.com> To: Brooks Davis X-Mailer: Apple Mail (2.3445.104.11) X-Rspamd-Queue-Id: 463FF34mYXz44ZP X-Spamd-Bar: - X-Spamd-Result: default: False [-1.47 / 15.00]; TO_DN_SOME(0.00)[]; R_SPF_ALLOW(-0.20)[+ptr:yahoo.com]; FREEMAIL_FROM(0.00)[yahoo.com]; MV_CASE(0.50)[]; DKIM_TRACE(0.00)[yahoo.com:+]; DMARC_POLICY_ALLOW(-0.50)[yahoo.com,reject]; FROM_EQ_ENVFROM(0.00)[]; RCVD_TLS_LAST(0.00)[]; MIME_TRACE(0.00)[0:+]; FREEMAIL_ENVFROM(0.00)[yahoo.com]; ASN(0.00)[asn:36646, ipnet:66.163.184.0/21, country:US]; MID_RHS_MATCH_FROM(0.00)[]; DWL_DNSWL_NONE(0.00)[yahoo.com.dwl.dnswl.org : 127.0.5.0]; ARC_NA(0.00)[]; NEURAL_HAM_MEDIUM(-0.62)[-0.618,0]; R_DKIM_ALLOW(-0.20)[yahoo.com:s=s2048]; FROM_HAS_DN(0.00)[]; RCPT_COUNT_THREE(0.00)[4]; NEURAL_SPAM_SHORT(0.30)[0.300,0]; NEURAL_HAM_LONG(-0.66)[-0.656,0]; MIME_GOOD(-0.10)[text/plain]; IP_SCORE(0.00)[ip: (2.52), ipnet: 66.163.184.0/21(1.27), asn: 36646(1.02), country: US(-0.05)]; IP_SCORE_FREEMAIL(0.00)[]; TO_MATCH_ENVRCPT_SOME(0.00)[]; RCVD_IN_DNSWL_NONE(0.00)[206.188.163.66.list.dnswl.org : 127.0.5.0]; RCVD_COUNT_TWO(0.00)[2] X-BeenThere: freebsd-toolchain@freebsd.org X-Mailman-Version: 2.1.29 Precedence: list List-Id: Maintenance of FreeBSD's integrated toolchain List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Wed, 07 Aug 2019 02:04:41 -0000 On 2019-Aug-6, at 17:59, Mark Millard wrote: > On 2019-Aug-6, at 09:55, Brooks Davis wrote: >=20 >> I'd prefer to disable this dependency. There's a knob that worked in >> the 8.0 timeframe, but the lit build now autodetects z3 when it is >> present and I've failed to find a knob to disable it. For now, the = easy >> workaround is probably to disable options LIT. We could make that = the >> default on non-LLVM platforms is that makes sense. >>=20 >> -- Brooks >=20 > Okay. >=20 > poudriere-devel automatically built math/z3 because > I'd indicated to build devel/llvm90 . math/z3 was not > previously built: I've never had other use of it. So > my context was not one of an implicit autodetect. >=20 > It looks like that happened because of > devel/llvm90/Makefile having: >=20 > LIT_DESC=3D Install lit and FileCheck test tools > LIT_LIB_DEPENDS=3D libz3.so:math/z3 > LIT_VARS=3D _USES_PYTHON=3Dpython:3.6+ I tried deleting the package for math/z3 from poudriere and using: FBSDFHUGE# svnlite diff /usr/ports/devel/llvm90 Index: /usr/ports/devel/llvm90/Makefile =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D --- /usr/ports/devel/llvm90/Makefile (revision 508197) +++ /usr/ports/devel/llvm90/Makefile (working copy) @@ -110,7 +110,7 @@ GOLD_CMAKE_ON=3D = -DLLVM_BINUTILS_INCDIR=3D${LOCALBASE}/include GOLD_BUILD_DEPENDS=3D ${LOCALBASE}/bin/ld.gold:devel/binutils LIT_DESC=3D Install lit and FileCheck test tools -LIT_LIB_DEPENDS=3D libz3.so:math/z3 +#LIT_LIB_DEPENDS=3D libz3.so:math/z3 LIT_VARS=3D _USES_PYTHON=3Dpython:3.6+ LLD_DESC=3D Install lld, the LLVM linker LLD_DISTFILES=3D lld-${DISTVERSION}.src${EXTRACT_SUFX} devel/llvm90 is building via poudriere-devel without first building math/z3 . We will see if it completes okay. If it does I'll try a pkg delete of math/z3 and an install of the devel/llvm90 . (No new material after this point.) > Of course someone that has math/z3 for other reasons > would not necessarily want it used by llvm90 materials, > so merely not listing it in LIT_LIB_DEPENDS might not > be enough to cover all contexts. >=20 > [Stop reading here if you do not care about what from > llvm90 uses z3 and some of the consequences.] >=20 > It turns out that the direct dependency is (via > reviewing ldd -a output): >=20 > /usr/local/llvm90/lib/../lib/libLLVM-9.so: > libz3.so.0 =3D> /usr/local/lib/libz3.so.0 >=20 > The indirect reference via libLLVM-9.so use > leads to most of llvm90 materials binding to > libz3.so : >=20 > # ldd /usr/local/llvm90/lib/*.so | egrep '(^/|z3)' > /usr/local/llvm90/lib/CheckerDependencyHandlingAnalyzerPlugin.so: > libz3.so.0 =3D> /usr/local/lib/libz3.so.0 (0x807a00000) > /usr/local/llvm90/lib/CheckerOptionHandlingAnalyzerPlugin.so: > libz3.so.0 =3D> /usr/local/lib/libz3.so.0 (0x807a00000) > /usr/local/llvm90/lib/LLVMgold.so: > libz3.so.0 =3D> /usr/local/lib/libz3.so.0 (0x805400000) > /usr/local/llvm90/lib/SampleAnalyzerPlugin.so: > libz3.so.0 =3D> /usr/local/lib/libz3.so.0 (0x807a00000) > /usr/local/llvm90/lib/libLLVM-9.0.0.so: > libz3.so.0 =3D> /usr/local/lib/libz3.so.0 (0x805200000) > /usr/local/llvm90/lib/libLLVM-9.so: > libz3.so.0 =3D> /usr/local/lib/libz3.so.0 (0x805200000) > /usr/local/llvm90/lib/libLLVM.so: > libz3.so.0 =3D> /usr/local/lib/libz3.so.0 (0x805200000) > /usr/local/llvm90/lib/libLTO.so: > libz3.so.0 =3D> /usr/local/lib/libz3.so.0 (0x805400000) > /usr/local/llvm90/lib/libRemarks.so: > libz3.so.0 =3D> /usr/local/lib/libz3.so.0 (0x805400000) > /usr/local/llvm90/lib/libclang-cpp.so: > libz3.so.0 =3D> /usr/local/lib/libz3.so.0 (0x807a00000) > /usr/local/llvm90/lib/libclang.so: > libz3.so.0 =3D> /usr/local/lib/libz3.so.0 (0x807200000) > /usr/local/llvm90/lib/libgomp.so: > /usr/local/llvm90/lib/libiomp5.so: > /usr/local/llvm90/lib/liblldb.so: > libz3.so.0 =3D> /usr/local/lib/libz3.so.0 (0x807e00000) > /usr/local/llvm90/lib/libomp.so: > /usr/local/llvm90/lib/libomptarget.so: >=20 > (I'll not list the /usr/local/llvm90/bin/ programs that in > turn bind to these libraries, but most end up bound to > libz3.so .) >=20 > ldd reports some of the details as far as what librraries > the libz3.so depends on: >=20 > # ldd /usr/local/lib/*z3.so > /usr/local/lib/libz3.so: > libthr.so.3 =3D> /lib/libthr.so.3 (0x800662000) > libomp.so =3D> /usr/lib/libomp.so (0x80068f000) > libc++.so.1 =3D> /usr/lib/libc++.so.1 (0x8020e4000) > libcxxrt.so.1 =3D> /lib/libcxxrt.so.1 (0x800738000) > libm.so.5 =3D> /lib/libm.so.5 (0x80075a000) > libgcc_s.so.1 =3D> /lib/libgcc_s.so.1 (0x80078c000) > libc.so.7 =3D> /lib/libc.so.7 (0x800242000) >=20 > This makes clear that mixing in libstdc+++ or the > like would likely not be appropriate unless llvm90 > was also using such. So a default gcc based build > of libz3.so likely would not be appropriate if > llvm90 is to also be built such that it can bind > to libz3.so if found. >=20 >> On Mon, Aug 05, 2019 at 08:45:31PM -0700, Mark Millard via = freebsd-toolchain wrote: >>> Building math/z3 involves: >>>=20 >>> # grep compiler /usr/ports/math/z3/Makefile >>> USES=3D compiler:c++11-lang python:2.7,build >>>=20 >>> But devel/llvm90 requires math/z3 to have been built before >>> devel/llvm90 is built: >>>=20 >>> # pkg info -d llvm90 >>> llvm90-9.0.0.r1: >>> libxml2-2.9.9 >>> z3-4.8.5_1 >>> python36-3.6.9 >>> perl5-5.28.2 >>> libedit-3.1.20190324,1 >>> # pkg info -B llvm90 >>> llvm90-9.0.0.r1: >>> libpython3.6m.so.1.0 >>> libedit.so.0 >>> libz3.so.0 >>> libxml2.so.2 >>>=20 >>>=20 >>> Hopefully this cycle can be avoided for system >>> clang to eventually have progressed to clang 9. >>> (I do not know the details.) >>>=20 >>> For architectures still at gcc/g++ 4.2.1, some >>> alternate c++ tool chain needs to be used to >>> build libz3.so but the result needs to be >>> compatible with llvm90 later using the libz3.so's >>> content. (I do not know the details.) =3D=3D=3D Mark Millard marklmi at yahoo.com ( dsl-only.net went away in early 2018-Mar) From owner-freebsd-toolchain@freebsd.org Wed Aug 7 02:08:29 2019 Return-Path: Delivered-To: freebsd-toolchain@mailman.nyi.freebsd.org Received: from mx1.freebsd.org (mx1.freebsd.org [IPv6:2610:1c1:1:606c::19:1]) by mailman.nyi.freebsd.org (Postfix) with ESMTP id 222B5BAF49; Wed, 7 Aug 2019 02:08:29 +0000 (UTC) (envelope-from brooks@spindle.one-eyed-alien.net) Received: from spindle.one-eyed-alien.net (spindle.one-eyed-alien.net [199.48.129.229]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (Client did not present a certificate) by mx1.freebsd.org (Postfix) with ESMTPS id 463FKS11Pfz44kN; Wed, 7 Aug 2019 02:08:28 +0000 (UTC) (envelope-from brooks@spindle.one-eyed-alien.net) Received: by spindle.one-eyed-alien.net (Postfix, from userid 3001) id 0DD073C0199; Wed, 7 Aug 2019 02:08:27 +0000 (UTC) Date: Wed, 7 Aug 2019 02:08:27 +0000 From: Brooks Davis To: Mark Millard Cc: freebsd-toolchain@freebsd.org, freebsd-ports@freebsd.org, freebsd-ppc@freebsd.org Subject: Re: devel/llvm90 requires math/z3 first; building math/z3 requires a c++ toolchain be in place Message-ID: <20190807020826.GH94703@spindle.one-eyed-alien.net> References: <8DB3EAA4-2B88-4180-8386-673524D27C64@yahoo.com> <20190806165525.GC94703@spindle.one-eyed-alien.net> <2A88AADC-8ED0-4FFD-85A8-34C0186D5D4F@yahoo.com> MIME-Version: 1.0 Content-Type: multipart/signed; micalg=pgp-sha1; protocol="application/pgp-signature"; boundary="B0nZA57HJSoPbsHY" Content-Disposition: inline In-Reply-To: <2A88AADC-8ED0-4FFD-85A8-34C0186D5D4F@yahoo.com> User-Agent: Mutt/1.9.4 (2018-02-28) X-Rspamd-Queue-Id: 463FKS11Pfz44kN X-Spamd-Bar: ------- Authentication-Results: mx1.freebsd.org; dkim=none; dmarc=none; spf=none (mx1.freebsd.org: domain of brooks@spindle.one-eyed-alien.net has no SPF policy when checking 199.48.129.229) smtp.mailfrom=brooks@spindle.one-eyed-alien.net X-Spamd-Result: default: False [-7.09 / 15.00]; ARC_NA(0.00)[]; NEURAL_HAM_MEDIUM(-1.00)[-1.000,0]; FROM_HAS_DN(0.00)[]; RCPT_COUNT_THREE(0.00)[4]; TO_DN_SOME(0.00)[]; IP_SCORE(-3.56)[ip: (-9.26), ipnet: 199.48.128.0/22(-4.61), asn: 36236(-3.87), country: US(-0.05)]; MIME_GOOD(-0.20)[multipart/signed,text/plain]; DMARC_NA(0.00)[freebsd.org]; AUTH_NA(1.00)[]; NEURAL_HAM_LONG(-1.00)[-1.000,0]; TO_MATCH_ENVRCPT_SOME(0.00)[]; NEURAL_HAM_SHORT(-0.63)[-0.634,0]; R_SPF_NA(0.00)[]; FREEMAIL_TO(0.00)[yahoo.com]; FORGED_SENDER(0.30)[brooks@freebsd.org,brooks@spindle.one-eyed-alien.net]; SIGNED_PGP(-2.00)[]; R_DKIM_NA(0.00)[]; MIME_TRACE(0.00)[0:+,1:+,2:~]; ASN(0.00)[asn:36236, ipnet:199.48.128.0/22, country:US]; FROM_NEQ_ENVFROM(0.00)[brooks@freebsd.org,brooks@spindle.one-eyed-alien.net]; RCVD_COUNT_ZERO(0.00)[0] X-BeenThere: freebsd-toolchain@freebsd.org X-Mailman-Version: 2.1.29 Precedence: list List-Id: Maintenance of FreeBSD's integrated toolchain List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Wed, 07 Aug 2019 02:08:29 -0000 --B0nZA57HJSoPbsHY Content-Type: text/plain; charset=us-ascii Content-Disposition: inline Content-Transfer-Encoding: quoted-printable On Tue, Aug 06, 2019 at 05:59:21PM -0700, Mark Millard wrote: >=20 >=20 > On 2019-Aug-6, at 09:55, Brooks Davis wrote: >=20 > > I'd prefer to disable this dependency. There's a knob that worked in > > the 8.0 timeframe, but the lit build now autodetects z3 when it is > > present and I've failed to find a knob to disable it. For now, the easy > > workaround is probably to disable options LIT. We could make that the > > default on non-LLVM platforms is that makes sense. > >=20 > > -- Brooks >=20 > Okay. >=20 > poudriere-devel automatically built math/z3 because > I'd indicated to build devel/llvm90 . math/z3 was not > previously built: I've never had other use of it. So > my context was not one of an implicit autodetect. The dependency is there because if z3 is installed then the package that is built depends on z3. Thus I had not choice but to add a z3 dependency until I find a way to turn it off. You can either help find a way to disable z3 detection in the cmake infrastructure or turn off LIT. I don't have any use for reports on the effects of commenting out the DEPENDS line. I know what that does. -- Brooks --B0nZA57HJSoPbsHY Content-Type: application/pgp-signature; name="signature.asc" -----BEGIN PGP SIGNATURE----- iQEcBAEBAgAGBQJdSjKaAAoJEKzQXbSebgfAOI8H+gLPiQEVfEUGO2ldGyfm8I4o cChqmkMZWjgBCmdpNiNloqfb9HVL129eeqE1rul8LaF7dsCu6dPJJ05bH4PuEkwi KXquOjDUb9buxhKa6EaJ1xMqRD0wCSmTp8hyMmRD5JyQ+D47+ax0vuGFQP16In9n 5bm9JmIUZda8n1JlqXwjln2Z6yqdr9u3pbUSKXjnIK3w7dNgTxAadLdOEhtbUMfM PICiwt8Y1ipOtUWOiWZALYsp0vWst+0lkHAfFzrzUQNPtIy1rX5DdH9ylV46n2Ho xnYJpYA4Wsj+H5XaYfjM+Lo2NaEZQHXOffMDBLbx5XSsvyVFynMXZdUkjdEAZ8A= =fwp+ -----END PGP SIGNATURE----- --B0nZA57HJSoPbsHY-- From owner-freebsd-toolchain@freebsd.org Wed Aug 7 02:55:27 2019 Return-Path: Delivered-To: freebsd-toolchain@mailman.nyi.freebsd.org Received: from mx1.freebsd.org (mx1.freebsd.org [IPv6:2610:1c1:1:606c::19:1]) by mailman.nyi.freebsd.org (Postfix) with ESMTP id AF440BBD38 for ; Wed, 7 Aug 2019 02:55:27 +0000 (UTC) (envelope-from marklmi@yahoo.com) Received: from sonic303-23.consmr.mail.gq1.yahoo.com (sonic303-23.consmr.mail.gq1.yahoo.com [98.137.64.204]) (using TLSv1.2 with cipher ECDHE-RSA-AES128-GCM-SHA256 (128/128 bits)) (Client did not present a certificate) by mx1.freebsd.org (Postfix) with ESMTPS id 463GMd0XqFz46YG for ; Wed, 7 Aug 2019 02:55:24 +0000 (UTC) (envelope-from marklmi@yahoo.com) X-YMail-OSG: AQ9QCroVM1mIeJZZSZgoLhI7YkTUDUoVbmUFW2_EAyrrlHyREV9KjZ5idt5Hcv8 CrJkojEzxRhOV1qCpqPDKceB_GBxOYvIXKdDBL.832cRZB7sG0u9_9tVbxnu549o5w.ngN9yXbqa 5tp4QXMVaWd1vOhiy7_7vuSwMeAuEi2ISl8MuR_etFrfhhbkaSgM_bWMrr2FhKr.K0a0cdPY2nG8 lpQIae4Km1wB7Irk9hGdMFw3Bj533eetXAj.3i3ihZoIXMyxwSeBnV_KNPJqyI.wc805uB.qxUSt 6nPFC7WM9ztJKMTmbmWtw5aa5yBjM_5w1CD6MvAaNnViGGVIkbifN1Ajv6z.1Z7.WXm1oLIP8xuK N8OS5uF.UoMe_Ipw_Yix9ficsjBSoh9IcBJdHOFLHpddTNKGSomZM4dNi2rZxzvE4P67hKdJEs4e 1LK7F69f6lFla5mhxq9XlVufc2CnrPWsAESY6kMwt_YJjtFAG.w4muN9_B9uXFuY5QjBtt1dC.IS jpAMuTkmr0UV1K1qAnzUIqgi0xV41doQ.0bc8bauV5MCDiGUcQ.DxYrcUEiUK6UNh44mK7VBSZQi UMSJIwbWXjKT4ghlRuONvn_5a.xA.nWpRmBvBI7VFKBdUwaQzuTwSIs.OZ6S_zv_4ifutunz89L8 xwe4wxLuAOJU.2ojOW54DrtXrYz.iNoze7LB8LQWqRx.Ei6zIO2U8BXyPAoAEFXurZu.2Ukcq3x_ 5OOjp3D5.RBw9sj.yFDef0rW139TtOBGRhg7NuuILQgWoY.Q5iwYOr4_RGVoVHzdQJkfqS_lxgoU qY_lie5Z8Fz2TEjMDEeaL8niX2xrXzZTx.p0wUNtGzTWPu1Z12uj0pXOlYlTsXS_ePRicZrCJ7_y ogAYR3kApl3Va24P1FIQ2HPxnqKiB4RBmsDD2SwlxQaeCQ1Ztg2LMBKi0TRLwp2K4Ai7y31Lf4dn DAxUzTDf3vQld1lfAgjnc1uoFot3g9q6feITOj7YxpN8vhjgZCBeiQchcRFhUTqwUmZs5c_lZm.M NxtGqC.H_grUg0XB2.ynOPfifbUEJZHKapwPr8pzrv6VEQIw7iEnFVhXgAM8i_c9YRXjo.PtE955 KVvuq8qdhQFpkTMk_WU1UkZkQxoTKjd3kpdB_3t_KuImGOK4K6xgpRrI0UaQ71wQcEkjmggmjyES WsuEPdqa9ofCKOWMHDCTgcR95KwiYL.L8gY7X9r7S60tdmfXJGAVODqH3fJz4F91OVKlJQJ3KTwE TAeQJzMhaNZjbNY_UGCOR.Tl72x4- Received: from sonic.gate.mail.ne1.yahoo.com by sonic303.consmr.mail.gq1.yahoo.com with HTTP; Wed, 7 Aug 2019 02:55:21 +0000 Received: by smtp404.mail.gq1.yahoo.com (Oath Hermes SMTP Server) with ESMTPA ID 51dae32061242964eb06e8cdfec4f740; Wed, 07 Aug 2019 02:55:17 +0000 (UTC) Content-Type: text/plain; charset=us-ascii Mime-Version: 1.0 (Mac OS X Mail 12.4 \(3445.104.11\)) Subject: Re: devel/llvm90 requires math/z3 first; building math/z3 requires a c++ toolchain be in place From: Mark Millard In-Reply-To: <9EA047FF-6427-4F5F-B85E-E8DB18CB174C@yahoo.com> Date: Tue, 6 Aug 2019 19:55:16 -0700 Cc: freebsd-ppc@freebsd.org Content-Transfer-Encoding: quoted-printable Message-Id: <9560A66E-0EFC-4CC8-A249-398B935CB8CB@yahoo.com> References: <8DB3EAA4-2B88-4180-8386-673524D27C64@yahoo.com> <20190806165525.GC94703@spindle.one-eyed-alien.net> <2A88AADC-8ED0-4FFD-85A8-34C0186D5D4F@yahoo.com> <9EA047FF-6427-4F5F-B85E-E8DB18CB174C@yahoo.com> To: freebsd-toolchain@freebsd.org, freebsd-ports@freebsd.org X-Mailer: Apple Mail (2.3445.104.11) X-Rspamd-Queue-Id: 463GMd0XqFz46YG X-Spamd-Bar: -- X-Spamd-Result: default: False [-2.52 / 15.00]; R_SPF_ALLOW(-0.20)[+ptr:yahoo.com]; FREEMAIL_FROM(0.00)[yahoo.com]; TO_DN_NONE(0.00)[]; MV_CASE(0.50)[]; DKIM_TRACE(0.00)[yahoo.com:+]; DMARC_POLICY_ALLOW(-0.50)[yahoo.com,reject]; NEURAL_HAM_SHORT(-0.23)[-0.228,0]; FROM_EQ_ENVFROM(0.00)[]; RCVD_TLS_LAST(0.00)[]; MIME_TRACE(0.00)[0:+]; FREEMAIL_ENVFROM(0.00)[yahoo.com]; ASN(0.00)[asn:36647, ipnet:98.137.64.0/21, country:US]; MID_RHS_MATCH_FROM(0.00)[]; DWL_DNSWL_NONE(0.00)[yahoo.com.dwl.dnswl.org : 127.0.5.0]; ARC_NA(0.00)[]; NEURAL_HAM_MEDIUM(-0.90)[-0.903,0]; R_DKIM_ALLOW(-0.20)[yahoo.com:s=s2048]; FROM_HAS_DN(0.00)[]; RCPT_COUNT_THREE(0.00)[3]; NEURAL_HAM_LONG(-0.89)[-0.886,0]; MIME_GOOD(-0.10)[text/plain]; IP_SCORE(0.00)[ip: (1.13), ipnet: 98.137.64.0/21(0.91), asn: 36647(0.72), country: US(-0.05)]; IP_SCORE_FREEMAIL(0.00)[]; TO_MATCH_ENVRCPT_SOME(0.00)[]; RCVD_IN_DNSWL_NONE(0.00)[204.64.137.98.list.dnswl.org : 127.0.5.0]; RCVD_COUNT_TWO(0.00)[2] X-BeenThere: freebsd-toolchain@freebsd.org X-Mailman-Version: 2.1.29 Precedence: list List-Id: Maintenance of FreeBSD's integrated toolchain List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Wed, 07 Aug 2019 02:55:27 -0000 [This note is not for Brooks and I'm not sending directly to him. It is for others that may be exploring before his "either/or" is figured out for general builds.] On 2019-Aug-6, at 19:04, Mark Millard wrote: > On 2019-Aug-6, at 17:59, Mark Millard wrote: >=20 >=20 >=20 >>> . . . >>=20 >> poudriere-devel automatically built math/z3 because >> I'd indicated to build devel/llvm90 . math/z3 was not >> previously built: I've never had other use of it. So >> my context was not one of an implicit autodetect. >>=20 >> It looks like that happened because of >> devel/llvm90/Makefile having: >>=20 >> LIT_DESC=3D Install lit and FileCheck test tools >> LIT_LIB_DEPENDS=3D libz3.so:math/z3 >> LIT_VARS=3D _USES_PYTHON=3Dpython:3.6+ >=20 > I tried deleting the package for math/z3 from > poudriere and using: >=20 > FBSDFHUGE# svnlite diff /usr/ports/devel/llvm90 > Index: /usr/ports/devel/llvm90/Makefile > =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D > --- /usr/ports/devel/llvm90/Makefile (revision 508197) > +++ /usr/ports/devel/llvm90/Makefile (working copy) > @@ -110,7 +110,7 @@ > GOLD_CMAKE_ON=3D = -DLLVM_BINUTILS_INCDIR=3D${LOCALBASE}/include > GOLD_BUILD_DEPENDS=3D ${LOCALBASE}/bin/ld.gold:devel/binutils > LIT_DESC=3D Install lit and FileCheck test tools > -LIT_LIB_DEPENDS=3D libz3.so:math/z3 > +#LIT_LIB_DEPENDS=3D libz3.so:math/z3 > LIT_VARS=3D _USES_PYTHON=3Dpython:3.6+ > LLD_DESC=3D Install lld, the LLVM linker > LLD_DISTFILES=3D lld-${DISTVERSION}.src${EXTRACT_SUFX} >=20 > devel/llvm90 is building via poudriere-devel without > first building math/z3 . We will see if it completes > okay. >=20 > If it does I'll try a pkg delete of math/z3 and > an install of the devel/llvm90 . >=20 > . . . The above makes poudriere builds of devel/llvm90 not depend on libz3.so and does not try to build math/z3 or to put it in place during the llvm90 build. But it would apparently not help portmaster or the like avoid creating the dependency if libz3.so was in place. So poudriere users appear to have a way around the math/z3 consequences for now. One of the consequences was the messages about: OMP: Info #270: omp_set_nested routine deprecated, please use = omp_set_max_active_levels instead. Those are also gone by building and installing via poudriere with such a devel/llvm90/Makefile . It looks like portmaster or such needs to be used to see if one has successfully disabled automatic libz3.so detection in llvm90's cmake infrastructure. (I normally build via poudriere-devel .) =3D=3D=3D Mark Millard marklmi at yahoo.com ( dsl-only.net went away in early 2018-Mar) From owner-freebsd-toolchain@freebsd.org Wed Aug 7 03:23:47 2019 Return-Path: Delivered-To: freebsd-toolchain@mailman.nyi.freebsd.org Received: from mx1.freebsd.org (mx1.freebsd.org [IPv6:2610:1c1:1:606c::19:1]) by mailman.nyi.freebsd.org (Postfix) with ESMTP id A6A8ABC5E9 for ; Wed, 7 Aug 2019 03:23:47 +0000 (UTC) (envelope-from marklmi@yahoo.com) Received: from sonic316-21.consmr.mail.ne1.yahoo.com (sonic316-21.consmr.mail.ne1.yahoo.com [66.163.187.147]) (using TLSv1.2 with cipher ECDHE-RSA-AES128-GCM-SHA256 (128/128 bits)) (Client did not present a certificate) by mx1.freebsd.org (Postfix) with ESMTPS id 463H0L2xZyz48fn for ; Wed, 7 Aug 2019 03:23:46 +0000 (UTC) (envelope-from marklmi@yahoo.com) X-YMail-OSG: aTAUme4VM1nQ95fDLHKReY8v92HrCgWrpUQ_marTkOWeQCSOgKYCaz6S4bL.v41 OCxQHtkNAi6HCYNJmYcLc7kunWVU_9g7cN5aPcrXcausEULyLQDaud.BtuOru5S_VZ10to0XU9b7 Gik5hNnkRrgKFck4GVJw2fR2dSy5OqADlf7.CVDDp5yeXSP3SOFGdChjELD5t1X3q11HdAOF5swY T4VCGb_B_wsKMiHziVV6viUT364k2KkPenIeJW8oooNpuqHpkdITQFQilLjnDqKCsMS.6mYkk0xt YcjS5ZWGco96yTef.smptZHaJIC5_2iwxaRZoS82Z332Y4KndT_kfgrDk9ds6.iTXSApwFghtrUP 3BsWXjLetH2AN.AHFEPBIeJ.8K98ZqUFbdjneBYAzPsiR3tTDQstDpfbGIGLc3JtjZ3LHeNZlyxj Ox0.Bf8ep_SJmlI02YS0EYM_nT83h_2u84owl2B0NR2X1XxBvUnSi.coYpJP9Qm2EMUCBDcg_H4s jbgqWnOthu0KKW77FXJS6GjpIIHtbD_2EFbM3Miw9a66CSBi3YC22oK5LcYV3SQzrC2AkrALe6nH hZu5hT1jv.KoNOtxaI8HU6GSW.H328ed2xA.AgSnsSn3bb8IkiqEwp.aGH0C41j7hEl.ACYqyi_o EXCRjzn3eoTiFEUOFa4VXDENw7jf3Bt2KtIuOGZ3KTGgJ0uVPJargitQIcwALltt5XhpRp8BoLzG zT3TikDtX6lSCWo0ptfa194JT0LOu..jarGpqKYqk8B2qwE69WAWXVm0RW5ZaTMpeIpFAT59FXhJ pyz6kVPYs4vKQj4pNqO7YDTDKkbpBBdAN2_6u1qn6lxiH9gcpTQtEOJCk_0VDe7FQPanqgNDJCF5 kPK918vJByi1cqHZAeyGSoefxHR_874IRudIU7fozj7g5dLFxI6jIieie44LZvAFZdT27WgNOi4W IQXePARnpXiycDTBQvEj.IuHcqa6Lm.y2cBl3KByiPCmoWGbgoD8L8qFd_hEA432yfUQ1zEuCzXM Xp0x_PTPqDsuKpHq8e6GIDHRLJ9KOioMc6JzjqixV3lUTNMfJy2RWpewRpydPOUS8O94CCfiSwRa r9hxU50E5t8w9cVwxH3B_rgIUBJ5pR1OsrUH5RAVYvezv8qd9aSPGHK2JBf8spUMWugJsJCTCBBH VJICV20JFG3PkGvv1Id3Kx3yCndVBjLLrzL2gDfz30n_aoBszpPfUu__pbcoq4Mjd9L5dCap0ZDZ njGg0Dl5MMb9M79Et6qEwuUmmIwA- Received: from sonic.gate.mail.ne1.yahoo.com by sonic316.consmr.mail.ne1.yahoo.com with HTTP; Wed, 7 Aug 2019 03:23:43 +0000 Received: by smtp409.mail.ne1.yahoo.com (Oath Hermes SMTP Server) with ESMTPA ID 48ea5dd116ef73e7948f30d4e969ff9a; Wed, 07 Aug 2019 03:23:41 +0000 (UTC) Content-Type: text/plain; charset=us-ascii Mime-Version: 1.0 (Mac OS X Mail 12.4 \(3445.104.11\)) Subject: Re: devel/llvm90 requires math/z3 first; building math/z3 requires a c++ toolchain be in place From: Mark Millard In-Reply-To: <20190807020826.GH94703@spindle.one-eyed-alien.net> Date: Tue, 6 Aug 2019 20:23:39 -0700 Cc: freebsd-toolchain@freebsd.org, freebsd-ports@freebsd.org, freebsd-ppc@freebsd.org Content-Transfer-Encoding: quoted-printable Message-Id: <602EEB6C-D0B0-4EFB-AB0E-BE98FF1C4D90@yahoo.com> References: <8DB3EAA4-2B88-4180-8386-673524D27C64@yahoo.com> <20190806165525.GC94703@spindle.one-eyed-alien.net> <2A88AADC-8ED0-4FFD-85A8-34C0186D5D4F@yahoo.com> <20190807020826.GH94703@spindle.one-eyed-alien.net> To: Brooks Davis X-Mailer: Apple Mail (2.3445.104.11) X-Rspamd-Queue-Id: 463H0L2xZyz48fn X-Spamd-Bar: / X-Spamd-Result: default: False [-0.69 / 15.00]; TO_DN_SOME(0.00)[]; R_SPF_ALLOW(-0.20)[+ptr:yahoo.com]; FREEMAIL_FROM(0.00)[yahoo.com]; MV_CASE(0.50)[]; DKIM_TRACE(0.00)[yahoo.com:+]; DMARC_POLICY_ALLOW(-0.50)[yahoo.com,reject]; FROM_EQ_ENVFROM(0.00)[]; RCVD_TLS_LAST(0.00)[]; MIME_TRACE(0.00)[0:+]; FREEMAIL_ENVFROM(0.00)[yahoo.com]; ASN(0.00)[asn:36646, ipnet:66.163.184.0/21, country:US]; MID_RHS_MATCH_FROM(0.00)[]; DWL_DNSWL_NONE(0.00)[yahoo.com.dwl.dnswl.org : 127.0.5.0]; ARC_NA(0.00)[]; NEURAL_HAM_MEDIUM(-0.40)[-0.395,0]; R_DKIM_ALLOW(-0.20)[yahoo.com:s=s2048]; FROM_HAS_DN(0.00)[]; RCPT_COUNT_THREE(0.00)[4]; NEURAL_SPAM_SHORT(0.57)[0.568,0]; NEURAL_HAM_LONG(-0.36)[-0.359,0]; MIME_GOOD(-0.10)[text/plain]; IP_SCORE(0.00)[ip: (4.59), ipnet: 66.163.184.0/21(1.27), asn: 36646(1.02), country: US(-0.05)]; IP_SCORE_FREEMAIL(0.00)[]; TO_MATCH_ENVRCPT_SOME(0.00)[]; RCVD_IN_DNSWL_NONE(0.00)[147.187.163.66.list.dnswl.org : 127.0.5.0]; RCVD_COUNT_TWO(0.00)[2] X-BeenThere: freebsd-toolchain@freebsd.org X-Mailman-Version: 2.1.29 Precedence: list List-Id: Maintenance of FreeBSD's integrated toolchain List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Wed, 07 Aug 2019 03:23:47 -0000 On 2019-Aug-6, at 19:08, Brooks Davis wrote: > On Tue, Aug 06, 2019 at 05:59:21PM -0700, Mark Millard wrote: >>=20 >>=20 >> On 2019-Aug-6, at 09:55, Brooks Davis wrote: >>=20 >>> I'd prefer to disable this dependency. There's a knob that worked = in >>> the 8.0 timeframe, but the lit build now autodetects z3 when it is >>> present and I've failed to find a knob to disable it. For now, the = easy >>> workaround is probably to disable options LIT. We could make that = the >>> default on non-LLVM platforms is that makes sense. >>>=20 >>> -- Brooks >>=20 >> Okay. >>=20 >> poudriere-devel automatically built math/z3 because >> I'd indicated to build devel/llvm90 . math/z3 was not >> previously built: I've never had other use of it. So >> my context was not one of an implicit autodetect. >=20 > The dependency is there because if z3 is installed then the package > that is built depends on z3. Thus I had not choice but to add a z3 > dependency until I find a way to turn it off. You can either help = find > a way to disable z3 detection in the cmake infrastructure or turn off > LIT. I don't have any use for reports on the effects of commenting = out > the DEPENDS line. I know what that does. I hope this helps. (I'm not a cmake expert.) llvm-9.0.0rc1.src/lib/Support/Z3Solver.cpp does: #if LLVM_WITH_Z3 =20 #include =20 namespace { . . . } // end anonymous namespace =20 #endif llvm::SMTSolverRef llvm::CreateZ3Solver() { #if LLVM_WITH_Z3 return llvm::make_unique(); #else llvm::report_fatal_error("LLVM was not compiled with Z3 support, = rebuild " "with -DLLVM_ENABLE_Z3_SOLVER=3DON", false); return nullptr; #endif } (There are other places LLVM_WITH_Z3 is used but the above is suggestive.) Working backwards finds that: /wrkdirs/usr/ports/devel/llvm90/work/llvm-9.0.0rc1.src/CMakeLists.txt shows LLVM_WITH_Z3 being conditionally set to 1 via . . . set(LLVM_Z3_INSTALL_DIR "" CACHE STRING "Install directory of the Z3 = solver.") find_package(Z3 4.7.1) =20 if (LLVM_Z3_INSTALL_DIR) if (NOT Z3_FOUND) message(FATAL_ERROR "Z3 >=3D 4.7.1 has not been found in = LLVM_Z3_INSTALL_DIR: ${LLVM_Z3_INSTALL_DIR}.") endif() endif() =20 set(LLVM_ENABLE_Z3_SOLVER_DEFAULT "${Z3_FOUND}") =20 option(LLVM_ENABLE_Z3_SOLVER "Enable Support for the Z3 constraint solver in LLVM." ${LLVM_ENABLE_Z3_SOLVER_DEFAULT} ) =20 if (LLVM_ENABLE_Z3_SOLVER) if (NOT Z3_FOUND) message(FATAL_ERROR "LLVM_ENABLE_Z3_SOLVER cannot be enabled when Z3 = is not available.") endif() set(LLVM_WITH_Z3 1) endif() if( LLVM_TARGETS_TO_BUILD STREQUAL "all" ) set( LLVM_TARGETS_TO_BUILD ${LLVM_ALL_TARGETS} ) endif() If I read that correctly, LLVM_ENABLE_Z3_SOLVER set directly appears to override the default (that tracks if z3 was found). =3D=3D=3D Mark Millard marklmi at yahoo.com ( dsl-only.net went away in early 2018-Mar) From owner-freebsd-toolchain@freebsd.org Wed Aug 7 04:23:02 2019 Return-Path: Delivered-To: freebsd-toolchain@mailman.nyi.freebsd.org Received: from mx1.freebsd.org (mx1.freebsd.org [IPv6:2610:1c1:1:606c::19:1]) by mailman.nyi.freebsd.org (Postfix) with ESMTP id 28A10BDB15 for ; Wed, 7 Aug 2019 04:23:02 +0000 (UTC) (envelope-from marklmi@yahoo.com) Received: from sonic308-8.consmr.mail.gq1.yahoo.com (sonic308-8.consmr.mail.gq1.yahoo.com [98.137.68.32]) (using TLSv1.2 with cipher ECDHE-RSA-AES128-GCM-SHA256 (128/128 bits)) (Client did not present a certificate) by mx1.freebsd.org (Postfix) with ESMTPS id 463JJh5f2nz4CKY for ; Wed, 7 Aug 2019 04:23:00 +0000 (UTC) (envelope-from marklmi@yahoo.com) X-YMail-OSG: FjP4J4sVM1mm3j6A6c95tiyVL1uxttCYYwjntHFmkwCWnzKrX29YOdAY3._2stU BAqwM_HRSmDmMPK6T8ZQUmlvNHJ_X0ZvR90nsAwqRgpbRN5xn4luyIdSkvlC1dOfBSpQrujjubs_ GiBMPEfd7siV_eKsKNZlELFp_r0v_8MKrNULSTq9BMN65eObv5JX54zVsmCXZM8LIosjxPcqLfXc 7ztPuxOIY4v8UEw36.soyzK07N763AVj1CaRlUTh48f_imiCpiSPyJSyRzH4JMtnGmYMIth7kYIk _Loh7j9gbURwNMYo1ExaR4qNUcHkYczWz2t59PWv6QN91JW1YfTr4SEiJmrM2ySIKgrQZ80uBa.r cDImkWVX5EwVimIMAtJLYrXzkk.jH9O7qQtZb0xlNNiwN7yTwjX__XRyGuoKma8XsVLG9XRobWBq X78U5jHig_7gfA0e56YT6Oe2Vtz5ITEmt9vaBwuQ0XtAN0AHspi3NLjbzGQxtxQrqzUIpogDwpA0 GBlanMPPQ.OK1qvAm_oVYsVhJuoVLwInYdVu5gXVUvro3bPu3H5TKg99p_sEuviUTsLfYJdtw4Hu PQBjibirg5CFMHwxnnJx5oBWYE5_OIMNfxxpMhtkOKUpm4OwcMg2.XUXK45WR2dpNZgMcN2qgL9w Octnrq7u0MMnsnOjsgo7QkrBvC0EiIqA7XcKEUKsGtkK9CNCQEvL8nRWMIIos1o4iZk9D1GH4iIO pQKba9RJlWRriYp6XTdg0qy4AF651LzP0YKjkQXq5itLsBQ_WobQfcjl1djQ7A6j5UlpWTMerZlG 24LDeO3bqyseuK3rEglSX6cNsiNFeuWg6B.jzzYh.FiPSCYeERDd_JfiCg1OomwYDnUCuldWmCFn askGlExSoE8MSfIxmhWp6jbfnzkrnjAfMCaat7CE.rfCz8Ub0YQKJ3IrZFAfm4iQUFeUoVQDdUCq z0RUavi3E8aiYRtuYllmY.Rp3lxBO35zqC4gQucD5p3TBLYQcq6VppsoKGFk0F5o3qpNrTIo_yFC A2kK0jUtvCEg5bxnbQKj8sIqByyWlkMcpFPA4cTxQkdv7GC7CZRjC40GI9e23j6SfehchE.Kxjan rnRd4Tg4X.A_5j09atellg9O0rtNWPFqt8Nb3joSguLiXmZbUioGx36qNXLoIzbd70cl6_tjMqA6 Mov9D9Ierjg1ospz8pzv_zb6Jsa5LLsjz5fSTNSLvQarIz70r0w7Yo4meuipuxws7hRW_N9Q7iZR gtq7pDHpu3TlZB7OqF0UZgDVkP58- Received: from sonic.gate.mail.ne1.yahoo.com by sonic308.consmr.mail.gq1.yahoo.com with HTTP; Wed, 7 Aug 2019 04:22:58 +0000 Received: by smtp414.mail.gq1.yahoo.com (Oath Hermes SMTP Server) with ESMTPA ID 824dab95f2bc27aef8828c865105acd8; Wed, 07 Aug 2019 04:22:53 +0000 (UTC) Content-Type: text/plain; charset=us-ascii Mime-Version: 1.0 (Mac OS X Mail 12.4 \(3445.104.11\)) Subject: Re: devel/llvm90 requires math/z3 first; building math/z3 requires a c++ toolchain be in place From: Mark Millard In-Reply-To: <602EEB6C-D0B0-4EFB-AB0E-BE98FF1C4D90@yahoo.com> Date: Tue, 6 Aug 2019 21:22:52 -0700 Cc: freebsd-toolchain@freebsd.org, freebsd-ports@freebsd.org, freebsd-ppc@freebsd.org Content-Transfer-Encoding: quoted-printable Message-Id: <086C99B8-1289-4D81-AAF5-85FB0AE70B7C@yahoo.com> References: <8DB3EAA4-2B88-4180-8386-673524D27C64@yahoo.com> <20190806165525.GC94703@spindle.one-eyed-alien.net> <2A88AADC-8ED0-4FFD-85A8-34C0186D5D4F@yahoo.com> <20190807020826.GH94703@spindle.one-eyed-alien.net> <602EEB6C-D0B0-4EFB-AB0E-BE98FF1C4D90@yahoo.com> To: Brooks Davis X-Mailer: Apple Mail (2.3445.104.11) X-Rspamd-Queue-Id: 463JJh5f2nz4CKY X-Spamd-Bar: - X-Spamd-Result: default: False [-1.84 / 15.00]; TO_DN_SOME(0.00)[]; R_SPF_ALLOW(-0.20)[+ptr:yahoo.com]; FREEMAIL_FROM(0.00)[yahoo.com]; MV_CASE(0.50)[]; DKIM_TRACE(0.00)[yahoo.com:+]; DMARC_POLICY_ALLOW(-0.50)[yahoo.com,reject]; FROM_EQ_ENVFROM(0.00)[]; RCVD_TLS_LAST(0.00)[]; MIME_TRACE(0.00)[0:+]; FREEMAIL_ENVFROM(0.00)[yahoo.com]; ASN(0.00)[asn:36647, ipnet:98.137.64.0/21, country:US]; MID_RHS_MATCH_FROM(0.00)[]; DWL_DNSWL_NONE(0.00)[yahoo.com.dwl.dnswl.org : 127.0.5.0]; ARC_NA(0.00)[]; NEURAL_HAM_MEDIUM(-0.78)[-0.777,0]; R_DKIM_ALLOW(-0.20)[yahoo.com:s=s2048]; FROM_HAS_DN(0.00)[]; RCPT_COUNT_THREE(0.00)[4]; NEURAL_SPAM_SHORT(0.21)[0.211,0]; NEURAL_HAM_LONG(-0.77)[-0.771,0]; MIME_GOOD(-0.10)[text/plain]; IP_SCORE(0.00)[ip: (2.42), ipnet: 98.137.64.0/21(0.90), asn: 36647(0.72), country: US(-0.05)]; IP_SCORE_FREEMAIL(0.00)[]; TO_MATCH_ENVRCPT_SOME(0.00)[]; RCVD_IN_DNSWL_NONE(0.00)[32.68.137.98.list.dnswl.org : 127.0.5.0]; RCVD_COUNT_TWO(0.00)[2] X-BeenThere: freebsd-toolchain@freebsd.org X-Mailman-Version: 2.1.29 Precedence: list List-Id: Maintenance of FreeBSD's integrated toolchain List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Wed, 07 Aug 2019 04:23:02 -0000 [I found something known to be missing in the in at least some versions of llvm/cmake/modules/CrossCompile.cmake that messes up the overall handling of LLVM_ENABLE_Z3_SOLVER .] On 2019-Aug-6, at 20:23, Mark Millard wrote: > On 2019-Aug-6, at 19:08, Brooks Davis wrote: >=20 >> On Tue, Aug 06, 2019 at 05:59:21PM -0700, Mark Millard wrote: >>>=20 >>>=20 >>> On 2019-Aug-6, at 09:55, Brooks Davis wrote: >>>=20 >>>> I'd prefer to disable this dependency. There's a knob that worked = in >>>> the 8.0 timeframe, but the lit build now autodetects z3 when it is >>>> present and I've failed to find a knob to disable it. For now, the = easy >>>> workaround is probably to disable options LIT. We could make that = the >>>> default on non-LLVM platforms is that makes sense. >>>>=20 >>>> -- Brooks >>>=20 >>> Okay. >>>=20 >>> poudriere-devel automatically built math/z3 because >>> I'd indicated to build devel/llvm90 . math/z3 was not >>> previously built: I've never had other use of it. So >>> my context was not one of an implicit autodetect. >>=20 >> The dependency is there because if z3 is installed then the package >> that is built depends on z3. Thus I had not choice but to add a z3 >> dependency until I find a way to turn it off. You can either help = find >> a way to disable z3 detection in the cmake infrastructure or turn off >> LIT. I don't have any use for reports on the effects of commenting = out >> the DEPENDS line. I know what that does. >=20 >=20 > I hope this helps. (I'm not a cmake expert.) >=20 > llvm-9.0.0rc1.src/lib/Support/Z3Solver.cpp does: >=20 > #if LLVM_WITH_Z3 >=20 > #include >=20 > namespace { > . . . > } // end anonymous namespace >=20 > #endif >=20 > llvm::SMTSolverRef llvm::CreateZ3Solver() { > #if LLVM_WITH_Z3 > return llvm::make_unique(); > #else > llvm::report_fatal_error("LLVM was not compiled with Z3 support, = rebuild " > "with -DLLVM_ENABLE_Z3_SOLVER=3DON", > false); > return nullptr; > #endif > } >=20 > (There are other places LLVM_WITH_Z3 is used but the > above is suggestive.) >=20 > Working backwards finds that: >=20 > /wrkdirs/usr/ports/devel/llvm90/work/llvm-9.0.0rc1.src/CMakeLists.txt >=20 > shows LLVM_WITH_Z3 being conditionally set to 1 via . . . >=20 > set(LLVM_Z3_INSTALL_DIR "" CACHE STRING "Install directory of the Z3 = solver.") >=20 > find_package(Z3 4.7.1) >=20 > if (LLVM_Z3_INSTALL_DIR) > if (NOT Z3_FOUND) > message(FATAL_ERROR "Z3 >=3D 4.7.1 has not been found in = LLVM_Z3_INSTALL_DIR: ${LLVM_Z3_INSTALL_DIR}.") > endif() > endif() >=20 > set(LLVM_ENABLE_Z3_SOLVER_DEFAULT "${Z3_FOUND}") >=20 > option(LLVM_ENABLE_Z3_SOLVER > "Enable Support for the Z3 constraint solver in LLVM." > ${LLVM_ENABLE_Z3_SOLVER_DEFAULT} > ) >=20 > if (LLVM_ENABLE_Z3_SOLVER) > if (NOT Z3_FOUND) > message(FATAL_ERROR "LLVM_ENABLE_Z3_SOLVER cannot be enabled when = Z3 is not available.") > endif() >=20 > set(LLVM_WITH_Z3 1) > endif() >=20 > if( LLVM_TARGETS_TO_BUILD STREQUAL "all" ) > set( LLVM_TARGETS_TO_BUILD ${LLVM_ALL_TARGETS} ) > endif() >=20 >=20 > If I read that correctly, LLVM_ENABLE_Z3_SOLVER set directly > appears to override the default (that tracks if z3 was found). I saw a reference to: diff --git a/llvm/cmake/modules/CrossCompile.cmake = b/llvm/cmake/modules/CrossCompile.cmake index bc3b210f018..0c30b88f80f 100644 --- a/llvm/cmake/modules/CrossCompile.cmake +++ b/llvm/cmake/modules/CrossCompile.cmake @@ -53,6 +53,7 @@ function(llvm_create_cross_target_internal target_name = toolchain buildtype) -DLLVM_DEFAULT_TARGET_TRIPLE=3D"${TARGET_TRIPLE}" -DLLVM_TARGET_ARCH=3D"${LLVM_TARGET_ARCH}" = -DLLVM_TEMPORARILY_ALLOW_OLD_TOOLCHAIN=3D"${LLVM_TEMPORARILY_ALLOW_OLD_TOO= LCHAIN}" + -DLLVM_ENABLE_Z3_SOLVER=3D"${LLVM_ENABLE_Z3_SOLVER}" ${build_type_flags} ${linker_flag} ${external_clang_dir} WORKING_DIRECTORY ${LLVM_${target_name}_BUILD} DEPENDS CREATE_LLVM_${target_name} in https://reviews.llvm.org/D54978 on Feb 12 2019, 5:41 PM and it had the comment: QUOTE Independent of the rest of the discussion, this patch should be part of = the reland, to make sure that explicitly turning off Z3 works reliably. = Thanks for coming up with that, and thanks everyone for the good = discussion here :) END QUOTE This apparently fixes a sub-cmake not respecting the LLVM_ENABLE_Z3_SOLVER setting in the parent cmake. (The overall review earlier describes the sub-cmake not doing the right thing.) =3D=3D=3D Mark Millard marklmi at yahoo.com ( dsl-only.net went away in early 2018-Mar) From owner-freebsd-toolchain@freebsd.org Wed Aug 7 06:01:29 2019 Return-Path: Delivered-To: freebsd-toolchain@mailman.nyi.freebsd.org Received: from mx1.freebsd.org (mx1.freebsd.org [IPv6:2610:1c1:1:606c::19:1]) by mailman.nyi.freebsd.org (Postfix) with ESMTP id D2CB2BFCB7 for ; Wed, 7 Aug 2019 06:01:29 +0000 (UTC) (envelope-from bugzilla-noreply@freebsd.org) Received: from mailman.nyi.freebsd.org (mailman.nyi.freebsd.org [IPv6:2610:1c1:1:606c::50:13]) by mx1.freebsd.org (Postfix) with ESMTP id 463LVK5GGnz4HLn for ; Wed, 7 Aug 2019 06:01:29 +0000 (UTC) (envelope-from bugzilla-noreply@freebsd.org) Received: by mailman.nyi.freebsd.org (Postfix) id B49A6BFCB6; Wed, 7 Aug 2019 06:01:29 +0000 (UTC) Delivered-To: toolchain@mailman.nyi.freebsd.org Received: from mx1.freebsd.org (mx1.freebsd.org [IPv6:2610:1c1:1:606c::19:1]) by mailman.nyi.freebsd.org (Postfix) with ESMTP id B463EBFCB5 for ; Wed, 7 Aug 2019 06:01:29 +0000 (UTC) (envelope-from bugzilla-noreply@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) server-signature RSA-PSS (4096 bits) client-signature RSA-PSS (4096 bits) client-digest SHA256) (Client CN "mxrelay.nyi.freebsd.org", Issuer "Let's Encrypt Authority X3" (verified OK)) by mx1.freebsd.org (Postfix) with ESMTPS id 463LVK4NClz4HLm for ; Wed, 7 Aug 2019 06:01:29 +0000 (UTC) (envelope-from bugzilla-noreply@freebsd.org) Received: from kenobi.freebsd.org (kenobi.freebsd.org [IPv6:2610:1c1:1:606c::50:1d]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (Client did not present a certificate) by mxrelay.nyi.freebsd.org (Postfix) with ESMTPS id 77FB08133 for ; Wed, 7 Aug 2019 06:01:29 +0000 (UTC) (envelope-from bugzilla-noreply@freebsd.org) Received: from kenobi.freebsd.org ([127.0.1.5]) by kenobi.freebsd.org (8.15.2/8.15.2) with ESMTP id x7761Tai064698 for ; Wed, 7 Aug 2019 06:01:29 GMT (envelope-from bugzilla-noreply@freebsd.org) Received: (from www@localhost) by kenobi.freebsd.org (8.15.2/8.15.2/Submit) id x7761TU2064697 for toolchain@FreeBSD.org; Wed, 7 Aug 2019 06:01:29 GMT (envelope-from bugzilla-noreply@freebsd.org) X-Authentication-Warning: kenobi.freebsd.org: www set sender to bugzilla-noreply@freebsd.org using -f From: bugzilla-noreply@freebsd.org To: toolchain@FreeBSD.org Subject: [Bug 234201] Regression in LLVM libunwind: Apache Tomcat web application crashes on 12.0 (but not on 11.2) Date: Wed, 07 Aug 2019 06:01:27 +0000 X-Bugzilla-Reason: AssignedTo X-Bugzilla-Type: changed X-Bugzilla-Watch-Reason: None X-Bugzilla-Product: Base System X-Bugzilla-Component: bin X-Bugzilla-Version: 12.0-RELEASE X-Bugzilla-Keywords: crash, regression, toolchain X-Bugzilla-Severity: Affects Only Me X-Bugzilla-Who: dim@FreeBSD.org X-Bugzilla-Status: Closed X-Bugzilla-Resolution: FIXED X-Bugzilla-Priority: --- X-Bugzilla-Assigned-To: toolchain@FreeBSD.org X-Bugzilla-Flags: X-Bugzilla-Changed-Fields: resolution bug_status Message-ID: In-Reply-To: References: Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable X-Bugzilla-URL: https://bugs.freebsd.org/bugzilla/ Auto-Submitted: auto-generated MIME-Version: 1.0 X-BeenThere: freebsd-toolchain@freebsd.org X-Mailman-Version: 2.1.29 Precedence: list List-Id: Maintenance of FreeBSD's integrated toolchain List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Wed, 07 Aug 2019 06:01:29 -0000 https://bugs.freebsd.org/bugzilla/show_bug.cgi?id=3D234201 Dimitry Andric changed: What |Removed |Added ---------------------------------------------------------------------------- Resolution|--- |FIXED Status|In Progress |Closed --- Comment #17 from Dimitry Andric --- Fixed in 12.0-RELEASE-p9 and 11.2-RELEASE-p13 with an Errata Notice: https://www.freebsd.org/security/advisories/FreeBSD-EN-19:15.libunwind.asc --=20 You are receiving this mail because: You are the assignee for the bug.= From owner-freebsd-toolchain@freebsd.org Wed Aug 7 11:00:33 2019 Return-Path: Delivered-To: freebsd-toolchain@mailman.nyi.freebsd.org Received: from mx1.freebsd.org (mx1.freebsd.org [IPv6:2610:1c1:1:606c::19:1]) by mailman.nyi.freebsd.org (Postfix) with ESMTP id 3C67BC692E for ; Wed, 7 Aug 2019 11:00:33 +0000 (UTC) (envelope-from bugzilla-noreply@freebsd.org) Received: from mailman.nyi.freebsd.org (mailman.nyi.freebsd.org [IPv6:2610:1c1:1:606c::50:13]) by mx1.freebsd.org (Postfix) with ESMTP id 463T7P0xFKz4YqB for ; Wed, 7 Aug 2019 11:00:33 +0000 (UTC) (envelope-from bugzilla-noreply@freebsd.org) Received: by mailman.nyi.freebsd.org (Postfix) id 1E424C692D; Wed, 7 Aug 2019 11:00:33 +0000 (UTC) Delivered-To: toolchain@mailman.nyi.freebsd.org Received: from mx1.freebsd.org (mx1.freebsd.org [IPv6:2610:1c1:1:606c::19:1]) by mailman.nyi.freebsd.org (Postfix) with ESMTP id 1E09BC692C for ; Wed, 7 Aug 2019 11:00:33 +0000 (UTC) (envelope-from bugzilla-noreply@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) server-signature RSA-PSS (4096 bits) client-signature RSA-PSS (4096 bits) client-digest SHA256) (Client CN "mxrelay.nyi.freebsd.org", Issuer "Let's Encrypt Authority X3" (verified OK)) by mx1.freebsd.org (Postfix) with ESMTPS id 463T7N704tz4Yq8 for ; Wed, 7 Aug 2019 11:00:32 +0000 (UTC) (envelope-from bugzilla-noreply@freebsd.org) Received: from kenobi.freebsd.org (kenobi.freebsd.org [IPv6:2610:1c1:1:606c::50:1d]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (Client did not present a certificate) by mxrelay.nyi.freebsd.org (Postfix) with ESMTPS id D249DB722 for ; Wed, 7 Aug 2019 11:00:32 +0000 (UTC) (envelope-from bugzilla-noreply@freebsd.org) Received: from kenobi.freebsd.org ([127.0.1.5]) by kenobi.freebsd.org (8.15.2/8.15.2) with ESMTP id x77B0WRx062870 for ; Wed, 7 Aug 2019 11:00:32 GMT (envelope-from bugzilla-noreply@freebsd.org) Received: (from www@localhost) by kenobi.freebsd.org (8.15.2/8.15.2/Submit) id x77B0WTM062869 for toolchain@FreeBSD.org; Wed, 7 Aug 2019 11:00:32 GMT (envelope-from bugzilla-noreply@freebsd.org) X-Authentication-Warning: kenobi.freebsd.org: www set sender to bugzilla-noreply@freebsd.org using -f From: bugzilla-noreply@freebsd.org To: toolchain@FreeBSD.org Subject: [Bug 234201] Regression in LLVM libunwind: Apache Tomcat web application crashes on 12.0 (but not on 11.2) Date: Wed, 07 Aug 2019 11:00:31 +0000 X-Bugzilla-Reason: AssignedTo X-Bugzilla-Type: changed X-Bugzilla-Watch-Reason: None X-Bugzilla-Product: Base System X-Bugzilla-Component: bin X-Bugzilla-Version: 12.0-RELEASE X-Bugzilla-Keywords: crash, regression, toolchain X-Bugzilla-Severity: Affects Some People X-Bugzilla-Who: koobs@FreeBSD.org X-Bugzilla-Status: Closed X-Bugzilla-Resolution: FIXED X-Bugzilla-Priority: --- X-Bugzilla-Assigned-To: toolchain@FreeBSD.org X-Bugzilla-Flags: X-Bugzilla-Changed-Fields: bug_severity bug_file_loc Message-ID: In-Reply-To: References: Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable X-Bugzilla-URL: https://bugs.freebsd.org/bugzilla/ Auto-Submitted: auto-generated MIME-Version: 1.0 X-BeenThere: freebsd-toolchain@freebsd.org X-Mailman-Version: 2.1.29 Precedence: list List-Id: Maintenance of FreeBSD's integrated toolchain List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Wed, 07 Aug 2019 11:00:33 -0000 https://bugs.freebsd.org/bugzilla/show_bug.cgi?id=3D234201 Kubilay Kocak changed: What |Removed |Added ---------------------------------------------------------------------------- Severity|Affects Only Me |Affects Some People URL| |https://reviews.llvm.org/rL | |316224 --- Comment #18 from Kubilay Kocak --- Merged/committed to releng/* branches in base r350642 I'm assuming this has been resolved in CURRENT with recent upstream version updates being brought it. Was this also merged to stable/* ?=20 If so can we get 'base rXXXXX' references for those --=20 You are receiving this mail because: You are the assignee for the bug.= From owner-freebsd-toolchain@freebsd.org Wed Aug 7 13:32:32 2019 Return-Path: Delivered-To: freebsd-toolchain@mailman.nyi.freebsd.org Received: from mx1.freebsd.org (mx1.freebsd.org [IPv6:2610:1c1:1:606c::19:1]) by mailman.nyi.freebsd.org (Postfix) with ESMTP id 3EFF5AB5E7 for ; Wed, 7 Aug 2019 13:32:32 +0000 (UTC) (envelope-from bugzilla-noreply@freebsd.org) Received: from mailman.nyi.freebsd.org (mailman.nyi.freebsd.org [IPv6:2610:1c1:1:606c::50:13]) by mx1.freebsd.org (Postfix) with ESMTP id 463XVm0ycSz3FbF for ; Wed, 7 Aug 2019 13:32:32 +0000 (UTC) (envelope-from bugzilla-noreply@freebsd.org) Received: by mailman.nyi.freebsd.org (Postfix) id 20D27AB5E5; Wed, 7 Aug 2019 13:32:32 +0000 (UTC) Delivered-To: toolchain@mailman.nyi.freebsd.org Received: from mx1.freebsd.org (mx1.freebsd.org [IPv6:2610:1c1:1:606c::19:1]) by mailman.nyi.freebsd.org (Postfix) with ESMTP id 1F85CAB5E3 for ; Wed, 7 Aug 2019 13:32:32 +0000 (UTC) (envelope-from bugzilla-noreply@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) server-signature RSA-PSS (4096 bits) client-signature RSA-PSS (4096 bits) client-digest SHA256) (Client CN "mxrelay.nyi.freebsd.org", Issuer "Let's Encrypt Authority X3" (verified OK)) by mx1.freebsd.org (Postfix) with ESMTPS id 463XVl6v5Xz3FbC for ; Wed, 7 Aug 2019 13:32:31 +0000 (UTC) (envelope-from bugzilla-noreply@freebsd.org) Received: from kenobi.freebsd.org (kenobi.freebsd.org [IPv6:2610:1c1:1:606c::50:1d]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (Client did not present a certificate) by mxrelay.nyi.freebsd.org (Postfix) with ESMTPS id CFEE4D601 for ; Wed, 7 Aug 2019 13:32:31 +0000 (UTC) (envelope-from bugzilla-noreply@freebsd.org) Received: from kenobi.freebsd.org ([127.0.1.5]) by kenobi.freebsd.org (8.15.2/8.15.2) with ESMTP id x77DWVPr092654 for ; Wed, 7 Aug 2019 13:32:31 GMT (envelope-from bugzilla-noreply@freebsd.org) Received: (from www@localhost) by kenobi.freebsd.org (8.15.2/8.15.2/Submit) id x77DWVkk092651 for toolchain@FreeBSD.org; Wed, 7 Aug 2019 13:32:31 GMT (envelope-from bugzilla-noreply@freebsd.org) X-Authentication-Warning: kenobi.freebsd.org: www set sender to bugzilla-noreply@freebsd.org using -f From: bugzilla-noreply@freebsd.org To: toolchain@FreeBSD.org Subject: [Bug 234201] Regression in LLVM libunwind: Apache Tomcat web application crashes on 12.0 (but not on 11.2) Date: Wed, 07 Aug 2019 13:32:30 +0000 X-Bugzilla-Reason: AssignedTo X-Bugzilla-Type: changed X-Bugzilla-Watch-Reason: None X-Bugzilla-Product: Base System X-Bugzilla-Component: bin X-Bugzilla-Version: 12.0-RELEASE X-Bugzilla-Keywords: crash, regression, toolchain X-Bugzilla-Severity: Affects Some People X-Bugzilla-Who: dim@FreeBSD.org X-Bugzilla-Status: Closed X-Bugzilla-Resolution: FIXED X-Bugzilla-Priority: --- X-Bugzilla-Assigned-To: toolchain@FreeBSD.org X-Bugzilla-Flags: X-Bugzilla-Changed-Fields: Message-ID: In-Reply-To: References: Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable X-Bugzilla-URL: https://bugs.freebsd.org/bugzilla/ Auto-Submitted: auto-generated MIME-Version: 1.0 X-BeenThere: freebsd-toolchain@freebsd.org X-Mailman-Version: 2.1.29 Precedence: list List-Id: Maintenance of FreeBSD's integrated toolchain List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Wed, 07 Aug 2019 13:32:32 -0000 https://bugs.freebsd.org/bugzilla/show_bug.cgi?id=3D234201 --- Comment #19 from Dimitry Andric --- (In reply to Kubilay Kocak from comment #18) > Merged/committed to releng/* branches in base r350642 >=20 > I'm assuming this has been resolved in CURRENT with recent upstream versi= on > updates being brought it. Was this also merged to stable/* ?=20 >=20 > If so can we get 'base rXXXXX' references for those For head, it got fixed in base r345018 ("Merge LLVM libunwind trunk r351319, from just before upstream's release_80 branch point"), on 2019-03-11 18:45:= 36 UTC. For stable/12, it got fixed in base r346168 ("Merge llvm, clang, compiler-r= t, libc++, libunwind, lld, lldb and openmp 8.0.0 final release"), on 2019-04-12 20:03:27 UTC. For stable/11, it got fixed in base r346296 ("Merge llvm, clang, compiler-r= t, libc++, libunwind, lld, lldb and openmp 8.0.0 final release"), on 2019-04-16 20:05:24 UTC. --=20 You are receiving this mail because: You are the assignee for the bug.= From owner-freebsd-toolchain@freebsd.org Wed Aug 7 17:17:22 2019 Return-Path: Delivered-To: freebsd-toolchain@mailman.nyi.freebsd.org Received: from mx1.freebsd.org (mx1.freebsd.org [IPv6:2610:1c1:1:606c::19:1]) by mailman.nyi.freebsd.org (Postfix) with ESMTP id B8E82B189A; Wed, 7 Aug 2019 17:17:22 +0000 (UTC) (envelope-from brooks@spindle.one-eyed-alien.net) Received: from spindle.one-eyed-alien.net (spindle.one-eyed-alien.net [199.48.129.229]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (Client did not present a certificate) by mx1.freebsd.org (Postfix) with ESMTPS id 463dV94v3Dz42NF; Wed, 7 Aug 2019 17:17:21 +0000 (UTC) (envelope-from brooks@spindle.one-eyed-alien.net) Received: by spindle.one-eyed-alien.net (Postfix, from userid 3001) id 0518D3C0199; Wed, 7 Aug 2019 17:17:15 +0000 (UTC) Date: Wed, 7 Aug 2019 17:17:14 +0000 From: Brooks Davis To: Mark Millard Cc: freebsd-toolchain@freebsd.org, freebsd-ports@freebsd.org, freebsd-ppc@freebsd.org Subject: Re: devel/llvm90 requires math/z3 first; building math/z3 requires a c++ toolchain be in place Message-ID: <20190807171714.GI94703@spindle.one-eyed-alien.net> References: <8DB3EAA4-2B88-4180-8386-673524D27C64@yahoo.com> <20190806165525.GC94703@spindle.one-eyed-alien.net> <2A88AADC-8ED0-4FFD-85A8-34C0186D5D4F@yahoo.com> <20190807020826.GH94703@spindle.one-eyed-alien.net> <602EEB6C-D0B0-4EFB-AB0E-BE98FF1C4D90@yahoo.com> <086C99B8-1289-4D81-AAF5-85FB0AE70B7C@yahoo.com> MIME-Version: 1.0 Content-Type: multipart/signed; micalg=pgp-sha1; protocol="application/pgp-signature"; boundary="hcut4fGOf7Kh6EdG" Content-Disposition: inline In-Reply-To: <086C99B8-1289-4D81-AAF5-85FB0AE70B7C@yahoo.com> User-Agent: Mutt/1.9.4 (2018-02-28) X-Rspamd-Queue-Id: 463dV94v3Dz42NF X-Spamd-Bar: ------- Authentication-Results: mx1.freebsd.org; dkim=none; dmarc=none; spf=none (mx1.freebsd.org: domain of brooks@spindle.one-eyed-alien.net has no SPF policy when checking 199.48.129.229) smtp.mailfrom=brooks@spindle.one-eyed-alien.net X-Spamd-Result: default: False [-7.45 / 15.00]; ARC_NA(0.00)[]; FREEMAIL_TO(0.00)[yahoo.com]; NEURAL_HAM_MEDIUM(-1.00)[-0.999,0]; FROM_HAS_DN(0.00)[]; RCPT_COUNT_THREE(0.00)[4]; TO_DN_SOME(0.00)[]; NEURAL_HAM_LONG(-1.00)[-1.000,0]; MIME_GOOD(-0.20)[multipart/signed,text/plain]; DMARC_NA(0.00)[freebsd.org]; AUTH_NA(1.00)[]; TO_MATCH_ENVRCPT_SOME(0.00)[]; NEURAL_HAM_SHORT(-0.99)[-0.986,0]; R_SPF_NA(0.00)[]; SIGNED_PGP(-2.00)[]; FORGED_SENDER(0.30)[brooks@freebsd.org,brooks@spindle.one-eyed-alien.net]; RCVD_COUNT_ZERO(0.00)[0]; R_DKIM_NA(0.00)[]; MIME_TRACE(0.00)[0:+,1:+,2:~]; ASN(0.00)[asn:36236, ipnet:199.48.128.0/22, country:US]; FROM_NEQ_ENVFROM(0.00)[brooks@freebsd.org,brooks@spindle.one-eyed-alien.net]; IP_SCORE(-3.56)[ip: (-9.27), ipnet: 199.48.128.0/22(-4.61), asn: 36236(-3.87), country: US(-0.05)] X-BeenThere: freebsd-toolchain@freebsd.org X-Mailman-Version: 2.1.29 Precedence: list List-Id: Maintenance of FreeBSD's integrated toolchain List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Wed, 07 Aug 2019 17:17:22 -0000 --hcut4fGOf7Kh6EdG Content-Type: text/plain; charset=us-ascii Content-Disposition: inline Content-Transfer-Encoding: quoted-printable On Tue, Aug 06, 2019 at 09:22:52PM -0700, Mark Millard wrote: > [I found something known to be missing in the > in at least some versions of > llvm/cmake/modules/CrossCompile.cmake that messes > up the overall handling of LLVM_ENABLE_Z3_SOLVER .] >=20 > On 2019-Aug-6, at 20:23, Mark Millard wrote: >=20 >=20 >=20 > > On 2019-Aug-6, at 19:08, Brooks Davis wrote: > >=20 > >> On Tue, Aug 06, 2019 at 05:59:21PM -0700, Mark Millard wrote: > >>>=20 > >>>=20 > >>> On 2019-Aug-6, at 09:55, Brooks Davis wrote: > >>>=20 > >>>> I'd prefer to disable this dependency. There's a knob that worked in > >>>> the 8.0 timeframe, but the lit build now autodetects z3 when it is > >>>> present and I've failed to find a knob to disable it. For now, the = easy > >>>> workaround is probably to disable options LIT. We could make that t= he > >>>> default on non-LLVM platforms is that makes sense. > >>>>=20 > >>>> -- Brooks > >>>=20 > >>> Okay. > >>>=20 > >>> poudriere-devel automatically built math/z3 because > >>> I'd indicated to build devel/llvm90 . math/z3 was not > >>> previously built: I've never had other use of it. So > >>> my context was not one of an implicit autodetect. > >>=20 > >> The dependency is there because if z3 is installed then the package > >> that is built depends on z3. Thus I had not choice but to add a z3 > >> dependency until I find a way to turn it off. You can either help find > >> a way to disable z3 detection in the cmake infrastructure or turn off > >> LIT. I don't have any use for reports on the effects of commenting out > >> the DEPENDS line. I know what that does. > >=20 > >=20 > > I hope this helps. (I'm not a cmake expert.) > >=20 > > llvm-9.0.0rc1.src/lib/Support/Z3Solver.cpp does: > >=20 > > #if LLVM_WITH_Z3 > >=20 > > #include > >=20 > > namespace { > > . . . > > } // end anonymous namespace > >=20 > > #endif > >=20 > > llvm::SMTSolverRef llvm::CreateZ3Solver() { > > #if LLVM_WITH_Z3 > > return llvm::make_unique(); > > #else > > llvm::report_fatal_error("LLVM was not compiled with Z3 support, rebui= ld " > > "with -DLLVM_ENABLE_Z3_SOLVER=3DON", > > false); > > return nullptr; > > #endif > > } > >=20 > > (There are other places LLVM_WITH_Z3 is used but the > > above is suggestive.) > >=20 > > Working backwards finds that: > >=20 > > /wrkdirs/usr/ports/devel/llvm90/work/llvm-9.0.0rc1.src/CMakeLists.txt > >=20 > > shows LLVM_WITH_Z3 being conditionally set to 1 via . . . > >=20 > > set(LLVM_Z3_INSTALL_DIR "" CACHE STRING "Install directory of the Z3 so= lver.") > >=20 > > find_package(Z3 4.7.1) > >=20 > > if (LLVM_Z3_INSTALL_DIR) > > if (NOT Z3_FOUND) > > message(FATAL_ERROR "Z3 >=3D 4.7.1 has not been found in LLVM_Z3_INS= TALL_DIR: ${LLVM_Z3_INSTALL_DIR}.") > > endif() > > endif() > >=20 > > set(LLVM_ENABLE_Z3_SOLVER_DEFAULT "${Z3_FOUND}") > >=20 > > option(LLVM_ENABLE_Z3_SOLVER > > "Enable Support for the Z3 constraint solver in LLVM." > > ${LLVM_ENABLE_Z3_SOLVER_DEFAULT} > > ) > >=20 > > if (LLVM_ENABLE_Z3_SOLVER) > > if (NOT Z3_FOUND) > > message(FATAL_ERROR "LLVM_ENABLE_Z3_SOLVER cannot be enabled when Z3= is not available.") > > endif() > >=20 > > set(LLVM_WITH_Z3 1) > > endif() > >=20 > > if( LLVM_TARGETS_TO_BUILD STREQUAL "all" ) > > set( LLVM_TARGETS_TO_BUILD ${LLVM_ALL_TARGETS} ) > > endif() > >=20 > >=20 > > If I read that correctly, LLVM_ENABLE_Z3_SOLVER set directly > > appears to override the default (that tracks if z3 was found). >=20 > I saw a reference to: >=20 > diff --git a/llvm/cmake/modules/CrossCompile.cmake b/llvm/cmake/modules/C= rossCompile.cmake > index bc3b210f018..0c30b88f80f 100644 > --- a/llvm/cmake/modules/CrossCompile.cmake > +++ b/llvm/cmake/modules/CrossCompile.cmake > @@ -53,6 +53,7 @@ function(llvm_create_cross_target_internal target_name = toolchain buildtype) > -DLLVM_DEFAULT_TARGET_TRIPLE=3D"${TARGET_TRIPLE}" > -DLLVM_TARGET_ARCH=3D"${LLVM_TARGET_ARCH}" > -DLLVM_TEMPORARILY_ALLOW_OLD_TOOLCHAIN=3D"${LLVM_TEMPORARILY_ALL= OW_OLD_TOOLCHAIN}" > + -DLLVM_ENABLE_Z3_SOLVER=3D"${LLVM_ENABLE_Z3_SOLVER}" > ${build_type_flags} ${linker_flag} ${external_clang_dir} > WORKING_DIRECTORY ${LLVM_${target_name}_BUILD} > DEPENDS CREATE_LLVM_${target_name} >=20 > in https://reviews.llvm.org/D54978 on Feb 12 2019, 5:41 PM > and it had the comment: >=20 > QUOTE > Independent of the rest of the discussion, this patch should be part of t= he reland, to make sure that explicitly turning off Z3 works reliably. Than= ks for coming up with that, and thanks everyone for the good discussion her= e :) > END QUOTE >=20 > This apparently fixes a sub-cmake not respecting the > LLVM_ENABLE_Z3_SOLVER setting in the parent cmake. > (The overall review earlier describes the sub-cmake > not doing the right thing.) Thanks for digging this up. Unfortunately, this doesn't seem to have solved the problem. With this patch applied I still get this if I have z3 installed on the system and no LIB_DEPENDS line: Error: /usr/local/bin/FileCheck90 is linked to /usr/local/lib/libz3.so.0 =66rom math/z3 but it is not declared as a dependency Warning: you need LIB_DEPENDS+=3Dlibz3.so:math/z3 I've generally observed that the portions of the system that cover lit (which includes FileCheck) aren't very well behaved. -- Brooks --hcut4fGOf7Kh6EdG Content-Type: application/pgp-signature; name="signature.asc" -----BEGIN PGP SIGNATURE----- iQEcBAEBAgAGBQJdSweaAAoJEKzQXbSebgfAA5UIAJJzsmi0ab8JWHEycVSu3yNw cdYOkas553C7tDkhdPCrOmAwvKJqMQRJzLuQ5tQ3TEIn7txDcveq9lrtqy8qRMK0 c3lTHCWdUQUsLzGHNg0XXiBrb82jQb6yl4jT/qsQGXxRJcKkLs1tGO6vK6YYTuRO g2voU1wu+d7Fe5GT4LrCQTvHl8yMR5rpZQ21puWU2Z4lUWGDc2LdQGgDhzf4E2VF 37NrSfsb3LbiiffARRIVjoY3inTd+kCNOP9MtgcWSjiSCVMYQieJgc3a5cqkljmV oZT2rtwNhFSAhtf1q0BBzFKm22TNNIGu35W0N6dxAJxbd3XuXXoo19Z/T6nmdcw= =E2Aq -----END PGP SIGNATURE----- --hcut4fGOf7Kh6EdG-- From owner-freebsd-toolchain@freebsd.org Wed Aug 7 18:02:45 2019 Return-Path: Delivered-To: freebsd-toolchain@mailman.nyi.freebsd.org Received: from mx1.freebsd.org (mx1.freebsd.org [IPv6:2610:1c1:1:606c::19:1]) by mailman.nyi.freebsd.org (Postfix) with ESMTP id 8FA03B31E7; Wed, 7 Aug 2019 18:02:45 +0000 (UTC) (envelope-from brooks@spindle.one-eyed-alien.net) Received: from spindle.one-eyed-alien.net (spindle.one-eyed-alien.net [199.48.129.229]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (Client did not present a certificate) by mx1.freebsd.org (Postfix) with ESMTPS id 463fVX5hgZz45ZB; Wed, 7 Aug 2019 18:02:44 +0000 (UTC) (envelope-from brooks@spindle.one-eyed-alien.net) Received: by spindle.one-eyed-alien.net (Postfix, from userid 3001) id 160EB3C0199; Wed, 7 Aug 2019 18:02:44 +0000 (UTC) Date: Wed, 7 Aug 2019 18:02:44 +0000 From: Brooks Davis To: Mark Millard Cc: freebsd-toolchain@freebsd.org, freebsd-ports@freebsd.org, freebsd-ppc@freebsd.org Subject: Re: devel/llvm90 requires math/z3 first; building math/z3 requires a c++ toolchain be in place Message-ID: <20190807180244.GJ94703@spindle.one-eyed-alien.net> References: <8DB3EAA4-2B88-4180-8386-673524D27C64@yahoo.com> <20190806165525.GC94703@spindle.one-eyed-alien.net> <2A88AADC-8ED0-4FFD-85A8-34C0186D5D4F@yahoo.com> <20190807020826.GH94703@spindle.one-eyed-alien.net> <602EEB6C-D0B0-4EFB-AB0E-BE98FF1C4D90@yahoo.com> <086C99B8-1289-4D81-AAF5-85FB0AE70B7C@yahoo.com> <20190807171714.GI94703@spindle.one-eyed-alien.net> MIME-Version: 1.0 Content-Type: multipart/signed; micalg=pgp-sha1; protocol="application/pgp-signature"; boundary="D6IIOQQv2Iwyp54J" Content-Disposition: inline In-Reply-To: <20190807171714.GI94703@spindle.one-eyed-alien.net> User-Agent: Mutt/1.9.4 (2018-02-28) X-Rspamd-Queue-Id: 463fVX5hgZz45ZB X-Spamd-Bar: ------- Authentication-Results: mx1.freebsd.org; dkim=none; dmarc=none; spf=none (mx1.freebsd.org: domain of brooks@spindle.one-eyed-alien.net has no SPF policy when checking 199.48.129.229) smtp.mailfrom=brooks@spindle.one-eyed-alien.net X-Spamd-Result: default: False [-7.40 / 15.00]; ARC_NA(0.00)[]; NEURAL_HAM_MEDIUM(-1.00)[-0.999,0]; FROM_HAS_DN(0.00)[]; RCPT_COUNT_THREE(0.00)[4]; TO_DN_SOME(0.00)[]; IP_SCORE(-3.56)[ip: (-9.27), ipnet: 199.48.128.0/22(-4.62), asn: 36236(-3.87), country: US(-0.05)]; MIME_GOOD(-0.20)[multipart/signed,text/plain]; DMARC_NA(0.00)[freebsd.org]; AUTH_NA(1.00)[]; NEURAL_HAM_LONG(-1.00)[-1.000,0]; TO_MATCH_ENVRCPT_SOME(0.00)[]; NEURAL_HAM_SHORT(-0.94)[-0.942,0]; R_SPF_NA(0.00)[]; FREEMAIL_TO(0.00)[yahoo.com]; FORGED_SENDER(0.30)[brooks@freebsd.org,brooks@spindle.one-eyed-alien.net]; SIGNED_PGP(-2.00)[]; R_DKIM_NA(0.00)[]; MIME_TRACE(0.00)[0:+,1:+,2:~]; ASN(0.00)[asn:36236, ipnet:199.48.128.0/22, country:US]; FROM_NEQ_ENVFROM(0.00)[brooks@freebsd.org,brooks@spindle.one-eyed-alien.net]; RCVD_COUNT_ZERO(0.00)[0] X-BeenThere: freebsd-toolchain@freebsd.org X-Mailman-Version: 2.1.29 Precedence: list List-Id: Maintenance of FreeBSD's integrated toolchain List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Wed, 07 Aug 2019 18:02:45 -0000 --D6IIOQQv2Iwyp54J Content-Type: text/plain; charset=us-ascii Content-Disposition: inline Content-Transfer-Encoding: quoted-printable On Wed, Aug 07, 2019 at 05:17:14PM +0000, Brooks Davis wrote: > On Tue, Aug 06, 2019 at 09:22:52PM -0700, Mark Millard wrote: > > [I found something known to be missing in the > > in at least some versions of > > llvm/cmake/modules/CrossCompile.cmake that messes > > up the overall handling of LLVM_ENABLE_Z3_SOLVER .] > >=20 > > On 2019-Aug-6, at 20:23, Mark Millard wrote: > >=20 > >=20 > >=20 > > > On 2019-Aug-6, at 19:08, Brooks Davis wrote: > > >=20 > > >> On Tue, Aug 06, 2019 at 05:59:21PM -0700, Mark Millard wrote: > > >>>=20 > > >>>=20 > > >>> On 2019-Aug-6, at 09:55, Brooks Davis wrote: > > >>>=20 > > >>>> I'd prefer to disable this dependency. There's a knob that worked= in > > >>>> the 8.0 timeframe, but the lit build now autodetects z3 when it is > > >>>> present and I've failed to find a knob to disable it. For now, th= e easy > > >>>> workaround is probably to disable options LIT. We could make that= the > > >>>> default on non-LLVM platforms is that makes sense. > > >>>>=20 > > >>>> -- Brooks > > >>>=20 > > >>> Okay. > > >>>=20 > > >>> poudriere-devel automatically built math/z3 because > > >>> I'd indicated to build devel/llvm90 . math/z3 was not > > >>> previously built: I've never had other use of it. So > > >>> my context was not one of an implicit autodetect. > > >>=20 > > >> The dependency is there because if z3 is installed then the package > > >> that is built depends on z3. Thus I had not choice but to add a z3 > > >> dependency until I find a way to turn it off. You can either help f= ind > > >> a way to disable z3 detection in the cmake infrastructure or turn off > > >> LIT. I don't have any use for reports on the effects of commenting = out > > >> the DEPENDS line. I know what that does. > > >=20 > > >=20 > > > I hope this helps. (I'm not a cmake expert.) > > >=20 > > > llvm-9.0.0rc1.src/lib/Support/Z3Solver.cpp does: > > >=20 > > > #if LLVM_WITH_Z3 > > >=20 > > > #include > > >=20 > > > namespace { > > > . . . > > > } // end anonymous namespace > > >=20 > > > #endif > > >=20 > > > llvm::SMTSolverRef llvm::CreateZ3Solver() { > > > #if LLVM_WITH_Z3 > > > return llvm::make_unique(); > > > #else > > > llvm::report_fatal_error("LLVM was not compiled with Z3 support, reb= uild " > > > "with -DLLVM_ENABLE_Z3_SOLVER=3DON", > > > false); > > > return nullptr; > > > #endif > > > } > > >=20 > > > (There are other places LLVM_WITH_Z3 is used but the > > > above is suggestive.) > > >=20 > > > Working backwards finds that: > > >=20 > > > /wrkdirs/usr/ports/devel/llvm90/work/llvm-9.0.0rc1.src/CMakeLists.txt > > >=20 > > > shows LLVM_WITH_Z3 being conditionally set to 1 via . . . > > >=20 > > > set(LLVM_Z3_INSTALL_DIR "" CACHE STRING "Install directory of the Z3 = solver.") > > >=20 > > > find_package(Z3 4.7.1) > > >=20 > > > if (LLVM_Z3_INSTALL_DIR) > > > if (NOT Z3_FOUND) > > > message(FATAL_ERROR "Z3 >=3D 4.7.1 has not been found in LLVM_Z3_I= NSTALL_DIR: ${LLVM_Z3_INSTALL_DIR}.") > > > endif() > > > endif() > > >=20 > > > set(LLVM_ENABLE_Z3_SOLVER_DEFAULT "${Z3_FOUND}") > > >=20 > > > option(LLVM_ENABLE_Z3_SOLVER > > > "Enable Support for the Z3 constraint solver in LLVM." > > > ${LLVM_ENABLE_Z3_SOLVER_DEFAULT} > > > ) > > >=20 > > > if (LLVM_ENABLE_Z3_SOLVER) > > > if (NOT Z3_FOUND) > > > message(FATAL_ERROR "LLVM_ENABLE_Z3_SOLVER cannot be enabled when = Z3 is not available.") > > > endif() > > >=20 > > > set(LLVM_WITH_Z3 1) > > > endif() > > >=20 > > > if( LLVM_TARGETS_TO_BUILD STREQUAL "all" ) > > > set( LLVM_TARGETS_TO_BUILD ${LLVM_ALL_TARGETS} ) > > > endif() > > >=20 > > >=20 > > > If I read that correctly, LLVM_ENABLE_Z3_SOLVER set directly > > > appears to override the default (that tracks if z3 was found). > >=20 > > I saw a reference to: > >=20 > > diff --git a/llvm/cmake/modules/CrossCompile.cmake b/llvm/cmake/modules= /CrossCompile.cmake > > index bc3b210f018..0c30b88f80f 100644 > > --- a/llvm/cmake/modules/CrossCompile.cmake > > +++ b/llvm/cmake/modules/CrossCompile.cmake > > @@ -53,6 +53,7 @@ function(llvm_create_cross_target_internal target_nam= e toolchain buildtype) > > -DLLVM_DEFAULT_TARGET_TRIPLE=3D"${TARGET_TRIPLE}" > > -DLLVM_TARGET_ARCH=3D"${LLVM_TARGET_ARCH}" > > -DLLVM_TEMPORARILY_ALLOW_OLD_TOOLCHAIN=3D"${LLVM_TEMPORARILY_A= LLOW_OLD_TOOLCHAIN}" > > + -DLLVM_ENABLE_Z3_SOLVER=3D"${LLVM_ENABLE_Z3_SOLVER}" > > ${build_type_flags} ${linker_flag} ${external_clang_dir} > > WORKING_DIRECTORY ${LLVM_${target_name}_BUILD} > > DEPENDS CREATE_LLVM_${target_name} > >=20 > > in https://reviews.llvm.org/D54978 on Feb 12 2019, 5:41 PM > > and it had the comment: > >=20 > > QUOTE > > Independent of the rest of the discussion, this patch should be part of= the reland, to make sure that explicitly turning off Z3 works reliably. Th= anks for coming up with that, and thanks everyone for the good discussion h= ere :) > > END QUOTE > >=20 > > This apparently fixes a sub-cmake not respecting the > > LLVM_ENABLE_Z3_SOLVER setting in the parent cmake. > > (The overall review earlier describes the sub-cmake > > not doing the right thing.) >=20 > Thanks for digging this up. Unfortunately, this doesn't seem to have > solved the problem. With this patch applied I still get this if I have > z3 installed on the system and no LIB_DEPENDS line: >=20 > Error: /usr/local/bin/FileCheck90 is linked to /usr/local/lib/libz3.so.0 > from math/z3 but it is not declared as a dependency > Warning: you need LIB_DEPENDS+=3Dlibz3.so:math/z3 >=20 > I've generally observed that the portions of the system that cover lit > (which includes FileCheck) aren't very well behaved. I've filed https://bugs.llvm.org/show_bug.cgi?id=3D42921 upstream, hopefully someone who understand this part of the cmake system will help us out. -- Brooks --D6IIOQQv2Iwyp54J Content-Type: application/pgp-signature; name="signature.asc" -----BEGIN PGP SIGNATURE----- iQEcBAEBAgAGBQJdSxJCAAoJEKzQXbSebgfA/zgH/R6J4rXQf1lRPUAU6UdmaIR/ PZK4kgl0mPJLfvW3QIiF6ID8zP6aaC0GWHk8LZgxDpauD3SNc+Cq6roA2jNM7L7x 7stIDM69HT9vGHXt9/b/YTU6tKCO/3YgZLUkOsNTeG2mpfJleurRdLzdVL2pODNF xtcZNStbYqvpi88Y0bE5nSZ/q9ieBgPFqAMcoUy4ZTKIb1+/K244TwyqQoTmMJzE eatMJ9sgD7l3TUglikpiLplaA3NzozoMPDe+LQTckuds2azdMJo32rHid1iQ+u1G lmYLrkopXCdqQyXKLrnyN4Rgfmn/c3d/aNnkG4iNpdt9oEibbMfsyLl1zBjMwmY= =Zv7c -----END PGP SIGNATURE----- --D6IIOQQv2Iwyp54J-- From owner-freebsd-toolchain@freebsd.org Wed Aug 7 18:55:11 2019 Return-Path: Delivered-To: freebsd-toolchain@mailman.nyi.freebsd.org Received: from mx1.freebsd.org (mx1.freebsd.org [IPv6:2610:1c1:1:606c::19:1]) by mailman.nyi.freebsd.org (Postfix) with ESMTP id 71A1DB444D for ; Wed, 7 Aug 2019 18:55:11 +0000 (UTC) (envelope-from marklmi@yahoo.com) Received: from sonic316-20.consmr.mail.ne1.yahoo.com (sonic316-20.consmr.mail.ne1.yahoo.com [66.163.187.146]) (using TLSv1.2 with cipher ECDHE-RSA-AES128-GCM-SHA256 (128/128 bits)) (Client did not present a certificate) by mx1.freebsd.org (Postfix) with ESMTPS id 463gg22pSqz48rC for ; Wed, 7 Aug 2019 18:55:10 +0000 (UTC) (envelope-from marklmi@yahoo.com) X-YMail-OSG: MFBtSY8VM1kg1efog7CtEdNGIV7M5NKWTD7ignaRLtU0zF1CjT5Zy_hbcgPtVen 6y8tJqejC_w9mKMTMsXFH1a1EkFujo.X7BnNSNoZgncvUVz5FbvmWU0gYpR3f87k6.DzMF6B7OQK fJzgNhcOwI8IlLHyzt4q6a3BesA0UdyaNrV0.WROgHTYisRqgah48S1p5z5XFao6avXyIc03Alwe IkCDn8EUU6HRLSJy0PXboX_B060F._OkObLidJ0eqopDNFtll0O3JpyT9UXJjZX5g8WD78jgv5KN JGyJ.AfTGnpvtHbXFlQOxIRSvQ9XIVNwwHXRxJvL.KtQwTQ8kZIL3YGzMQnmvPppVLH0hcquy8B1 xwhTsvUjVtFvCST2F0XSx0HbpnivnmpUpzBnYE9wYonReAoB2ufIH.IQb7WJa9of98.iYeb482Mq FwnzPFK4SyygXEbj.B0BzrSPyi75hUZMMLbxQkE9OGasSwvYTk0af2Zmdb5.pRohKTTqi0cO.Y75 ZwAk7RyNkgIludV.E7.6t6UKtQ3uhEl4MJsEfpVjVtZv05vvV91tUyo5YHRlwydTgUnNvxi9o.Rn 2qgQOEt7xnMYfEStwBtu3Qe6.kYSWfoAlbyz5f0vZXRpETTwIEJy66DtndoI3oGq70xbFOcI9ce6 bL7Gk6DakfJ9Wveyx8GL1mXb1iquZ2zOVpFnBGV_1wJkkdTqyixghY.2mSmw78dJsBYrjktjrwjq qRWOn5jn9cxuSvBNCb_rEZq3WbxfEkhFM0AaPCNEpY5LoL9Tqd2DPYmf.cjCgt7Q5x72ritv0nH_ uE4FlBC49nIukY7k2z8VMUPQd9dF7hQKqVEHx0niuLiDHzTJ0y2DS53zAa9rK6EPhdbZxhILFvqP Zj32DzRq.2COUrljONwZ2LkkicR6bAx60ZyEQBNnXtRMBLfZlEa9L0p.Lz5_r2ERLbz1yF0ZtdSY T_4wzw4H0zOzVz7HcOBPuZfZokWUrml7Pll5N4Wpx6OMcfFCraXNE318jBSlyTKOrdNTKXzHtQpn a_5KKqWCYFGTO_Oyl9m9XqYmETHwGy.S0FvWwftXnDptg7zEIBuHjm5RsDfGQMnByzt4awVFzOWB zRpuULXLlLkP9Wv5yHngi3srJ8TzoaBty71mzHiQwvvA1HotmbYF88pdTQ62fjG8LikWFmpyF9OZ J2b4aEcFdi2m7HUDB2yKiY0qd7wdbWxG8B_7FluV3G7T.oC2llnhGgM7NzIDl8wAWKfxA_3h9s.v WFD2cXAPQcFMSpQH43SjsEknS9RZx_kw- Received: from sonic.gate.mail.ne1.yahoo.com by sonic316.consmr.mail.ne1.yahoo.com with HTTP; Wed, 7 Aug 2019 18:55:08 +0000 Received: by smtp418.mail.ne1.yahoo.com (Oath Hermes SMTP Server) with ESMTPA ID 8cfdd1c926b229d28c108829364b7ac3; Wed, 07 Aug 2019 18:55:06 +0000 (UTC) Content-Type: text/plain; charset=us-ascii Mime-Version: 1.0 (Mac OS X Mail 12.4 \(3445.104.11\)) Subject: Re: devel/llvm90 requires math/z3 first; building math/z3 requires a c++ toolchain be in place From: Mark Millard In-Reply-To: <20190807180244.GJ94703@spindle.one-eyed-alien.net> Date: Wed, 7 Aug 2019 11:55:04 -0700 Cc: freebsd-toolchain@freebsd.org, freebsd-ports@freebsd.org, freebsd-ppc@freebsd.org Content-Transfer-Encoding: quoted-printable Message-Id: <4FF9540B-E1FE-4947-8E45-8D4FB57A7E34@yahoo.com> References: <8DB3EAA4-2B88-4180-8386-673524D27C64@yahoo.com> <20190806165525.GC94703@spindle.one-eyed-alien.net> <2A88AADC-8ED0-4FFD-85A8-34C0186D5D4F@yahoo.com> <20190807020826.GH94703@spindle.one-eyed-alien.net> <602EEB6C-D0B0-4EFB-AB0E-BE98FF1C4D90@yahoo.com> <086C99B8-1289-4D81-AAF5-85FB0AE70B7C@yahoo.com> <20190807171714.GI94703@spindle.one-eyed-alien.net> <20190807180244.GJ94703@spindle.one-eyed-alien.net> To: Brooks Davis X-Mailer: Apple Mail (2.3445.104.11) X-Rspamd-Queue-Id: 463gg22pSqz48rC X-Spamd-Bar: - X-Spamd-Result: default: False [-1.15 / 15.00]; TO_DN_SOME(0.00)[]; R_SPF_ALLOW(-0.20)[+ptr:yahoo.com]; FREEMAIL_FROM(0.00)[yahoo.com]; MV_CASE(0.50)[]; DKIM_TRACE(0.00)[yahoo.com:+]; DMARC_POLICY_ALLOW(-0.50)[yahoo.com,reject]; FROM_EQ_ENVFROM(0.00)[]; RCVD_TLS_LAST(0.00)[]; MIME_TRACE(0.00)[0:+]; FREEMAIL_ENVFROM(0.00)[yahoo.com]; ASN(0.00)[asn:36646, ipnet:66.163.184.0/21, country:US]; MID_RHS_MATCH_FROM(0.00)[]; DWL_DNSWL_NONE(0.00)[yahoo.com.dwl.dnswl.org : 127.0.5.0]; ARC_NA(0.00)[]; NEURAL_HAM_MEDIUM(-0.96)[-0.960,0]; R_DKIM_ALLOW(-0.20)[yahoo.com:s=s2048]; FROM_HAS_DN(0.00)[]; RCPT_COUNT_THREE(0.00)[4]; NEURAL_SPAM_SHORT(0.87)[0.869,0]; NEURAL_HAM_LONG(-0.56)[-0.558,0]; MIME_GOOD(-0.10)[text/plain]; IP_SCORE(0.00)[ip: (2.84), ipnet: 66.163.184.0/21(1.27), asn: 36646(1.01), country: US(-0.05)]; IP_SCORE_FREEMAIL(0.00)[]; TO_MATCH_ENVRCPT_SOME(0.00)[]; RCVD_IN_DNSWL_NONE(0.00)[146.187.163.66.list.dnswl.org : 127.0.5.0]; RWL_MAILSPIKE_POSSIBLE(0.00)[146.187.163.66.rep.mailspike.net : 127.0.0.17]; RCVD_COUNT_TWO(0.00)[2] X-BeenThere: freebsd-toolchain@freebsd.org X-Mailman-Version: 2.1.29 Precedence: list List-Id: Maintenance of FreeBSD's integrated toolchain List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Wed, 07 Aug 2019 18:55:11 -0000 On 2019-Aug-7, at 11:02, Brooks Davis wrote: > On Wed, Aug 07, 2019 at 05:17:14PM +0000, Brooks Davis wrote: >> On Tue, Aug 06, 2019 at 09:22:52PM -0700, Mark Millard wrote: >>> [I found something known to be missing in the >>> in at least some versions of >>> llvm/cmake/modules/CrossCompile.cmake that messes >>> up the overall handling of LLVM_ENABLE_Z3_SOLVER .] >>>=20 >>> On 2019-Aug-6, at 20:23, Mark Millard wrote: >>>=20 >>>=20 >>>=20 >>>> On 2019-Aug-6, at 19:08, Brooks Davis = wrote: >>>>=20 >>>>> On Tue, Aug 06, 2019 at 05:59:21PM -0700, Mark Millard wrote: >>>>>>=20 >>>>>>=20 >>>>>> On 2019-Aug-6, at 09:55, Brooks Davis = wrote: >>>>>>=20 >>>>>>> I'd prefer to disable this dependency. There's a knob that = worked in >>>>>>> the 8.0 timeframe, but the lit build now autodetects z3 when it = is >>>>>>> present and I've failed to find a knob to disable it. For now, = the easy >>>>>>> workaround is probably to disable options LIT. We could make = that the >>>>>>> default on non-LLVM platforms is that makes sense. >>>>>>>=20 >>>>>>> -- Brooks >>>>>>=20 >>>>>> Okay. >>>>>>=20 >>>>>> poudriere-devel automatically built math/z3 because >>>>>> I'd indicated to build devel/llvm90 . math/z3 was not >>>>>> previously built: I've never had other use of it. So >>>>>> my context was not one of an implicit autodetect. >>>>>=20 >>>>> The dependency is there because if z3 is installed then the = package >>>>> that is built depends on z3. Thus I had not choice but to add a = z3 >>>>> dependency until I find a way to turn it off. You can either help = find >>>>> a way to disable z3 detection in the cmake infrastructure or turn = off >>>>> LIT. I don't have any use for reports on the effects of = commenting out >>>>> the DEPENDS line. I know what that does. >>>>=20 >>>>=20 >>>> I hope this helps. (I'm not a cmake expert.) >>>>=20 >>>> llvm-9.0.0rc1.src/lib/Support/Z3Solver.cpp does: >>>>=20 >>>> #if LLVM_WITH_Z3 >>>>=20 >>>> #include >>>>=20 >>>> namespace { >>>> . . . >>>> } // end anonymous namespace >>>>=20 >>>> #endif >>>>=20 >>>> llvm::SMTSolverRef llvm::CreateZ3Solver() { >>>> #if LLVM_WITH_Z3 >>>> return llvm::make_unique(); >>>> #else >>>> llvm::report_fatal_error("LLVM was not compiled with Z3 support, = rebuild " >>>> "with -DLLVM_ENABLE_Z3_SOLVER=3DON", >>>> false); >>>> return nullptr; >>>> #endif >>>> } >>>>=20 >>>> (There are other places LLVM_WITH_Z3 is used but the >>>> above is suggestive.) >>>>=20 >>>> Working backwards finds that: >>>>=20 >>>> = /wrkdirs/usr/ports/devel/llvm90/work/llvm-9.0.0rc1.src/CMakeLists.txt >>>>=20 >>>> shows LLVM_WITH_Z3 being conditionally set to 1 via . . . >>>>=20 >>>> set(LLVM_Z3_INSTALL_DIR "" CACHE STRING "Install directory of the = Z3 solver.") >>>>=20 >>>> find_package(Z3 4.7.1) >>>>=20 >>>> if (LLVM_Z3_INSTALL_DIR) >>>> if (NOT Z3_FOUND) >>>> message(FATAL_ERROR "Z3 >=3D 4.7.1 has not been found in = LLVM_Z3_INSTALL_DIR: ${LLVM_Z3_INSTALL_DIR}.") >>>> endif() >>>> endif() >>>>=20 >>>> set(LLVM_ENABLE_Z3_SOLVER_DEFAULT "${Z3_FOUND}") >>>>=20 >>>> option(LLVM_ENABLE_Z3_SOLVER >>>> "Enable Support for the Z3 constraint solver in LLVM." >>>> ${LLVM_ENABLE_Z3_SOLVER_DEFAULT} >>>> ) >>>>=20 >>>> if (LLVM_ENABLE_Z3_SOLVER) >>>> if (NOT Z3_FOUND) >>>> message(FATAL_ERROR "LLVM_ENABLE_Z3_SOLVER cannot be enabled when = Z3 is not available.") >>>> endif() >>>>=20 >>>> set(LLVM_WITH_Z3 1) >>>> endif() >>>>=20 >>>> if( LLVM_TARGETS_TO_BUILD STREQUAL "all" ) >>>> set( LLVM_TARGETS_TO_BUILD ${LLVM_ALL_TARGETS} ) >>>> endif() >>>>=20 >>>>=20 >>>> If I read that correctly, LLVM_ENABLE_Z3_SOLVER set directly >>>> appears to override the default (that tracks if z3 was found). >>>=20 >>> I saw a reference to: >>>=20 >>> diff --git a/llvm/cmake/modules/CrossCompile.cmake = b/llvm/cmake/modules/CrossCompile.cmake >>> index bc3b210f018..0c30b88f80f 100644 >>> --- a/llvm/cmake/modules/CrossCompile.cmake >>> +++ b/llvm/cmake/modules/CrossCompile.cmake >>> @@ -53,6 +53,7 @@ function(llvm_create_cross_target_internal = target_name toolchain buildtype) >>> -DLLVM_DEFAULT_TARGET_TRIPLE=3D"${TARGET_TRIPLE}" >>> -DLLVM_TARGET_ARCH=3D"${LLVM_TARGET_ARCH}" >>> = -DLLVM_TEMPORARILY_ALLOW_OLD_TOOLCHAIN=3D"${LLVM_TEMPORARILY_ALLOW_OLD_TOO= LCHAIN}" >>> + -DLLVM_ENABLE_Z3_SOLVER=3D"${LLVM_ENABLE_Z3_SOLVER}" >>> ${build_type_flags} ${linker_flag} ${external_clang_dir} >>> WORKING_DIRECTORY ${LLVM_${target_name}_BUILD} >>> DEPENDS CREATE_LLVM_${target_name} >>>=20 >>> in https://reviews.llvm.org/D54978 on Feb 12 2019, 5:41 PM >>> and it had the comment: >>>=20 >>> QUOTE >>> Independent of the rest of the discussion, this patch should be part = of the reland, to make sure that explicitly turning off Z3 works = reliably. Thanks for coming up with that, and thanks everyone for the = good discussion here :) >>> END QUOTE >>>=20 >>> This apparently fixes a sub-cmake not respecting the >>> LLVM_ENABLE_Z3_SOLVER setting in the parent cmake. >>> (The overall review earlier describes the sub-cmake >>> not doing the right thing.) >>=20 >> Thanks for digging this up. Unfortunately, this doesn't seem to have >> solved the problem. With this patch applied I still get this if I = have >> z3 installed on the system and no LIB_DEPENDS line: >>=20 >> Error: /usr/local/bin/FileCheck90 is linked to = /usr/local/lib/libz3.so.0 >> from math/z3 but it is not declared as a dependency >> Warning: you need LIB_DEPENDS+=3Dlibz3.so:math/z3 >>=20 >> I've generally observed that the portions of the system that cover = lit >> (which includes FileCheck) aren't very well behaved. >=20 > I've filed https://bugs.llvm.org/show_bug.cgi?id=3D42921 upstream, > hopefully someone who understand this part of the cmake system will = help > us out. You mentioned applying the patch but not also setting: LLVM_ENABLE_Z3_SOLVER:BOOL=3DOFF with either: -D LLVM_ENABLE_Z3_SOLVER:BOOL=3DOFF on the command line or some line early in CMakeCache.txt . (Actually, I had to look around to know to say those specifics of what it means to have already initialized LLVM_ENABLE_Z3_SOLVER .) =46rom what I see, taking the initial assignment via CMakeCache.txt after it is initialized seems to be a common technique of controlling the configuration. Taking from an example from web of a CMakeCache.txt . . . # This is the CMakeCache file. # For build in directory: [edited out] # It was generated by CMake: /Applications/CMake.app/Contents/bin/cmake # You can edit this file to change values found and used by cmake. # If you do not want to change any of the values, simply exit the = editor. # If you do want to change a value, simply edit, save, and exit the = editor. # The syntax for the file is as follows: # KEY:TYPE=3DVALUE # KEY is the name of a variable in the cache. # TYPE is a hint to GUIs for the type of VALUE, DO NOT EDIT TYPE!. # VALUE is the current value for the KEY. ######################## # EXTERNAL cache entries ######################## //Build a 32 bit version of the library. BENCHMARK_BUILD_32_BITS:BOOL=3DOFF . . . (lots omitted) . . . //Fail and stop if a warning is triggered. LLVM_ENABLE_WERROR:BOOL=3DOFF //Enable Support for the Z3 constraint solver in LLVM. LLVM_ENABLE_Z3_SOLVER:BOOL=3DOFF //Use zlib for compression/decompression if available. LLVM_ENABLE_ZLIB:BOOL=3DON . . . (lots more omitted) . . . The example already had the "LLVM_ENABLE_Z3_SOLVER:BOOL=3DOFF" line, I did not adjust it. =3D=3D=3D Mark Millard marklmi at yahoo.com ( dsl-only.net went away in early 2018-Mar) From owner-freebsd-toolchain@freebsd.org Wed Aug 7 19:56:15 2019 Return-Path: Delivered-To: freebsd-toolchain@mailman.nyi.freebsd.org Received: from mx1.freebsd.org (mx1.freebsd.org [IPv6:2610:1c1:1:606c::19:1]) by mailman.nyi.freebsd.org (Postfix) with ESMTP id 1CE22B5C54; Wed, 7 Aug 2019 19:56:15 +0000 (UTC) (envelope-from brooks@spindle.one-eyed-alien.net) Received: from spindle.one-eyed-alien.net (spindle.one-eyed-alien.net [199.48.129.229]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (Client did not present a certificate) by mx1.freebsd.org (Postfix) with ESMTPS id 463j1V20W6z4FRY; Wed, 7 Aug 2019 19:56:14 +0000 (UTC) (envelope-from brooks@spindle.one-eyed-alien.net) Received: by spindle.one-eyed-alien.net (Postfix, from userid 3001) id 3500C3C0199; Wed, 7 Aug 2019 19:56:13 +0000 (UTC) Date: Wed, 7 Aug 2019 19:56:13 +0000 From: Brooks Davis To: Mark Millard Cc: freebsd-toolchain@freebsd.org, freebsd-ports@freebsd.org, freebsd-ppc@freebsd.org Subject: Re: devel/llvm90 requires math/z3 first; building math/z3 requires a c++ toolchain be in place Message-ID: <20190807195613.GK94703@spindle.one-eyed-alien.net> References: <8DB3EAA4-2B88-4180-8386-673524D27C64@yahoo.com> <20190806165525.GC94703@spindle.one-eyed-alien.net> <2A88AADC-8ED0-4FFD-85A8-34C0186D5D4F@yahoo.com> <20190807020826.GH94703@spindle.one-eyed-alien.net> <602EEB6C-D0B0-4EFB-AB0E-BE98FF1C4D90@yahoo.com> <086C99B8-1289-4D81-AAF5-85FB0AE70B7C@yahoo.com> <20190807171714.GI94703@spindle.one-eyed-alien.net> <20190807180244.GJ94703@spindle.one-eyed-alien.net> <4FF9540B-E1FE-4947-8E45-8D4FB57A7E34@yahoo.com> MIME-Version: 1.0 Content-Type: multipart/signed; micalg=pgp-sha1; protocol="application/pgp-signature"; boundary="NyChO5MpGs3JHJbz" Content-Disposition: inline In-Reply-To: <4FF9540B-E1FE-4947-8E45-8D4FB57A7E34@yahoo.com> User-Agent: Mutt/1.9.4 (2018-02-28) X-Rspamd-Queue-Id: 463j1V20W6z4FRY X-Spamd-Bar: ------- Authentication-Results: mx1.freebsd.org; dkim=none; dmarc=none; spf=none (mx1.freebsd.org: domain of brooks@spindle.one-eyed-alien.net has no SPF policy when checking 199.48.129.229) smtp.mailfrom=brooks@spindle.one-eyed-alien.net X-Spamd-Result: default: False [-7.45 / 15.00]; ARC_NA(0.00)[]; FREEMAIL_TO(0.00)[yahoo.com]; NEURAL_HAM_MEDIUM(-1.00)[-0.999,0]; FROM_HAS_DN(0.00)[]; RCPT_COUNT_THREE(0.00)[4]; TO_DN_SOME(0.00)[]; NEURAL_HAM_LONG(-1.00)[-0.999,0]; MIME_GOOD(-0.20)[multipart/signed,text/plain]; DMARC_NA(0.00)[freebsd.org]; AUTH_NA(1.00)[]; TO_MATCH_ENVRCPT_SOME(0.00)[]; NEURAL_HAM_SHORT(-0.98)[-0.983,0]; R_SPF_NA(0.00)[]; SIGNED_PGP(-2.00)[]; FORGED_SENDER(0.30)[brooks@freebsd.org,brooks@spindle.one-eyed-alien.net]; RCVD_COUNT_ZERO(0.00)[0]; R_DKIM_NA(0.00)[]; MIME_TRACE(0.00)[0:+,1:+,2:~]; ASN(0.00)[asn:36236, ipnet:199.48.128.0/22, country:US]; FROM_NEQ_ENVFROM(0.00)[brooks@freebsd.org,brooks@spindle.one-eyed-alien.net]; IP_SCORE(-3.56)[ip: (-9.28), ipnet: 199.48.128.0/22(-4.62), asn: 36236(-3.87), country: US(-0.05)] X-BeenThere: freebsd-toolchain@freebsd.org X-Mailman-Version: 2.1.29 Precedence: list List-Id: Maintenance of FreeBSD's integrated toolchain List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Wed, 07 Aug 2019 19:56:15 -0000 --NyChO5MpGs3JHJbz Content-Type: text/plain; charset=us-ascii Content-Disposition: inline Content-Transfer-Encoding: quoted-printable On Wed, Aug 07, 2019 at 11:55:04AM -0700, Mark Millard wrote: >=20 >=20 > On 2019-Aug-7, at 11:02, Brooks Davis wrote: >=20 > > On Wed, Aug 07, 2019 at 05:17:14PM +0000, Brooks Davis wrote: > >> On Tue, Aug 06, 2019 at 09:22:52PM -0700, Mark Millard wrote: > >>> [I found something known to be missing in the > >>> in at least some versions of > >>> llvm/cmake/modules/CrossCompile.cmake that messes > >>> up the overall handling of LLVM_ENABLE_Z3_SOLVER .] > >>>=20 > >>> On 2019-Aug-6, at 20:23, Mark Millard wrote: > >>>=20 > >>>=20 > >>>=20 > >>>> On 2019-Aug-6, at 19:08, Brooks Davis wrote: > >>>>=20 > >>>>> On Tue, Aug 06, 2019 at 05:59:21PM -0700, Mark Millard wrote: > >>>>>>=20 > >>>>>>=20 > >>>>>> On 2019-Aug-6, at 09:55, Brooks Davis wrot= e: > >>>>>>=20 > >>>>>>> I'd prefer to disable this dependency. There's a knob that worke= d in > >>>>>>> the 8.0 timeframe, but the lit build now autodetects z3 when it is > >>>>>>> present and I've failed to find a knob to disable it. For now, t= he easy > >>>>>>> workaround is probably to disable options LIT. We could make tha= t the > >>>>>>> default on non-LLVM platforms is that makes sense. > >>>>>>>=20 > >>>>>>> -- Brooks > >>>>>>=20 > >>>>>> Okay. > >>>>>>=20 > >>>>>> poudriere-devel automatically built math/z3 because > >>>>>> I'd indicated to build devel/llvm90 . math/z3 was not > >>>>>> previously built: I've never had other use of it. So > >>>>>> my context was not one of an implicit autodetect. > >>>>>=20 > >>>>> The dependency is there because if z3 is installed then the package > >>>>> that is built depends on z3. Thus I had not choice but to add a z3 > >>>>> dependency until I find a way to turn it off. You can either help = find > >>>>> a way to disable z3 detection in the cmake infrastructure or turn o= ff > >>>>> LIT. I don't have any use for reports on the effects of commenting= out > >>>>> the DEPENDS line. I know what that does. > >>>>=20 > >>>>=20 > >>>> I hope this helps. (I'm not a cmake expert.) > >>>>=20 > >>>> llvm-9.0.0rc1.src/lib/Support/Z3Solver.cpp does: > >>>>=20 > >>>> #if LLVM_WITH_Z3 > >>>>=20 > >>>> #include > >>>>=20 > >>>> namespace { > >>>> . . . > >>>> } // end anonymous namespace > >>>>=20 > >>>> #endif > >>>>=20 > >>>> llvm::SMTSolverRef llvm::CreateZ3Solver() { > >>>> #if LLVM_WITH_Z3 > >>>> return llvm::make_unique(); > >>>> #else > >>>> llvm::report_fatal_error("LLVM was not compiled with Z3 support, reb= uild " > >>>> "with -DLLVM_ENABLE_Z3_SOLVER=3DON", > >>>> false); > >>>> return nullptr; > >>>> #endif > >>>> } > >>>>=20 > >>>> (There are other places LLVM_WITH_Z3 is used but the > >>>> above is suggestive.) > >>>>=20 > >>>> Working backwards finds that: > >>>>=20 > >>>> /wrkdirs/usr/ports/devel/llvm90/work/llvm-9.0.0rc1.src/CMakeLists.txt > >>>>=20 > >>>> shows LLVM_WITH_Z3 being conditionally set to 1 via . . . > >>>>=20 > >>>> set(LLVM_Z3_INSTALL_DIR "" CACHE STRING "Install directory of the Z3= solver.") > >>>>=20 > >>>> find_package(Z3 4.7.1) > >>>>=20 > >>>> if (LLVM_Z3_INSTALL_DIR) > >>>> if (NOT Z3_FOUND) > >>>> message(FATAL_ERROR "Z3 >=3D 4.7.1 has not been found in LLVM_Z3_I= NSTALL_DIR: ${LLVM_Z3_INSTALL_DIR}.") > >>>> endif() > >>>> endif() > >>>>=20 > >>>> set(LLVM_ENABLE_Z3_SOLVER_DEFAULT "${Z3_FOUND}") > >>>>=20 > >>>> option(LLVM_ENABLE_Z3_SOLVER > >>>> "Enable Support for the Z3 constraint solver in LLVM." > >>>> ${LLVM_ENABLE_Z3_SOLVER_DEFAULT} > >>>> ) > >>>>=20 > >>>> if (LLVM_ENABLE_Z3_SOLVER) > >>>> if (NOT Z3_FOUND) > >>>> message(FATAL_ERROR "LLVM_ENABLE_Z3_SOLVER cannot be enabled when = Z3 is not available.") > >>>> endif() > >>>>=20 > >>>> set(LLVM_WITH_Z3 1) > >>>> endif() > >>>>=20 > >>>> if( LLVM_TARGETS_TO_BUILD STREQUAL "all" ) > >>>> set( LLVM_TARGETS_TO_BUILD ${LLVM_ALL_TARGETS} ) > >>>> endif() > >>>>=20 > >>>>=20 > >>>> If I read that correctly, LLVM_ENABLE_Z3_SOLVER set directly > >>>> appears to override the default (that tracks if z3 was found). > >>>=20 > >>> I saw a reference to: > >>>=20 > >>> diff --git a/llvm/cmake/modules/CrossCompile.cmake b/llvm/cmake/modul= es/CrossCompile.cmake > >>> index bc3b210f018..0c30b88f80f 100644 > >>> --- a/llvm/cmake/modules/CrossCompile.cmake > >>> +++ b/llvm/cmake/modules/CrossCompile.cmake > >>> @@ -53,6 +53,7 @@ function(llvm_create_cross_target_internal target_n= ame toolchain buildtype) > >>> -DLLVM_DEFAULT_TARGET_TRIPLE=3D"${TARGET_TRIPLE}" > >>> -DLLVM_TARGET_ARCH=3D"${LLVM_TARGET_ARCH}" > >>> -DLLVM_TEMPORARILY_ALLOW_OLD_TOOLCHAIN=3D"${LLVM_TEMPORARILY_= ALLOW_OLD_TOOLCHAIN}" > >>> + -DLLVM_ENABLE_Z3_SOLVER=3D"${LLVM_ENABLE_Z3_SOLVER}" > >>> ${build_type_flags} ${linker_flag} ${external_clang_dir} > >>> WORKING_DIRECTORY ${LLVM_${target_name}_BUILD} > >>> DEPENDS CREATE_LLVM_${target_name} > >>>=20 > >>> in https://reviews.llvm.org/D54978 on Feb 12 2019, 5:41 PM > >>> and it had the comment: > >>>=20 > >>> QUOTE > >>> Independent of the rest of the discussion, this patch should be part = of the reland, to make sure that explicitly turning off Z3 works reliably. = Thanks for coming up with that, and thanks everyone for the good discussion= here :) > >>> END QUOTE > >>>=20 > >>> This apparently fixes a sub-cmake not respecting the > >>> LLVM_ENABLE_Z3_SOLVER setting in the parent cmake. > >>> (The overall review earlier describes the sub-cmake > >>> not doing the right thing.) > >>=20 > >> Thanks for digging this up. Unfortunately, this doesn't seem to have > >> solved the problem. With this patch applied I still get this if I have > >> z3 installed on the system and no LIB_DEPENDS line: > >>=20 > >> Error: /usr/local/bin/FileCheck90 is linked to /usr/local/lib/libz3.so= =2E0 > >> from math/z3 but it is not declared as a dependency > >> Warning: you need LIB_DEPENDS+=3Dlibz3.so:math/z3 > >>=20 > >> I've generally observed that the portions of the system that cover lit > >> (which includes FileCheck) aren't very well behaved. > >=20 > > I've filed https://bugs.llvm.org/show_bug.cgi?id=3D42921 upstream, > > hopefully someone who understand this part of the cmake system will help > > us out. >=20 > You mentioned applying the patch but not also > setting: >=20 > LLVM_ENABLE_Z3_SOLVER:BOOL=3DOFF >=20 > with either: >=20 > -D LLVM_ENABLE_Z3_SOLVER:BOOL=3DOFF >=20 > on the command line or some line early in CMakeCache.txt . > (Actually, I had to look around to know to say those > specifics of what it means to have already initialized > LLVM_ENABLE_Z3_SOLVER .) >=20 > From what I see, taking the initial assignment via CMakeCache.txt > after it is initialized seems to be a common technique of controlling > the configuration. >=20 > Taking from an example from web of a CMakeCache.txt . . . >=20 >=20 > # This is the CMakeCache file. > # For build in directory: [edited out] > # It was generated by CMake: /Applications/CMake.app/Contents/bin/cmake > # You can edit this file to change values found and used by cmake. > # If you do not want to change any of the values, simply exit the editor. > # If you do want to change a value, simply edit, save, and exit the edito= r. > # The syntax for the file is as follows: > # KEY:TYPE=3DVALUE > # KEY is the name of a variable in the cache. > # TYPE is a hint to GUIs for the type of VALUE, DO NOT EDIT TYPE!. > # VALUE is the current value for the KEY. >=20 > ######################## > # EXTERNAL cache entries > ######################## >=20 > //Build a 32 bit version of the library. > BENCHMARK_BUILD_32_BITS:BOOL=3DOFF >=20 > . . . (lots omitted) . . . >=20 >=20 > //Fail and stop if a warning is triggered. > LLVM_ENABLE_WERROR:BOOL=3DOFF >=20 > //Enable Support for the Z3 constraint solver in LLVM. > LLVM_ENABLE_Z3_SOLVER:BOOL=3DOFF >=20 > //Use zlib for compression/decompression if available. > LLVM_ENABLE_ZLIB:BOOL=3DON >=20 > . . . (lots more omitted) . . . >=20 >=20 > The example already had the "LLVM_ENABLE_Z3_SOLVER:BOOL=3DOFF" > line, I did not adjust it. Upstream spotted this error as well. I've hopefully committed a fix (of course just as I committed I discovered I'd had the patch applied and it shouldn't be needed so I'm now rebuilding again and will add the patch if needed.) - Brooks --NyChO5MpGs3JHJbz Content-Type: application/pgp-signature; name="signature.asc" -----BEGIN PGP SIGNATURE----- iQEcBAEBAgAGBQJdSyzcAAoJEKzQXbSebgfAixMH+gJekos1JAIl6IAnt09byRKi uelzg9rWWUaWTdAfOWqMSBvXuaGRoFNJL89o2Fr1CWEozwQ/6wDihmaBzUs6nn+8 Sofyz03RmwwcDnQn23X5OYEYOVVi7BqQ/eJ1WChyk3QfjvBdrKPoJrIEVVp+F5A4 49F16moJTEDg4TZMSk7zBIhpbXL5F6tyWsbNQVq4YbTv9/G5sL/6oGxCQdupWc6q Hm6+7/DNu1NNJKM0PIY+7sf4JkfsrAGsqC4xR+HP8PsS3F5Wb4ugYt68DXz3CCiq YlL4cTdug5gKD7fw2qoycPl/v+h2fX3HRhojCvAOlzKm2d/dsjt0GYC+AFTIka0= =8gcE -----END PGP SIGNATURE----- --NyChO5MpGs3JHJbz-- From owner-freebsd-toolchain@freebsd.org Wed Aug 7 20:42:30 2019 Return-Path: Delivered-To: freebsd-toolchain@mailman.nyi.freebsd.org Received: from mx1.freebsd.org (mx1.freebsd.org [IPv6:2610:1c1:1:606c::19:1]) by mailman.nyi.freebsd.org (Postfix) with ESMTP id 66974B74FA for ; Wed, 7 Aug 2019 20:42:30 +0000 (UTC) (envelope-from marklmi@yahoo.com) Received: from sonic312-24.consmr.mail.gq1.yahoo.com (sonic312-24.consmr.mail.gq1.yahoo.com [98.137.69.205]) (using TLSv1.2 with cipher ECDHE-RSA-AES128-GCM-SHA256 (128/128 bits)) (Client did not present a certificate) by mx1.freebsd.org (Postfix) with ESMTPS id 463k2s37bPz4K7j for ; Wed, 7 Aug 2019 20:42:29 +0000 (UTC) (envelope-from marklmi@yahoo.com) X-YMail-OSG: fFYdxfgVM1lZ4rD2H6p8I0.ppuqUjiIQXNhOQpDn5XZ9_3adjxPFHHnlG2LVAVs 8ki.W03iAvGvsjGF2i9rJwhPOYqLJfbZtaKBtfaFpDD7g.lrc1pdVSgicWm6m9izeXMXOsQejQQd B3QSIiSWO0K0kQua2F0c6DlikWxKbZ62gbjgPB_.D3Eh3UZ0GlLmrE0uZJObzXq3bSRMgaAItAt0 N3CcuB2BMhim4dZoZUcqH9tr7YSzpAWS2cnQLYLGBlVkPlKTmzz2aqq2tq0RonIShNbn2AEX8PCE 5.rt2kGwe_16ih.9ofD6c3uTqX3ZM6IYLYYBWN.zQqvfnpgsPU5t3OGSd57ZffDdpJSYPRkbAvZW qxmMajctKkTaJB0KElRKWYhfFd63uUAgzUlpUF8fnaAL_stPzROhNLqlH5bGVeLFwyXd52StoacL XsRSVejXblFXEf1li4n6Ria3CXonqMIdE_2N69nw6an2Z1wryOMjUzyUwSVGoBSQZLD3G4NVYyEh LA3Wwgnb_.WIf00YxHwriNkdXSqu2SWWGuSsBWfe3s6VrObXetj3_68z3IwJfNtoKjP7v4Vm8JEy IHbCzz.3HoeQ2JuEJjtWaeyyukcaZEdt1QkuwcRxVAB4t2ppAiW.djjib.XVn5L_6dUsLERJpfyS cYDNk7nlqxEsz4pD3yxHbXXsETwaFidHP511QN2i8AtS9.oXfapaRsUIF7kqcJA.Cam6IBDqSENf vckIxVIudDiKZz2jlT89mYF.FWY.FMx_Hff5VxE690YOoRqSJjWnIBz6bheBq_.e3QQ_SNvm_iq9 fBmuDs.ysCNPhWzFN4OnsQNZzMKVRDMZ8ubpoP.u_Unp8M4bdGpqWjHpdHuS_bV4jlDDSznFPd_T c3RoRfp9kx9wwxl0U7oC0H0RU8WPCeNoxQG9EI_nzVuTKHV02NCgccWRIdCvBULIZRhxRtc2Izd1 6YRvUJy9TTVp1JDTaPuhhoT3AXmHKxPfmdG4D_sONT9LTJKESC73xXFN8V87EaQiLrki4TuQ4hvz 1AE9PSdGdYX7v7Jfg3ca2ahDe2DkS0qdKEht15TQFWD8mYepKxFMdNHhL83fOG0g0RcfBt6vzJ4O VkIY5AB3ikxArs7FNryMOiHH_giEXm.myYg_GmDlEZy4rgUoSw7ZbYcxE1VIbR634o05tU4FfIz8 UH0O_KZyJkjQszXJFSUuk3mA1X9_9dQIn.9N1EuiJNc1tbyyhzIs0Wj6VJIOQA9TtrG2_Ovnrbs4 VaGOw1JqeTXlRcHvqJ3cjw0aaVryismg- Received: from sonic.gate.mail.ne1.yahoo.com by sonic312.consmr.mail.gq1.yahoo.com with HTTP; Wed, 7 Aug 2019 20:42:27 +0000 Received: by smtp426.mail.gq1.yahoo.com (Oath Hermes SMTP Server) with ESMTPA ID f5902bb17065d97a00063ba4bada4cd2; Wed, 07 Aug 2019 20:42:27 +0000 (UTC) Content-Type: text/plain; charset=us-ascii Mime-Version: 1.0 (Mac OS X Mail 12.4 \(3445.104.11\)) Subject: Re: devel/llvm90 requires math/z3 first; building math/z3 requires a c++ toolchain be in place From: Mark Millard In-Reply-To: <20190807195613.GK94703@spindle.one-eyed-alien.net> Date: Wed, 7 Aug 2019 13:42:26 -0700 Cc: freebsd-toolchain@freebsd.org, freebsd-ports@freebsd.org, freebsd-ppc@freebsd.org Content-Transfer-Encoding: quoted-printable Message-Id: <68CDAEA5-73D8-40FB-A22F-CC3B357FA992@yahoo.com> References: <8DB3EAA4-2B88-4180-8386-673524D27C64@yahoo.com> <20190806165525.GC94703@spindle.one-eyed-alien.net> <2A88AADC-8ED0-4FFD-85A8-34C0186D5D4F@yahoo.com> <20190807020826.GH94703@spindle.one-eyed-alien.net> <602EEB6C-D0B0-4EFB-AB0E-BE98FF1C4D90@yahoo.com> <086C99B8-1289-4D81-AAF5-85FB0AE70B7C@yahoo.com> <20190807171714.GI94703@spindle.one-eyed-alien.net> <20190807180244.GJ94703@spindle.one-eyed-alien.net> <4FF9540B-E1FE-4947-8E45-8D4FB57A7E34@yahoo.com> <20190807195613.GK94703@spindle.one-eyed-alien.net> To: Brooks Davis X-Mailer: Apple Mail (2.3445.104.11) X-Rspamd-Queue-Id: 463k2s37bPz4K7j X-Spamd-Bar: - X-Spamd-Result: default: False [-1.81 / 15.00]; TO_DN_SOME(0.00)[]; R_SPF_ALLOW(-0.20)[+ptr:yahoo.com]; FREEMAIL_FROM(0.00)[yahoo.com]; MV_CASE(0.50)[]; DKIM_TRACE(0.00)[yahoo.com:+]; DMARC_POLICY_ALLOW(-0.50)[yahoo.com,reject]; FROM_EQ_ENVFROM(0.00)[]; RCVD_TLS_LAST(0.00)[]; MIME_TRACE(0.00)[0:+]; FREEMAIL_ENVFROM(0.00)[yahoo.com]; ASN(0.00)[asn:36647, ipnet:98.137.64.0/21, country:US]; MID_RHS_MATCH_FROM(0.00)[]; DWL_DNSWL_NONE(0.00)[yahoo.com.dwl.dnswl.org : 127.0.5.0]; ARC_NA(0.00)[]; NEURAL_HAM_MEDIUM(-0.79)[-0.787,0]; R_DKIM_ALLOW(-0.20)[yahoo.com:s=s2048]; FROM_HAS_DN(0.00)[]; RCPT_COUNT_THREE(0.00)[4]; NEURAL_SPAM_SHORT(0.02)[0.023,0]; NEURAL_HAM_LONG(-0.55)[-0.550,0]; MIME_GOOD(-0.10)[text/plain]; IP_SCORE(0.00)[ip: (8.35), ipnet: 98.137.64.0/21(0.90), asn: 36647(0.72), country: US(-0.05)]; IP_SCORE_FREEMAIL(0.00)[]; TO_MATCH_ENVRCPT_SOME(0.00)[]; RCVD_IN_DNSWL_NONE(0.00)[205.69.137.98.list.dnswl.org : 127.0.5.0]; RCVD_COUNT_TWO(0.00)[2] X-BeenThere: freebsd-toolchain@freebsd.org X-Mailman-Version: 2.1.29 Precedence: list List-Id: Maintenance of FreeBSD's integrated toolchain List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Wed, 07 Aug 2019 20:42:30 -0000 On 2019-Aug-7, at 12:56, Brooks Davis wrote: > On Wed, Aug 07, 2019 at 11:55:04AM -0700, Mark Millard wrote: >>=20 >>=20 >> On 2019-Aug-7, at 11:02, Brooks Davis wrote: >>=20 >>> On Wed, Aug 07, 2019 at 05:17:14PM +0000, Brooks Davis wrote: >>>> On Tue, Aug 06, 2019 at 09:22:52PM -0700, Mark Millard wrote: >>>>> [I found something known to be missing in the >>>>> in at least some versions of >>>>> llvm/cmake/modules/CrossCompile.cmake that messes >>>>> up the overall handling of LLVM_ENABLE_Z3_SOLVER .] >>>>>=20 >>>>> On 2019-Aug-6, at 20:23, Mark Millard = wrote: >>>>>=20 >>>>>=20 >>>>>=20 >>>>>> On 2019-Aug-6, at 19:08, Brooks Davis = wrote: >>>>>>=20 >>>>>>> On Tue, Aug 06, 2019 at 05:59:21PM -0700, Mark Millard wrote: >>>>>>>>=20 >>>>>>>>=20 >>>>>>>> On 2019-Aug-6, at 09:55, Brooks Davis = wrote: >>>>>>>>=20 >>>>>>>>> I'd prefer to disable this dependency. There's a knob that = worked in >>>>>>>>> the 8.0 timeframe, but the lit build now autodetects z3 when = it is >>>>>>>>> present and I've failed to find a knob to disable it. For = now, the easy >>>>>>>>> workaround is probably to disable options LIT. We could make = that the >>>>>>>>> default on non-LLVM platforms is that makes sense. >>>>>>>>>=20 >>>>>>>>> -- Brooks >>>>>>>>=20 >>>>>>>> Okay. >>>>>>>>=20 >>>>>>>> poudriere-devel automatically built math/z3 because >>>>>>>> I'd indicated to build devel/llvm90 . math/z3 was not >>>>>>>> previously built: I've never had other use of it. So >>>>>>>> my context was not one of an implicit autodetect. >>>>>>>=20 >>>>>>> The dependency is there because if z3 is installed then the = package >>>>>>> that is built depends on z3. Thus I had not choice but to add a = z3 >>>>>>> dependency until I find a way to turn it off. You can either = help find >>>>>>> a way to disable z3 detection in the cmake infrastructure or = turn off >>>>>>> LIT. I don't have any use for reports on the effects of = commenting out >>>>>>> the DEPENDS line. I know what that does. >>>>>>=20 >>>>>>=20 >>>>>> I hope this helps. (I'm not a cmake expert.) >>>>>>=20 >>>>>> llvm-9.0.0rc1.src/lib/Support/Z3Solver.cpp does: >>>>>>=20 >>>>>> #if LLVM_WITH_Z3 >>>>>>=20 >>>>>> #include >>>>>>=20 >>>>>> namespace { >>>>>> . . . >>>>>> } // end anonymous namespace >>>>>>=20 >>>>>> #endif >>>>>>=20 >>>>>> llvm::SMTSolverRef llvm::CreateZ3Solver() { >>>>>> #if LLVM_WITH_Z3 >>>>>> return llvm::make_unique(); >>>>>> #else >>>>>> llvm::report_fatal_error("LLVM was not compiled with Z3 support, = rebuild " >>>>>> "with -DLLVM_ENABLE_Z3_SOLVER=3DON", >>>>>> false); >>>>>> return nullptr; >>>>>> #endif >>>>>> } >>>>>>=20 >>>>>> (There are other places LLVM_WITH_Z3 is used but the >>>>>> above is suggestive.) >>>>>>=20 >>>>>> Working backwards finds that: >>>>>>=20 >>>>>> = /wrkdirs/usr/ports/devel/llvm90/work/llvm-9.0.0rc1.src/CMakeLists.txt >>>>>>=20 >>>>>> shows LLVM_WITH_Z3 being conditionally set to 1 via . . . >>>>>>=20 >>>>>> set(LLVM_Z3_INSTALL_DIR "" CACHE STRING "Install directory of the = Z3 solver.") >>>>>>=20 >>>>>> find_package(Z3 4.7.1) >>>>>>=20 >>>>>> if (LLVM_Z3_INSTALL_DIR) >>>>>> if (NOT Z3_FOUND) >>>>>> message(FATAL_ERROR "Z3 >=3D 4.7.1 has not been found in = LLVM_Z3_INSTALL_DIR: ${LLVM_Z3_INSTALL_DIR}.") >>>>>> endif() >>>>>> endif() >>>>>>=20 >>>>>> set(LLVM_ENABLE_Z3_SOLVER_DEFAULT "${Z3_FOUND}") >>>>>>=20 >>>>>> option(LLVM_ENABLE_Z3_SOLVER >>>>>> "Enable Support for the Z3 constraint solver in LLVM." >>>>>> ${LLVM_ENABLE_Z3_SOLVER_DEFAULT} >>>>>> ) >>>>>>=20 >>>>>> if (LLVM_ENABLE_Z3_SOLVER) >>>>>> if (NOT Z3_FOUND) >>>>>> message(FATAL_ERROR "LLVM_ENABLE_Z3_SOLVER cannot be enabled = when Z3 is not available.") >>>>>> endif() >>>>>>=20 >>>>>> set(LLVM_WITH_Z3 1) >>>>>> endif() >>>>>>=20 >>>>>> if( LLVM_TARGETS_TO_BUILD STREQUAL "all" ) >>>>>> set( LLVM_TARGETS_TO_BUILD ${LLVM_ALL_TARGETS} ) >>>>>> endif() >>>>>>=20 >>>>>>=20 >>>>>> If I read that correctly, LLVM_ENABLE_Z3_SOLVER set directly >>>>>> appears to override the default (that tracks if z3 was found). >>>>>=20 >>>>> I saw a reference to: >>>>>=20 >>>>> diff --git a/llvm/cmake/modules/CrossCompile.cmake = b/llvm/cmake/modules/CrossCompile.cmake >>>>> index bc3b210f018..0c30b88f80f 100644 >>>>> --- a/llvm/cmake/modules/CrossCompile.cmake >>>>> +++ b/llvm/cmake/modules/CrossCompile.cmake >>>>> @@ -53,6 +53,7 @@ function(llvm_create_cross_target_internal = target_name toolchain buildtype) >>>>> -DLLVM_DEFAULT_TARGET_TRIPLE=3D"${TARGET_TRIPLE}" >>>>> -DLLVM_TARGET_ARCH=3D"${LLVM_TARGET_ARCH}" >>>>> = -DLLVM_TEMPORARILY_ALLOW_OLD_TOOLCHAIN=3D"${LLVM_TEMPORARILY_ALLOW_OLD_TOO= LCHAIN}" >>>>> + -DLLVM_ENABLE_Z3_SOLVER=3D"${LLVM_ENABLE_Z3_SOLVER}" >>>>> ${build_type_flags} ${linker_flag} ${external_clang_dir} >>>>> WORKING_DIRECTORY ${LLVM_${target_name}_BUILD} >>>>> DEPENDS CREATE_LLVM_${target_name} >>>>>=20 >>>>> in https://reviews.llvm.org/D54978 on Feb 12 2019, 5:41 PM >>>>> and it had the comment: >>>>>=20 >>>>> QUOTE >>>>> Independent of the rest of the discussion, this patch should be = part of the reland, to make sure that explicitly turning off Z3 works = reliably. Thanks for coming up with that, and thanks everyone for the = good discussion here :) >>>>> END QUOTE >>>>>=20 >>>>> This apparently fixes a sub-cmake not respecting the >>>>> LLVM_ENABLE_Z3_SOLVER setting in the parent cmake. >>>>> (The overall review earlier describes the sub-cmake >>>>> not doing the right thing.) >>>>=20 >>>> Thanks for digging this up. Unfortunately, this doesn't seem to = have >>>> solved the problem. With this patch applied I still get this if I = have >>>> z3 installed on the system and no LIB_DEPENDS line: >>>>=20 >>>> Error: /usr/local/bin/FileCheck90 is linked to = /usr/local/lib/libz3.so.0 >>>> from math/z3 but it is not declared as a dependency >>>> Warning: you need LIB_DEPENDS+=3Dlibz3.so:math/z3 >>>>=20 >>>> I've generally observed that the portions of the system that cover = lit >>>> (which includes FileCheck) aren't very well behaved. >>>=20 >>> I've filed https://bugs.llvm.org/show_bug.cgi?id=3D42921 upstream, >>> hopefully someone who understand this part of the cmake system will = help >>> us out. >>=20 >> You mentioned applying the patch but not also >> setting: >>=20 >> LLVM_ENABLE_Z3_SOLVER:BOOL=3DOFF >>=20 >> with either: >>=20 >> -D LLVM_ENABLE_Z3_SOLVER:BOOL=3DOFF >>=20 >> on the command line or some line early in CMakeCache.txt . >> (Actually, I had to look around to know to say those >> specifics of what it means to have already initialized >> LLVM_ENABLE_Z3_SOLVER .) >>=20 >> =46rom what I see, taking the initial assignment via CMakeCache.txt >> after it is initialized seems to be a common technique of controlling >> the configuration. >>=20 >> Taking from an example from web of a CMakeCache.txt . . . >>=20 >>=20 >> # This is the CMakeCache file. >> # For build in directory: [edited out] >> # It was generated by CMake: = /Applications/CMake.app/Contents/bin/cmake >> # You can edit this file to change values found and used by cmake. >> # If you do not want to change any of the values, simply exit the = editor. >> # If you do want to change a value, simply edit, save, and exit the = editor. >> # The syntax for the file is as follows: >> # KEY:TYPE=3DVALUE >> # KEY is the name of a variable in the cache. >> # TYPE is a hint to GUIs for the type of VALUE, DO NOT EDIT TYPE!. >> # VALUE is the current value for the KEY. >>=20 >> ######################## >> # EXTERNAL cache entries >> ######################## >>=20 >> //Build a 32 bit version of the library. >> BENCHMARK_BUILD_32_BITS:BOOL=3DOFF >>=20 >> . . . (lots omitted) . . . >>=20 >>=20 >> //Fail and stop if a warning is triggered. >> LLVM_ENABLE_WERROR:BOOL=3DOFF >>=20 >> //Enable Support for the Z3 constraint solver in LLVM. >> LLVM_ENABLE_Z3_SOLVER:BOOL=3DOFF >>=20 >> //Use zlib for compression/decompression if available. >> LLVM_ENABLE_ZLIB:BOOL=3DON >>=20 >> . . . (lots more omitted) . . . >>=20 >>=20 >> The example already had the "LLVM_ENABLE_Z3_SOLVER:BOOL=3DOFF" >> line, I did not adjust it. >=20 > Upstream spotted this error as well. I've hopefully committed a fix = (of > course just as I committed I discovered I'd had the patch applied and = it > shouldn't be needed so I'm now rebuilding again and will add the patch > if needed.) Just for my curiosity: which way are you initializing LLVM_ENABLE_Z3_SOLVER to OFF ?: A) Having -D LLVM_ENABLE_Z3_SOLVER:BOOL=3DOFF on the cmake command line? B) Having LLVM_ENABLE_Z3_SOLVER:BOOL=3DOFF in the CMakeCache.txt file? C) Something else (that I missed as a technique)? =3D=3D=3D Mark Millard marklmi at yahoo.com ( dsl-only.net went away in early 2018-Mar) From owner-freebsd-toolchain@freebsd.org Wed Aug 7 20:58:48 2019 Return-Path: Delivered-To: freebsd-toolchain@mailman.nyi.freebsd.org Received: from mx1.freebsd.org (mx1.freebsd.org [IPv6:2610:1c1:1:606c::19:1]) by mailman.nyi.freebsd.org (Postfix) with ESMTP id C373FB792F; Wed, 7 Aug 2019 20:58:48 +0000 (UTC) (envelope-from brooks@spindle.one-eyed-alien.net) Received: from spindle.one-eyed-alien.net (spindle.one-eyed-alien.net [199.48.129.229]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (Client did not present a certificate) by mx1.freebsd.org (Postfix) with ESMTPS id 463kPg4wB7z4Khb; Wed, 7 Aug 2019 20:58:47 +0000 (UTC) (envelope-from brooks@spindle.one-eyed-alien.net) Received: by spindle.one-eyed-alien.net (Postfix, from userid 3001) id 3CD033C0199; Wed, 7 Aug 2019 20:58:46 +0000 (UTC) Date: Wed, 7 Aug 2019 20:58:46 +0000 From: Brooks Davis To: Mark Millard Cc: freebsd-toolchain@freebsd.org, freebsd-ports@freebsd.org, freebsd-ppc@freebsd.org Subject: Re: devel/llvm90 requires math/z3 first; building math/z3 requires a c++ toolchain be in place Message-ID: <20190807205846.GM94703@spindle.one-eyed-alien.net> References: <20190806165525.GC94703@spindle.one-eyed-alien.net> <2A88AADC-8ED0-4FFD-85A8-34C0186D5D4F@yahoo.com> <20190807020826.GH94703@spindle.one-eyed-alien.net> <602EEB6C-D0B0-4EFB-AB0E-BE98FF1C4D90@yahoo.com> <086C99B8-1289-4D81-AAF5-85FB0AE70B7C@yahoo.com> <20190807171714.GI94703@spindle.one-eyed-alien.net> <20190807180244.GJ94703@spindle.one-eyed-alien.net> <4FF9540B-E1FE-4947-8E45-8D4FB57A7E34@yahoo.com> <20190807195613.GK94703@spindle.one-eyed-alien.net> <68CDAEA5-73D8-40FB-A22F-CC3B357FA992@yahoo.com> MIME-Version: 1.0 Content-Type: multipart/signed; micalg=pgp-sha1; protocol="application/pgp-signature"; boundary="IJFRpmOek+ZRSQoz" Content-Disposition: inline In-Reply-To: <68CDAEA5-73D8-40FB-A22F-CC3B357FA992@yahoo.com> User-Agent: Mutt/1.9.4 (2018-02-28) X-Rspamd-Queue-Id: 463kPg4wB7z4Khb X-Spamd-Bar: ------- Authentication-Results: mx1.freebsd.org; dkim=none; dmarc=none; spf=none (mx1.freebsd.org: domain of brooks@spindle.one-eyed-alien.net has no SPF policy when checking 199.48.129.229) smtp.mailfrom=brooks@spindle.one-eyed-alien.net X-Spamd-Result: default: False [-7.41 / 15.00]; ARC_NA(0.00)[]; FREEMAIL_TO(0.00)[yahoo.com]; NEURAL_HAM_MEDIUM(-1.00)[-1.000,0]; FROM_HAS_DN(0.00)[]; RCPT_COUNT_THREE(0.00)[4]; TO_DN_SOME(0.00)[]; NEURAL_HAM_LONG(-1.00)[-0.999,0]; MIME_GOOD(-0.20)[multipart/signed,text/plain]; DMARC_NA(0.00)[freebsd.org]; AUTH_NA(1.00)[]; TO_MATCH_ENVRCPT_SOME(0.00)[]; NEURAL_HAM_SHORT(-0.94)[-0.944,0]; R_SPF_NA(0.00)[]; SIGNED_PGP(-2.00)[]; FORGED_SENDER(0.30)[brooks@freebsd.org,brooks@spindle.one-eyed-alien.net]; RCVD_COUNT_ZERO(0.00)[0]; R_DKIM_NA(0.00)[]; MIME_TRACE(0.00)[0:+,1:+,2:~]; ASN(0.00)[asn:36236, ipnet:199.48.128.0/22, country:US]; FROM_NEQ_ENVFROM(0.00)[brooks@freebsd.org,brooks@spindle.one-eyed-alien.net]; IP_SCORE(-3.57)[ip: (-9.29), ipnet: 199.48.128.0/22(-4.63), asn: 36236(-3.87), country: US(-0.05)] X-BeenThere: freebsd-toolchain@freebsd.org X-Mailman-Version: 2.1.29 Precedence: list List-Id: Maintenance of FreeBSD's integrated toolchain List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Wed, 07 Aug 2019 20:58:48 -0000 --IJFRpmOek+ZRSQoz Content-Type: text/plain; charset=us-ascii Content-Disposition: inline Content-Transfer-Encoding: quoted-printable On Wed, Aug 07, 2019 at 01:42:26PM -0700, Mark Millard wrote: >=20 >=20 > On 2019-Aug-7, at 12:56, Brooks Davis wrote: >=20 > > On Wed, Aug 07, 2019 at 11:55:04AM -0700, Mark Millard wrote: > >>=20 > >>=20 > >> On 2019-Aug-7, at 11:02, Brooks Davis wrote: > >>=20 > >>> On Wed, Aug 07, 2019 at 05:17:14PM +0000, Brooks Davis wrote: > >>>> On Tue, Aug 06, 2019 at 09:22:52PM -0700, Mark Millard wrote: > >>>>> [I found something known to be missing in the > >>>>> in at least some versions of > >>>>> llvm/cmake/modules/CrossCompile.cmake that messes > >>>>> up the overall handling of LLVM_ENABLE_Z3_SOLVER .] > >>>>>=20 > >>>>> On 2019-Aug-6, at 20:23, Mark Millard wrote: > >>>>>=20 > >>>>>=20 > >>>>>=20 > >>>>>> On 2019-Aug-6, at 19:08, Brooks Davis wrot= e: > >>>>>>=20 > >>>>>>> On Tue, Aug 06, 2019 at 05:59:21PM -0700, Mark Millard wrote: > >>>>>>>>=20 > >>>>>>>>=20 > >>>>>>>> On 2019-Aug-6, at 09:55, Brooks Davis wr= ote: > >>>>>>>>=20 > >>>>>>>>> I'd prefer to disable this dependency. There's a knob that wor= ked in > >>>>>>>>> the 8.0 timeframe, but the lit build now autodetects z3 when it= is > >>>>>>>>> present and I've failed to find a knob to disable it. For now,= the easy > >>>>>>>>> workaround is probably to disable options LIT. We could make t= hat the > >>>>>>>>> default on non-LLVM platforms is that makes sense. > >>>>>>>>>=20 > >>>>>>>>> -- Brooks > >>>>>>>>=20 > >>>>>>>> Okay. > >>>>>>>>=20 > >>>>>>>> poudriere-devel automatically built math/z3 because > >>>>>>>> I'd indicated to build devel/llvm90 . math/z3 was not > >>>>>>>> previously built: I've never had other use of it. So > >>>>>>>> my context was not one of an implicit autodetect. > >>>>>>>=20 > >>>>>>> The dependency is there because if z3 is installed then the packa= ge > >>>>>>> that is built depends on z3. Thus I had not choice but to add a = z3 > >>>>>>> dependency until I find a way to turn it off. You can either hel= p find > >>>>>>> a way to disable z3 detection in the cmake infrastructure or turn= off > >>>>>>> LIT. I don't have any use for reports on the effects of commenti= ng out > >>>>>>> the DEPENDS line. I know what that does. > >>>>>>=20 > >>>>>>=20 > >>>>>> I hope this helps. (I'm not a cmake expert.) > >>>>>>=20 > >>>>>> llvm-9.0.0rc1.src/lib/Support/Z3Solver.cpp does: > >>>>>>=20 > >>>>>> #if LLVM_WITH_Z3 > >>>>>>=20 > >>>>>> #include > >>>>>>=20 > >>>>>> namespace { > >>>>>> . . . > >>>>>> } // end anonymous namespace > >>>>>>=20 > >>>>>> #endif > >>>>>>=20 > >>>>>> llvm::SMTSolverRef llvm::CreateZ3Solver() { > >>>>>> #if LLVM_WITH_Z3 > >>>>>> return llvm::make_unique(); > >>>>>> #else > >>>>>> llvm::report_fatal_error("LLVM was not compiled with Z3 support, r= ebuild " > >>>>>> "with -DLLVM_ENABLE_Z3_SOLVER=3DON", > >>>>>> false); > >>>>>> return nullptr; > >>>>>> #endif > >>>>>> } > >>>>>>=20 > >>>>>> (There are other places LLVM_WITH_Z3 is used but the > >>>>>> above is suggestive.) > >>>>>>=20 > >>>>>> Working backwards finds that: > >>>>>>=20 > >>>>>> /wrkdirs/usr/ports/devel/llvm90/work/llvm-9.0.0rc1.src/CMakeLists.= txt > >>>>>>=20 > >>>>>> shows LLVM_WITH_Z3 being conditionally set to 1 via . . . > >>>>>>=20 > >>>>>> set(LLVM_Z3_INSTALL_DIR "" CACHE STRING "Install directory of the = Z3 solver.") > >>>>>>=20 > >>>>>> find_package(Z3 4.7.1) > >>>>>>=20 > >>>>>> if (LLVM_Z3_INSTALL_DIR) > >>>>>> if (NOT Z3_FOUND) > >>>>>> message(FATAL_ERROR "Z3 >=3D 4.7.1 has not been found in LLVM_Z3_= INSTALL_DIR: ${LLVM_Z3_INSTALL_DIR}.") > >>>>>> endif() > >>>>>> endif() > >>>>>>=20 > >>>>>> set(LLVM_ENABLE_Z3_SOLVER_DEFAULT "${Z3_FOUND}") > >>>>>>=20 > >>>>>> option(LLVM_ENABLE_Z3_SOLVER > >>>>>> "Enable Support for the Z3 constraint solver in LLVM." > >>>>>> ${LLVM_ENABLE_Z3_SOLVER_DEFAULT} > >>>>>> ) > >>>>>>=20 > >>>>>> if (LLVM_ENABLE_Z3_SOLVER) > >>>>>> if (NOT Z3_FOUND) > >>>>>> message(FATAL_ERROR "LLVM_ENABLE_Z3_SOLVER cannot be enabled when= Z3 is not available.") > >>>>>> endif() > >>>>>>=20 > >>>>>> set(LLVM_WITH_Z3 1) > >>>>>> endif() > >>>>>>=20 > >>>>>> if( LLVM_TARGETS_TO_BUILD STREQUAL "all" ) > >>>>>> set( LLVM_TARGETS_TO_BUILD ${LLVM_ALL_TARGETS} ) > >>>>>> endif() > >>>>>>=20 > >>>>>>=20 > >>>>>> If I read that correctly, LLVM_ENABLE_Z3_SOLVER set directly > >>>>>> appears to override the default (that tracks if z3 was found). > >>>>>=20 > >>>>> I saw a reference to: > >>>>>=20 > >>>>> diff --git a/llvm/cmake/modules/CrossCompile.cmake b/llvm/cmake/mod= ules/CrossCompile.cmake > >>>>> index bc3b210f018..0c30b88f80f 100644 > >>>>> --- a/llvm/cmake/modules/CrossCompile.cmake > >>>>> +++ b/llvm/cmake/modules/CrossCompile.cmake > >>>>> @@ -53,6 +53,7 @@ function(llvm_create_cross_target_internal target= _name toolchain buildtype) > >>>>> -DLLVM_DEFAULT_TARGET_TRIPLE=3D"${TARGET_TRIPLE}" > >>>>> -DLLVM_TARGET_ARCH=3D"${LLVM_TARGET_ARCH}" > >>>>> -DLLVM_TEMPORARILY_ALLOW_OLD_TOOLCHAIN=3D"${LLVM_TEMPORARILY= _ALLOW_OLD_TOOLCHAIN}" > >>>>> + -DLLVM_ENABLE_Z3_SOLVER=3D"${LLVM_ENABLE_Z3_SOLVER}" > >>>>> ${build_type_flags} ${linker_flag} ${external_clang_dir} > >>>>> WORKING_DIRECTORY ${LLVM_${target_name}_BUILD} > >>>>> DEPENDS CREATE_LLVM_${target_name} > >>>>>=20 > >>>>> in https://reviews.llvm.org/D54978 on Feb 12 2019, 5:41 PM > >>>>> and it had the comment: > >>>>>=20 > >>>>> QUOTE > >>>>> Independent of the rest of the discussion, this patch should be par= t of the reland, to make sure that explicitly turning off Z3 works reliably= =2E Thanks for coming up with that, and thanks everyone for the good discus= sion here :) > >>>>> END QUOTE > >>>>>=20 > >>>>> This apparently fixes a sub-cmake not respecting the > >>>>> LLVM_ENABLE_Z3_SOLVER setting in the parent cmake. > >>>>> (The overall review earlier describes the sub-cmake > >>>>> not doing the right thing.) > >>>>=20 > >>>> Thanks for digging this up. Unfortunately, this doesn't seem to have > >>>> solved the problem. With this patch applied I still get this if I h= ave > >>>> z3 installed on the system and no LIB_DEPENDS line: > >>>>=20 > >>>> Error: /usr/local/bin/FileCheck90 is linked to /usr/local/lib/libz3.= so.0 > >>>> from math/z3 but it is not declared as a dependency > >>>> Warning: you need LIB_DEPENDS+=3Dlibz3.so:math/z3 > >>>>=20 > >>>> I've generally observed that the portions of the system that cover l= it > >>>> (which includes FileCheck) aren't very well behaved. > >>>=20 > >>> I've filed https://bugs.llvm.org/show_bug.cgi?id=3D42921 upstream, > >>> hopefully someone who understand this part of the cmake system will h= elp > >>> us out. > >>=20 > >> You mentioned applying the patch but not also > >> setting: > >>=20 > >> LLVM_ENABLE_Z3_SOLVER:BOOL=3DOFF > >>=20 > >> with either: > >>=20 > >> -D LLVM_ENABLE_Z3_SOLVER:BOOL=3DOFF > >>=20 > >> on the command line or some line early in CMakeCache.txt . > >> (Actually, I had to look around to know to say those > >> specifics of what it means to have already initialized > >> LLVM_ENABLE_Z3_SOLVER .) > >>=20 > >> From what I see, taking the initial assignment via CMakeCache.txt > >> after it is initialized seems to be a common technique of controlling > >> the configuration. > >>=20 > >> Taking from an example from web of a CMakeCache.txt . . . > >>=20 > >>=20 > >> # This is the CMakeCache file. > >> # For build in directory: [edited out] > >> # It was generated by CMake: /Applications/CMake.app/Contents/bin/cmake > >> # You can edit this file to change values found and used by cmake. > >> # If you do not want to change any of the values, simply exit the edit= or. > >> # If you do want to change a value, simply edit, save, and exit the ed= itor. > >> # The syntax for the file is as follows: > >> # KEY:TYPE=3DVALUE > >> # KEY is the name of a variable in the cache. > >> # TYPE is a hint to GUIs for the type of VALUE, DO NOT EDIT TYPE!. > >> # VALUE is the current value for the KEY. > >>=20 > >> ######################## > >> # EXTERNAL cache entries > >> ######################## > >>=20 > >> //Build a 32 bit version of the library. > >> BENCHMARK_BUILD_32_BITS:BOOL=3DOFF > >>=20 > >> . . . (lots omitted) . . . > >>=20 > >>=20 > >> //Fail and stop if a warning is triggered. > >> LLVM_ENABLE_WERROR:BOOL=3DOFF > >>=20 > >> //Enable Support for the Z3 constraint solver in LLVM. > >> LLVM_ENABLE_Z3_SOLVER:BOOL=3DOFF > >>=20 > >> //Use zlib for compression/decompression if available. > >> LLVM_ENABLE_ZLIB:BOOL=3DON > >>=20 > >> . . . (lots more omitted) . . . > >>=20 > >>=20 > >> The example already had the "LLVM_ENABLE_Z3_SOLVER:BOOL=3DOFF" > >> line, I did not adjust it. > >=20 > > Upstream spotted this error as well. I've hopefully committed a fix (of > > course just as I committed I discovered I'd had the patch applied and it > > shouldn't be needed so I'm now rebuilding again and will add the patch > > if needed.) >=20 > Just for my curiosity: which way are you > initializing LLVM_ENABLE_Z3_SOLVER to OFF ?: >=20 > A) Having -D LLVM_ENABLE_Z3_SOLVER:BOOL=3DOFF on the cmake command line? > B) Having LLVM_ENABLE_Z3_SOLVER:BOOL=3DOFF in the CMakeCache.txt file? > C) Something else (that I missed as a technique)? (A) via: CMAKE_ARGS+=3D -DLLVM_ENABLE_Z3_SOLVER=3DOFF -- Brooks --IJFRpmOek+ZRSQoz Content-Type: application/pgp-signature; name="signature.asc" -----BEGIN PGP SIGNATURE----- iQEcBAEBAgAGBQJdSzuFAAoJEKzQXbSebgfAk8kIAKSC8auB8taB5Fd81iZqj26U mKfbd4/zNTvgo1v+c7c6EsiAm2JKbL0U0NcGyXH0+z1z25kdnPxEFTUdbs3G1YXd IQNlwK3F7OhOoRMbkbeGbaNjuzZnYBDxZyFBGGGeYw/uMooCv/+tXNDr02dtmhPN /SNnuCwWBkU8oghaffjmSg1VbqB2PZCdSu8YzvGPpU/V3iIpUThvb7HDYHbyx11K lC7UzFez2JwTjZQffPv1rSo/SNVubY47HtLQDJWPiiGEiG1KwzSMMQ9kN5833vBp wGyLrDUu/SL9vXWNSSZQ8P9+t4HIj9oo4WhSyX1aDyvJtCMQZG2UmjkVsvnghaE= =VKgt -----END PGP SIGNATURE----- --IJFRpmOek+ZRSQoz-- From owner-freebsd-toolchain@freebsd.org Wed Aug 7 21:37:12 2019 Return-Path: Delivered-To: freebsd-toolchain@mailman.nyi.freebsd.org Received: from mx1.freebsd.org (mx1.freebsd.org [IPv6:2610:1c1:1:606c::19:1]) by mailman.nyi.freebsd.org (Postfix) with ESMTP id 180CAB8B04 for ; Wed, 7 Aug 2019 21:37:12 +0000 (UTC) (envelope-from marklmi@yahoo.com) Received: from sonic310-21.consmr.mail.gq1.yahoo.com (sonic310-21.consmr.mail.gq1.yahoo.com [98.137.69.147]) (using TLSv1.2 with cipher ECDHE-RSA-AES128-GCM-SHA256 (128/128 bits)) (Client did not present a certificate) by mx1.freebsd.org (Postfix) with ESMTPS id 463lFx2f9yz4NF3 for ; Wed, 7 Aug 2019 21:37:08 +0000 (UTC) (envelope-from marklmi@yahoo.com) X-YMail-OSG: ByMZ9lAVM1lGSu3t6T7aYNPQ0L4dyC.5HTZzW5oTOqHDkjxU3mQuvgI_Kk8JLXd Dl6ZWWt4UBRIDUFJjcD8EC6kwo7CZqYQJJBsmSeir0kXkBdsRtAQrotyEiWCM8ZScPoF0qFzleig oG.h13Ea9HPGGXO0rzrI554KvpJR20J9465jx2W00Hl7C0iru3ryZVwSg2_uC_B4D7oS50NGZ9pG Ts3YuF7zYerv80qxl2pY0j0KTfp8EeqQ92ujS7YuVYPgbSa1YtayVEdKO3h5jAe1xikrLMTg3T5c iq0VC55SpQTu8472oL1bOanW6XL75Qra_IaKJQYLAFXV9q.2Wcpy890R4QNK592j0fmqZw1aeWDQ 1zJ_mvcWbE3IiYCFgXpqV87Ywihu2FnKhiADGdwfR4mj7wmt27vaN4G1MbVYYmwooQaLIeR6rTCP KtUhv0FBqmx6odvEZw_loEnu_7LpC7t_49IEYVFyFmZknngOZsqwu2oO8zv37sMQ1kp3dNJuqWz. 6kRaAowjDBGs6DKSKJqfCIMfezdEyvEdja51Tw_OPu2thfflIeqpJizZZNHzguA8Y1IfH8FZR6HE OGktF5i3SNHNUZhNWxCVr_Zpgy8HIQe2NAfcNKdR91W2z9DFmq3LVCmdNplmCVmmvFNvHMBNvka3 1t3Lacip2WFqbrOmgTjPY8keKm99CvQ4NJhvkaHKwjMzQRqB6VMedLW3v6vW.zXJmvaChHWyo4Yq NUu686bovG_fXZ2C..7vL2AuahuJKwzkbX75bJEVEbMveB5.I.a3agtwF.4QqlEtdJl.Y0xMopQn fpVEPAL_rHYlh9eXM91yEx.mYor30aGk366ZMircM_6IozFhTBUEN9erfT5GzPFMvK849symr6kN Wy5wJmu6cDTbdYf82hdITBmU42Bysm3q98fCDf2LFAo8kcuIAigy_2Q9WW9FRNnlJgrAe8jiFjiP EwVoJZe86MFY4ToG08hEDarxbFYf5vOsKw73pJGliNYkKDJ1Srfzk2OhyMaI7Rm598pPXwLBq2Kq YqCWyp2zL1DYB0hBHdC_7Km3KuCXdtrExV8DqEbYby7xsXDaKiJJxy8aKNcC6b0_a6q0xbj.rFM1 Qs0BEwXczpejxweJgSBNvTLTkb8rtyTEidukjYjJps3qvSKZuh3wYQMLgVhYS_2uccBBzagDRK7X qCW4n4LkO06ev9w27NtfMpucts3ZiBY80AdG8hHecNQ4R38oL63e6n8j8nWiOrTvvJRKrTUICabY RoEB7MLZeatInHbhVVyvGQMneU.zPrLD6 Received: from sonic.gate.mail.ne1.yahoo.com by sonic310.consmr.mail.gq1.yahoo.com with HTTP; Wed, 7 Aug 2019 21:37:07 +0000 Received: by smtp405.mail.gq1.yahoo.com (Oath Hermes SMTP Server) with ESMTPA ID 06e9493cdc8885697e643df2e74b5e99; Wed, 07 Aug 2019 21:37:05 +0000 (UTC) From: Mark Millard Message-Id: Mime-Version: 1.0 (Mac OS X Mail 12.4 \(3445.104.11\)) Subject: Re: devel/llvm90 requires math/z3 first; building math/z3 requires a c++ toolchain be in place Date: Wed, 7 Aug 2019 14:37:04 -0700 In-Reply-To: <20190807205846.GM94703@spindle.one-eyed-alien.net> Cc: freebsd-toolchain@freebsd.org, freebsd-ports@freebsd.org, freebsd-ppc@freebsd.org To: Brooks Davis References: <20190806165525.GC94703@spindle.one-eyed-alien.net> <2A88AADC-8ED0-4FFD-85A8-34C0186D5D4F@yahoo.com> <20190807020826.GH94703@spindle.one-eyed-alien.net> <602EEB6C-D0B0-4EFB-AB0E-BE98FF1C4D90@yahoo.com> <086C99B8-1289-4D81-AAF5-85FB0AE70B7C@yahoo.com> <20190807171714.GI94703@spindle.one-eyed-alien.net> <20190807180244.GJ94703@spindle.one-eyed-alien.net> <4FF9540B-E1FE-4947-8E45-8D4FB57A7E34@yahoo.com> <20190807195613.GK94703@spindle.one-eyed-alien.net> <68CDAEA5-73D8-40FB-A22F-CC3B357FA992@yahoo.com> <20190807205846.GM94703@spindle.one-eyed-alien.net> X-Mailer: Apple Mail (2.3445.104.11) X-Rspamd-Queue-Id: 463lFx2f9yz4NF3 X-Spamd-Bar: - X-Spamd-Result: default: False [-1.51 / 15.00]; TO_DN_SOME(0.00)[]; R_SPF_ALLOW(-0.20)[+ptr:yahoo.com]; FREEMAIL_FROM(0.00)[yahoo.com]; MV_CASE(0.50)[]; DKIM_TRACE(0.00)[yahoo.com:+]; DMARC_POLICY_ALLOW(-0.50)[yahoo.com,reject]; FROM_EQ_ENVFROM(0.00)[]; RCVD_TLS_LAST(0.00)[]; MIME_TRACE(0.00)[0:+,1:+,2:~]; FREEMAIL_ENVFROM(0.00)[yahoo.com]; ASN(0.00)[asn:36647, ipnet:98.137.64.0/21, country:US]; MID_RHS_MATCH_FROM(0.00)[]; DWL_DNSWL_NONE(0.00)[yahoo.com.dwl.dnswl.org : 127.0.5.0]; ARC_NA(0.00)[]; NEURAL_HAM_MEDIUM(-0.88)[-0.884,0]; R_DKIM_ALLOW(-0.20)[yahoo.com:s=s2048]; FROM_HAS_DN(0.00)[]; RCPT_COUNT_THREE(0.00)[4]; NEURAL_SPAM_SHORT(0.60)[0.601,0]; NEURAL_HAM_LONG(-0.72)[-0.722,0]; MIME_GOOD(-0.10)[multipart/alternative,text/plain]; IP_SCORE(0.00)[ip: (4.16), ipnet: 98.137.64.0/21(0.90), asn: 36647(0.72), country: US(-0.05)]; IP_SCORE_FREEMAIL(0.00)[]; TO_MATCH_ENVRCPT_SOME(0.00)[]; RCVD_IN_DNSWL_NONE(0.00)[147.69.137.98.list.dnswl.org : 127.0.5.0]; RCVD_COUNT_TWO(0.00)[2] Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: quoted-printable X-Content-Filtered-By: Mailman/MimeDel 2.1.29 X-BeenThere: freebsd-toolchain@freebsd.org X-Mailman-Version: 2.1.29 Precedence: list List-Id: Maintenance of FreeBSD's integrated toolchain List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Wed, 07 Aug 2019 21:37:12 -0000 On 2019-Aug-7, at 13:58, Brooks Davis wrote: > On Wed, Aug 07, 2019 at 01:42:26PM -0700, Mark Millard wrote: >>=20 >>=20 >> On 2019-Aug-7, at 12:56, Brooks Davis wrote: >>=20 >>> On Wed, Aug 07, 2019 at 11:55:04AM -0700, Mark Millard wrote: >>>>=20 >>>>=20 >>>> On 2019-Aug-7, at 11:02, Brooks Davis = wrote: >>>>=20 >>>>> On Wed, Aug 07, 2019 at 05:17:14PM +0000, Brooks Davis wrote: >>>>>> On Tue, Aug 06, 2019 at 09:22:52PM -0700, Mark Millard wrote: >>>>>>> [I found something known to be missing in the >>>>>>> in at least some versions of >>>>>>> llvm/cmake/modules/CrossCompile.cmake that messes >>>>>>> up the overall handling of LLVM_ENABLE_Z3_SOLVER .] >>>>>>>=20 >>>>>>> On 2019-Aug-6, at 20:23, Mark Millard = wrote: >>>>>>>=20 >>>>>>>=20 >>>>>>>=20 >>>>>>>> On 2019-Aug-6, at 19:08, Brooks Davis = wrote: >>>>>>>>=20 >>>>>>>>> On Tue, Aug 06, 2019 at 05:59:21PM -0700, Mark Millard wrote: >>>>>>>>>>=20 >>>>>>>>>>=20 >>>>>>>>>> On 2019-Aug-6, at 09:55, Brooks Davis = wrote: >>>>>>>>>>=20 >>>>>>>>>>> I'd prefer to disable this dependency. There's a knob that = worked in >>>>>>>>>>> the 8.0 timeframe, but the lit build now autodetects z3 when = it is >>>>>>>>>>> present and I've failed to find a knob to disable it. For = now, the easy >>>>>>>>>>> workaround is probably to disable options LIT. We could = make that the >>>>>>>>>>> default on non-LLVM platforms is that makes sense. >>>>>>>>>>>=20 >>>>>>>>>>> -- Brooks >>>>>>>>>>=20 >>>>>>>>>> Okay. >>>>>>>>>>=20 >>>>>>>>>> poudriere-devel automatically built math/z3 because >>>>>>>>>> I'd indicated to build devel/llvm90 . math/z3 was not >>>>>>>>>> previously built: I've never had other use of it. So >>>>>>>>>> my context was not one of an implicit autodetect. >>>>>>>>>=20 >>>>>>>>> The dependency is there because if z3 is installed then the = package >>>>>>>>> that is built depends on z3. Thus I had not choice but to add = a z3 >>>>>>>>> dependency until I find a way to turn it off. You can either = help find >>>>>>>>> a way to disable z3 detection in the cmake infrastructure or = turn off >>>>>>>>> LIT. I don't have any use for reports on the effects of = commenting out >>>>>>>>> the DEPENDS line. I know what that does. >>>>>>>>=20 >>>>>>>>=20 >>>>>>>> I hope this helps. (I'm not a cmake expert.) >>>>>>>>=20 >>>>>>>> llvm-9.0.0rc1.src/lib/Support/Z3Solver.cpp does: >>>>>>>>=20 >>>>>>>> #if LLVM_WITH_Z3 >>>>>>>>=20 >>>>>>>> #include >>>>>>>>=20 >>>>>>>> namespace { >>>>>>>> . . . >>>>>>>> } // end anonymous namespace >>>>>>>>=20 >>>>>>>> #endif >>>>>>>>=20 >>>>>>>> llvm::SMTSolverRef llvm::CreateZ3Solver() { >>>>>>>> #if LLVM_WITH_Z3 >>>>>>>> return llvm::make_unique(); >>>>>>>> #else >>>>>>>> llvm::report_fatal_error("LLVM was not compiled with Z3 = support, rebuild " >>>>>>>> "with -DLLVM_ENABLE_Z3_SOLVER=3DON", >>>>>>>> false); >>>>>>>> return nullptr; >>>>>>>> #endif >>>>>>>> } >>>>>>>>=20 >>>>>>>> (There are other places LLVM_WITH_Z3 is used but the >>>>>>>> above is suggestive.) >>>>>>>>=20 >>>>>>>> Working backwards finds that: >>>>>>>>=20 >>>>>>>> = /wrkdirs/usr/ports/devel/llvm90/work/llvm-9.0.0rc1.src/CMakeLists.txt >>>>>>>>=20 >>>>>>>> shows LLVM_WITH_Z3 being conditionally set to 1 via . . . >>>>>>>>=20 >>>>>>>> set(LLVM_Z3_INSTALL_DIR "" CACHE STRING "Install directory of = the Z3 solver.") >>>>>>>>=20 >>>>>>>> find_package(Z3 4.7.1) >>>>>>>>=20 >>>>>>>> if (LLVM_Z3_INSTALL_DIR) >>>>>>>> if (NOT Z3_FOUND) >>>>>>>> message(FATAL_ERROR "Z3 >=3D 4.7.1 has not been found in = LLVM_Z3_INSTALL_DIR: ${LLVM_Z3_INSTALL_DIR}.") >>>>>>>> endif() >>>>>>>> endif() >>>>>>>>=20 >>>>>>>> set(LLVM_ENABLE_Z3_SOLVER_DEFAULT "${Z3_FOUND}") >>>>>>>>=20 >>>>>>>> option(LLVM_ENABLE_Z3_SOLVER >>>>>>>> "Enable Support for the Z3 constraint solver in LLVM." >>>>>>>> ${LLVM_ENABLE_Z3_SOLVER_DEFAULT} >>>>>>>> ) >>>>>>>>=20 >>>>>>>> if (LLVM_ENABLE_Z3_SOLVER) >>>>>>>> if (NOT Z3_FOUND) >>>>>>>> message(FATAL_ERROR "LLVM_ENABLE_Z3_SOLVER cannot be enabled = when Z3 is not available.") >>>>>>>> endif() >>>>>>>>=20 >>>>>>>> set(LLVM_WITH_Z3 1) >>>>>>>> endif() >>>>>>>>=20 >>>>>>>> if( LLVM_TARGETS_TO_BUILD STREQUAL "all" ) >>>>>>>> set( LLVM_TARGETS_TO_BUILD ${LLVM_ALL_TARGETS} ) >>>>>>>> endif() >>>>>>>>=20 >>>>>>>>=20 >>>>>>>> If I read that correctly, LLVM_ENABLE_Z3_SOLVER set directly >>>>>>>> appears to override the default (that tracks if z3 was found). >>>>>>>=20 >>>>>>> I saw a reference to: >>>>>>>=20 >>>>>>> diff --git a/llvm/cmake/modules/CrossCompile.cmake = b/llvm/cmake/modules/CrossCompile.cmake >>>>>>> index bc3b210f018..0c30b88f80f 100644 >>>>>>> --- a/llvm/cmake/modules/CrossCompile.cmake >>>>>>> +++ b/llvm/cmake/modules/CrossCompile.cmake >>>>>>> @@ -53,6 +53,7 @@ function(llvm_create_cross_target_internal = target_name toolchain buildtype) >>>>>>> -DLLVM_DEFAULT_TARGET_TRIPLE=3D"${TARGET_TRIPLE}" >>>>>>> -DLLVM_TARGET_ARCH=3D"${LLVM_TARGET_ARCH}" >>>>>>> = -DLLVM_TEMPORARILY_ALLOW_OLD_TOOLCHAIN=3D"${LLVM_TEMPORARILY_ALLOW_OLD_TOO= LCHAIN}" >>>>>>> + -DLLVM_ENABLE_Z3_SOLVER=3D"${LLVM_ENABLE_Z3_SOLVER}" >>>>>>> ${build_type_flags} ${linker_flag} ${external_clang_dir} >>>>>>> WORKING_DIRECTORY ${LLVM_${target_name}_BUILD} >>>>>>> DEPENDS CREATE_LLVM_${target_name} >>>>>>>=20 >>>>>>> in https://reviews.llvm.org/D54978 on Feb 12 2019, 5:41 PM >>>>>>> and it had the comment: >>>>>>>=20 >>>>>>> QUOTE >>>>>>> Independent of the rest of the discussion, this patch should be = part of the reland, to make sure that explicitly turning off Z3 works = reliably. Thanks for coming up with that, and thanks everyone for the = good discussion here :) >>>>>>> END QUOTE >>>>>>>=20 >>>>>>> This apparently fixes a sub-cmake not respecting the >>>>>>> LLVM_ENABLE_Z3_SOLVER setting in the parent cmake. >>>>>>> (The overall review earlier describes the sub-cmake >>>>>>> not doing the right thing.) >>>>>>=20 >>>>>> Thanks for digging this up. Unfortunately, this doesn't seem to = have >>>>>> solved the problem. With this patch applied I still get this if = I have >>>>>> z3 installed on the system and no LIB_DEPENDS line: >>>>>>=20 >>>>>> Error: /usr/local/bin/FileCheck90 is linked to = /usr/local/lib/libz3.so.0 >>>>>> from math/z3 but it is not declared as a dependency >>>>>> Warning: you need LIB_DEPENDS+=3Dlibz3.so:math/z3 >>>>>>=20 >>>>>> I've generally observed that the portions of the system that = cover lit >>>>>> (which includes FileCheck) aren't very well behaved. >>>>>=20 >>>>> I've filed https://bugs.llvm.org/show_bug.cgi?id=3D42921 upstream, >>>>> hopefully someone who understand this part of the cmake system = will help >>>>> us out. >>>>=20 >>>> You mentioned applying the patch but not also >>>> setting: >>>>=20 >>>> LLVM_ENABLE_Z3_SOLVER:BOOL=3DOFF >>>>=20 >>>> with either: >>>>=20 >>>> -D LLVM_ENABLE_Z3_SOLVER:BOOL=3DOFF >>>>=20 >>>> on the command line or some line early in CMakeCache.txt . >>>> (Actually, I had to look around to know to say those >>>> specifics of what it means to have already initialized >>>> LLVM_ENABLE_Z3_SOLVER .) >>>>=20 >>>> =46rom what I see, taking the initial assignment via CMakeCache.txt >>>> after it is initialized seems to be a common technique of = controlling >>>> the configuration. >>>>=20 >>>> Taking from an example from web of a CMakeCache.txt . . . >>>>=20 >>>>=20 >>>> # This is the CMakeCache file. >>>> # For build in directory: [edited out] >>>> # It was generated by CMake: = /Applications/CMake.app/Contents/bin/cmake >>>> # You can edit this file to change values found and used by cmake. >>>> # If you do not want to change any of the values, simply exit the = editor. >>>> # If you do want to change a value, simply edit, save, and exit the = editor. >>>> # The syntax for the file is as follows: >>>> # KEY:TYPE=3DVALUE >>>> # KEY is the name of a variable in the cache. >>>> # TYPE is a hint to GUIs for the type of VALUE, DO NOT EDIT TYPE!. >>>> # VALUE is the current value for the KEY. >>>>=20 >>>> ######################## >>>> # EXTERNAL cache entries >>>> ######################## >>>>=20 >>>> //Build a 32 bit version of the library. >>>> BENCHMARK_BUILD_32_BITS:BOOL=3DOFF >>>>=20 >>>> . . . (lots omitted) . . . >>>>=20 >>>>=20 >>>> //Fail and stop if a warning is triggered. >>>> LLVM_ENABLE_WERROR:BOOL=3DOFF >>>>=20 >>>> //Enable Support for the Z3 constraint solver in LLVM. >>>> LLVM_ENABLE_Z3_SOLVER:BOOL=3DOFF >>>>=20 >>>> //Use zlib for compression/decompression if available. >>>> LLVM_ENABLE_ZLIB:BOOL=3DON >>>>=20 >>>> . . . (lots more omitted) . . . >>>>=20 >>>>=20 >>>> The example already had the "LLVM_ENABLE_Z3_SOLVER:BOOL=3DOFF" >>>> line, I did not adjust it. >>>=20 >>> Upstream spotted this error as well. I've hopefully committed a fix = (of >>> course just as I committed I discovered I'd had the patch applied = and it >>> shouldn't be needed so I'm now rebuilding again and will add the = patch >>> if needed.) >>=20 >> Just for my curiosity: which way are you >> initializing LLVM_ENABLE_Z3_SOLVER to OFF ?: >>=20 >> A) Having -D LLVM_ENABLE_Z3_SOLVER:BOOL=3DOFF on the cmake command = line? >> B) Having LLVM_ENABLE_Z3_SOLVER:BOOL=3DOFF in the CMakeCache.txt = file? >> C) Something else (that I missed as a technique)? >=20 > (A) via: >=20 > CMAKE_ARGS+=3D -DLLVM_ENABLE_Z3_SOLVER=3DOFF Thanks. =46rom what I've seen the :BOOL part of the syntax should be used: CMAKE_ARGS+=3D -DLLVM_ENABLE_Z3_SOLVER:BOOL=3DOFF It is not a textual definition from what I gather and the intended type should be specified as well. (But I'm learning things as I go.) =3D=3D=3D Mark Millard marklmi at yahoo.com ( dsl-only.net went away in early 2018-Mar) From owner-freebsd-toolchain@freebsd.org Wed Aug 7 22:27:43 2019 Return-Path: Delivered-To: freebsd-toolchain@mailman.nyi.freebsd.org Received: from mx1.freebsd.org (mx1.freebsd.org [IPv6:2610:1c1:1:606c::19:1]) by mailman.nyi.freebsd.org (Postfix) with ESMTP id C7E53B9C52 for ; Wed, 7 Aug 2019 22:27:43 +0000 (UTC) (envelope-from marklmi@yahoo.com) Received: from sonic301-3.consmr.mail.bf2.yahoo.com (sonic301-3.consmr.mail.bf2.yahoo.com [74.6.129.42]) (using TLSv1.2 with cipher ECDHE-RSA-AES128-GCM-SHA256 (128/128 bits)) (Client did not present a certificate) by mx1.freebsd.org (Postfix) with ESMTPS id 463mNG5MBWz4Qpn for ; Wed, 7 Aug 2019 22:27:42 +0000 (UTC) (envelope-from marklmi@yahoo.com) X-YMail-OSG: Tv4yUdIVM1ltf0xkyeDxw0Rl0QZAq8.SbBpplA21kRuoYonNINwAYqjqQKFpVHd TY7xNJ4qGb7ZhPtu9MUGuThgyZ3WxUhYXt0MlKG8o5BC8_zAJkg0z0vogTgDfkpNVnZeSnFDs8jU K4E322SHUVLXY4AHOVn2xS0l9xZ_Pf6lEsCJpaIR4BSmNZIGWq3NQQRZw09Bs_W0I0hYE2AepTLT Byp3KX5MmNsHysKBLP79KYJBJuLyZnp3nH.FbjZWGEQE3f4TWzJnhdE7ykvHpj5Vt40iQPv6PDSO bJbeITxwlfKCpmN..9dt14bbnVACEI4wS0lo_wyzCTd4brzQesbvhITKrg_h9I7_P5JlVFTtuTrO lzKzQuu3UqFJc.Z1ozAFOyae9zuki3P8qSn5j79eRFMuI5EKBNQ3OnTp_ZIx2FSYoDsCvSvVlI6O 5C1jG1yODJ_oRVX1CxwZpPG6D25CfmR1CNPWyADibVp8Nzg4wGWWy_LnQTuDbbZv5nnOJqU0ceyf d9ZFy4Jzemn4Y590GTj.vw2yjwIFQpdHGRhkxBNhEwUWyMckcIq9.GaTrFfaDynJzZIypdhg7qxN osKdjEYAcRgvPsfEnnXsqI5Lc.8X.zTfUjwGAg9Qj02UqvP._q0tMcbkRp97XFtHQW4uliiZ0c4g xIewfqkWUfNuKDVR2x.joKPddgGBVsm0YHePuvcvZDTRb.u4EGW36M8Mgak6G6lmvX2K_H0RjqCC ZSK6FzyWzJHEK23gW1yv0DgPEmZYA98_VLvLfzFKV_L_K_RYuHowMnKMvIA0u2cScFMAv_dSL13w T5JN977U0hkr6xWqAWpsXKeN2xvkM_fPe99wYCXxJmOqMMqVqiz1_lm8uf7z_l4ggR8TziQEPkmU vgpNi4QzP6Gp2za1BzaCih3eMmXN9dQ8V13NUIVH9qyOS.WCoX1A_LjbH6A9xAS9TbHwLR9hUsUr FVhEF3ntsDQMFB.1E4Lpv8CbxYzz.lY9oh130DJYSBD9LXEVz_0tloex4_S7T2buHFnJHQN_BbRw OnDPorQvuWtoei96DqKd7E_RzahRcrVNvUkHD7m.I8bl4M8jEm5DDEGt10AMIdfSawl6dMQ1Z_wo 2tu.pyeUbI6M1AbyPbzfCYKYwrQha.RfSFOacIkS8qrKo8QbOckPRFtCp9otvShsY9.JtLhO1Em. MPvHHDdp5_kYEMZ192zI05uP7s.YcDrHYbPSEY9XtN97jeGTxoI6RFAAWzrbCc4Z3tJVKuYYWUU2 RpdBLm5GdMnVqgwuT0FVAAqKjh4cf Received: from sonic.gate.mail.ne1.yahoo.com by sonic301.consmr.mail.bf2.yahoo.com with HTTP; Wed, 7 Aug 2019 22:27:40 +0000 Received: by smtp429.mail.bf1.yahoo.com (Oath Hermes SMTP Server) with ESMTPA ID 0ad03f1125140b53f7610d053261034c; Wed, 07 Aug 2019 22:27:36 +0000 (UTC) Content-Type: text/plain; charset=utf-8 Mime-Version: 1.0 (Mac OS X Mail 12.4 \(3445.104.11\)) Subject: Re: devel/llvm90 requires math/z3 first; building math/z3 requires a c++ toolchain be in place From: Mark Millard In-Reply-To: Date: Wed, 7 Aug 2019 15:27:33 -0700 Cc: freebsd-toolchain@freebsd.org, freebsd-ports@freebsd.org, freebsd-ppc@freebsd.org Content-Transfer-Encoding: quoted-printable Message-Id: References: <20190806165525.GC94703@spindle.one-eyed-alien.net> <2A88AADC-8ED0-4FFD-85A8-34C0186D5D4F@yahoo.com> <20190807020826.GH94703@spindle.one-eyed-alien.net> <602EEB6C-D0B0-4EFB-AB0E-BE98FF1C4D90@yahoo.com> <086C99B8-1289-4D81-AAF5-85FB0AE70B7C@yahoo.com> <20190807171714.GI94703@spindle.one-eyed-alien.net> <20190807180244.GJ94703@spindle.one-eyed-alien.net> <4FF9540B-E1FE-4947-8E45-8D4FB57A7E34@yahoo.com> <20190807195613.GK94703@spindle.one-eyed-alien.net> <68CDAEA5-73D8-40FB-A22F-CC3B357FA992@yahoo.com> <20190807205846.GM94703@spindle.one-eyed-alien.net> To: Brooks Davis X-Mailer: Apple Mail (2.3445.104.11) X-Rspamd-Queue-Id: 463mNG5MBWz4Qpn X-Spamd-Bar: - X-Spamd-Result: default: False [-1.69 / 15.00]; TO_DN_SOME(0.00)[]; R_SPF_ALLOW(-0.20)[+ptr:yahoo.com]; FREEMAIL_FROM(0.00)[yahoo.com]; MV_CASE(0.50)[]; DKIM_TRACE(0.00)[yahoo.com:+]; DMARC_POLICY_ALLOW(-0.50)[yahoo.com,reject]; FROM_EQ_ENVFROM(0.00)[]; RCVD_TLS_LAST(0.00)[]; MIME_TRACE(0.00)[0:+]; FREEMAIL_ENVFROM(0.00)[yahoo.com]; ASN(0.00)[asn:26101, ipnet:74.6.128.0/21, country:US]; MID_RHS_MATCH_FROM(0.00)[]; DWL_DNSWL_NONE(0.00)[yahoo.com.dwl.dnswl.org : 127.0.5.0]; ARC_NA(0.00)[]; NEURAL_HAM_MEDIUM(-0.88)[-0.879,0]; R_DKIM_ALLOW(-0.20)[yahoo.com:s=s2048]; FROM_HAS_DN(0.00)[]; RCPT_COUNT_THREE(0.00)[4]; NEURAL_SPAM_SHORT(0.42)[0.420,0]; NEURAL_HAM_LONG(-0.73)[-0.727,0]; MIME_GOOD(-0.10)[text/plain]; IP_SCORE(0.00)[ip: (3.99), ipnet: 74.6.128.0/21(1.44), asn: 26101(1.15), country: US(-0.05)]; IP_SCORE_FREEMAIL(0.00)[]; TO_MATCH_ENVRCPT_SOME(0.00)[]; RCVD_IN_DNSWL_NONE(0.00)[42.129.6.74.list.dnswl.org : 127.0.5.0]; RCVD_COUNT_TWO(0.00)[2] X-BeenThere: freebsd-toolchain@freebsd.org X-Mailman-Version: 2.1.29 Precedence: list List-Id: Maintenance of FreeBSD's integrated toolchain List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Wed, 07 Aug 2019 22:27:43 -0000 [I found that the vintage of cmake matters: 3.12 and earlier work differently. Details later.] On 2019-Aug-7, at 14:37, Mark Millard wrote: > On 2019-Aug-7, at 13:58, Brooks Davis wrote: >=20 >> On Wed, Aug 07, 2019 at 01:42:26PM -0700, Mark Millard wrote: >>>=20 >>>=20 >>> On 2019-Aug-7, at 12:56, Brooks Davis wrote: >>>=20 >>>> On Wed, Aug 07, 2019 at 11:55:04AM -0700, Mark Millard wrote: >>>>>=20 >>>>>=20 >>>>> On 2019-Aug-7, at 11:02, Brooks Davis = wrote: >>>>>=20 >>>>>> On Wed, Aug 07, 2019 at 05:17:14PM +0000, Brooks Davis wrote: >>>>>>> On Tue, Aug 06, 2019 at 09:22:52PM -0700, Mark Millard wrote: >>>>>>>> [I found something known to be missing in the >>>>>>>> in at least some versions of >>>>>>>> llvm/cmake/modules/CrossCompile.cmake that messes >>>>>>>> up the overall handling of LLVM_ENABLE_Z3_SOLVER .] >>>>>>>>=20 >>>>>>>> On 2019-Aug-6, at 20:23, Mark Millard = wrote: >>>>>>>>=20 >>>>>>>>=20 >>>>>>>>=20 >>>>>>>>> On 2019-Aug-6, at 19:08, Brooks Davis = wrote: >>>>>>>>>=20 >>>>>>>>>> On Tue, Aug 06, 2019 at 05:59:21PM -0700, Mark Millard wrote: >>>>>>>>>>>=20 >>>>>>>>>>>=20 >>>>>>>>>>> On 2019-Aug-6, at 09:55, Brooks Davis wrote: >>>>>>>>>>>=20 >>>>>>>>>>>> I'd prefer to disable this dependency. There's a knob that = worked in >>>>>>>>>>>> the 8.0 timeframe, but the lit build now autodetects z3 = when it is >>>>>>>>>>>> present and I've failed to find a knob to disable it. For = now, the easy >>>>>>>>>>>> workaround is probably to disable options LIT. We could = make that the >>>>>>>>>>>> default on non-LLVM platforms is that makes sense. >>>>>>>>>>>>=20 >>>>>>>>>>>> -- Brooks >>>>>>>>>>>=20 >>>>>>>>>>> Okay. >>>>>>>>>>>=20 >>>>>>>>>>> poudriere-devel automatically built math/z3 because >>>>>>>>>>> I'd indicated to build devel/llvm90 . math/z3 was not >>>>>>>>>>> previously built: I've never had other use of it. So >>>>>>>>>>> my context was not one of an implicit autodetect. >>>>>>>>>>=20 >>>>>>>>>> The dependency is there because if z3 is installed then the = package >>>>>>>>>> that is built depends on z3. Thus I had not choice but to = add a z3 >>>>>>>>>> dependency until I find a way to turn it off. You can either = help find >>>>>>>>>> a way to disable z3 detection in the cmake infrastructure or = turn off >>>>>>>>>> LIT. I don't have any use for reports on the effects of = commenting out >>>>>>>>>> the DEPENDS line. I know what that does. >>>>>>>>>=20 >>>>>>>>>=20 >>>>>>>>> I hope this helps. (I'm not a cmake expert.) >>>>>>>>>=20 >>>>>>>>> llvm-9.0.0rc1.src/lib/Support/Z3Solver.cpp does: >>>>>>>>>=20 >>>>>>>>> #if LLVM_WITH_Z3 >>>>>>>>>=20 >>>>>>>>> #include >>>>>>>>>=20 >>>>>>>>> namespace { >>>>>>>>> . . . >>>>>>>>> } // end anonymous namespace >>>>>>>>>=20 >>>>>>>>> #endif >>>>>>>>>=20 >>>>>>>>> llvm::SMTSolverRef llvm::CreateZ3Solver() { >>>>>>>>> #if LLVM_WITH_Z3 >>>>>>>>> return llvm::make_unique(); >>>>>>>>> #else >>>>>>>>> llvm::report_fatal_error("LLVM was not compiled with Z3 = support, rebuild " >>>>>>>>> "with -DLLVM_ENABLE_Z3_SOLVER=3DON", >>>>>>>>> false); >>>>>>>>> return nullptr; >>>>>>>>> #endif >>>>>>>>> } >>>>>>>>>=20 >>>>>>>>> (There are other places LLVM_WITH_Z3 is used but the >>>>>>>>> above is suggestive.) >>>>>>>>>=20 >>>>>>>>> Working backwards finds that: >>>>>>>>>=20 >>>>>>>>> = /wrkdirs/usr/ports/devel/llvm90/work/llvm-9.0.0rc1.src/CMakeLists.txt >>>>>>>>>=20 >>>>>>>>> shows LLVM_WITH_Z3 being conditionally set to 1 via . . . >>>>>>>>>=20 >>>>>>>>> set(LLVM_Z3_INSTALL_DIR "" CACHE STRING "Install directory of = the Z3 solver.") >>>>>>>>>=20 >>>>>>>>> find_package(Z3 4.7.1) >>>>>>>>>=20 >>>>>>>>> if (LLVM_Z3_INSTALL_DIR) >>>>>>>>> if (NOT Z3_FOUND) >>>>>>>>> message(FATAL_ERROR "Z3 >=3D 4.7.1 has not been found in = LLVM_Z3_INSTALL_DIR: ${LLVM_Z3_INSTALL_DIR}.") >>>>>>>>> endif() >>>>>>>>> endif() >>>>>>>>>=20 >>>>>>>>> set(LLVM_ENABLE_Z3_SOLVER_DEFAULT "${Z3_FOUND}") >>>>>>>>>=20 >>>>>>>>> option(LLVM_ENABLE_Z3_SOLVER >>>>>>>>> "Enable Support for the Z3 constraint solver in LLVM." >>>>>>>>> ${LLVM_ENABLE_Z3_SOLVER_DEFAULT} >>>>>>>>> ) >>>>>>>>>=20 >>>>>>>>> if (LLVM_ENABLE_Z3_SOLVER) >>>>>>>>> if (NOT Z3_FOUND) >>>>>>>>> message(FATAL_ERROR "LLVM_ENABLE_Z3_SOLVER cannot be enabled = when Z3 is not available.") >>>>>>>>> endif() >>>>>>>>>=20 >>>>>>>>> set(LLVM_WITH_Z3 1) >>>>>>>>> endif() >>>>>>>>>=20 >>>>>>>>> if( LLVM_TARGETS_TO_BUILD STREQUAL "all" ) >>>>>>>>> set( LLVM_TARGETS_TO_BUILD ${LLVM_ALL_TARGETS} ) >>>>>>>>> endif() >>>>>>>>>=20 >>>>>>>>>=20 >>>>>>>>> If I read that correctly, LLVM_ENABLE_Z3_SOLVER set directly >>>>>>>>> appears to override the default (that tracks if z3 was found). >>>>>>>>=20 >>>>>>>> I saw a reference to: >>>>>>>>=20 >>>>>>>> diff --git a/llvm/cmake/modules/CrossCompile.cmake = b/llvm/cmake/modules/CrossCompile.cmake >>>>>>>> index bc3b210f018..0c30b88f80f 100644 >>>>>>>> --- a/llvm/cmake/modules/CrossCompile.cmake >>>>>>>> +++ b/llvm/cmake/modules/CrossCompile.cmake >>>>>>>> @@ -53,6 +53,7 @@ function(llvm_create_cross_target_internal = target_name toolchain buildtype) >>>>>>>> -DLLVM_DEFAULT_TARGET_TRIPLE=3D"${TARGET_TRIPLE}" >>>>>>>> -DLLVM_TARGET_ARCH=3D"${LLVM_TARGET_ARCH}" >>>>>>>> = -DLLVM_TEMPORARILY_ALLOW_OLD_TOOLCHAIN=3D"${LLVM_TEMPORARILY_ALLOW_OLD_TOO= LCHAIN}" >>>>>>>> + -DLLVM_ENABLE_Z3_SOLVER=3D"${LLVM_ENABLE_Z3_SOLVER}" >>>>>>>> ${build_type_flags} ${linker_flag} ${external_clang_dir} >>>>>>>> WORKING_DIRECTORY ${LLVM_${target_name}_BUILD} >>>>>>>> DEPENDS CREATE_LLVM_${target_name} >>>>>>>>=20 >>>>>>>> in https://reviews.llvm.org/D54978 on Feb 12 2019, 5:41 PM >>>>>>>> and it had the comment: >>>>>>>>=20 >>>>>>>> QUOTE >>>>>>>> Independent of the rest of the discussion, this patch should be = part of the reland, to make sure that explicitly turning off Z3 works = reliably. Thanks for coming up with that, and thanks everyone for the = good discussion here :) >>>>>>>> END QUOTE >>>>>>>>=20 >>>>>>>> This apparently fixes a sub-cmake not respecting the >>>>>>>> LLVM_ENABLE_Z3_SOLVER setting in the parent cmake. >>>>>>>> (The overall review earlier describes the sub-cmake >>>>>>>> not doing the right thing.) >>>>>>>=20 >>>>>>> Thanks for digging this up. Unfortunately, this doesn't seem to = have >>>>>>> solved the problem. With this patch applied I still get this if = I have >>>>>>> z3 installed on the system and no LIB_DEPENDS line: >>>>>>>=20 >>>>>>> Error: /usr/local/bin/FileCheck90 is linked to = /usr/local/lib/libz3.so.0 >>>>>>> from math/z3 but it is not declared as a dependency >>>>>>> Warning: you need LIB_DEPENDS+=3Dlibz3.so:math/z3 >>>>>>>=20 >>>>>>> I've generally observed that the portions of the system that = cover lit >>>>>>> (which includes FileCheck) aren't very well behaved. >>>>>>=20 >>>>>> I've filed https://bugs.llvm.org/show_bug.cgi?id=3D42921 = upstream, >>>>>> hopefully someone who understand this part of the cmake system = will help >>>>>> us out. >>>>>=20 >>>>> You mentioned applying the patch but not also >>>>> setting: >>>>>=20 >>>>> LLVM_ENABLE_Z3_SOLVER:BOOL=3DOFF >>>>>=20 >>>>> with either: >>>>>=20 >>>>> -D LLVM_ENABLE_Z3_SOLVER:BOOL=3DOFF >>>>>=20 >>>>> on the command line or some line early in CMakeCache.txt . >>>>> (Actually, I had to look around to know to say those >>>>> specifics of what it means to have already initialized >>>>> LLVM_ENABLE_Z3_SOLVER .) >>>>>=20 >>>>> =46rom what I see, taking the initial assignment via = CMakeCache.txt >>>>> after it is initialized seems to be a common technique of = controlling >>>>> the configuration. >>>>>=20 >>>>> Taking from an example from web of a CMakeCache.txt . . . >>>>>=20 >>>>>=20 >>>>> # This is the CMakeCache file. >>>>> # For build in directory: [edited out] >>>>> # It was generated by CMake: = /Applications/CMake.app/Contents/bin/cmake >>>>> # You can edit this file to change values found and used by cmake. >>>>> # If you do not want to change any of the values, simply exit the = editor. >>>>> # If you do want to change a value, simply edit, save, and exit = the editor. >>>>> # The syntax for the file is as follows: >>>>> # KEY:TYPE=3DVALUE >>>>> # KEY is the name of a variable in the cache. >>>>> # TYPE is a hint to GUIs for the type of VALUE, DO NOT EDIT TYPE!. >>>>> # VALUE is the current value for the KEY. >>>>>=20 >>>>> ######################## >>>>> # EXTERNAL cache entries >>>>> ######################## >>>>>=20 >>>>> //Build a 32 bit version of the library. >>>>> BENCHMARK_BUILD_32_BITS:BOOL=3DOFF >>>>>=20 >>>>> . . . (lots omitted) . . . >>>>>=20 >>>>>=20 >>>>> //Fail and stop if a warning is triggered. >>>>> LLVM_ENABLE_WERROR:BOOL=3DOFF >>>>>=20 >>>>> //Enable Support for the Z3 constraint solver in LLVM. >>>>> LLVM_ENABLE_Z3_SOLVER:BOOL=3DOFF >>>>>=20 >>>>> //Use zlib for compression/decompression if available. >>>>> LLVM_ENABLE_ZLIB:BOOL=3DON >>>>>=20 >>>>> . . . (lots more omitted) . . . >>>>>=20 >>>>>=20 >>>>> The example already had the "LLVM_ENABLE_Z3_SOLVER:BOOL=3DOFF" >>>>> line, I did not adjust it. >>>>=20 >>>> Upstream spotted this error as well. I've hopefully committed a = fix (of >>>> course just as I committed I discovered I'd had the patch applied = and it >>>> shouldn't be needed so I'm now rebuilding again and will add the = patch >>>> if needed.) >>>=20 >>> Just for my curiosity: which way are you >>> initializing LLVM_ENABLE_Z3_SOLVER to OFF ?: >>>=20 >>> A) Having -D LLVM_ENABLE_Z3_SOLVER:BOOL=3DOFF on the cmake command = line? >>> B) Having LLVM_ENABLE_Z3_SOLVER:BOOL=3DOFF in the CMakeCache.txt = file? >>> C) Something else (that I missed as a technique)? >>=20 >> (A) via: >>=20 >> CMAKE_ARGS+=3D -DLLVM_ENABLE_Z3_SOLVER=3DOFF >=20 > Thanks. >=20 > =46rom what I've seen the :BOOL part of the syntax should be used: >=20 > CMAKE_ARGS+=3D -DLLVM_ENABLE_Z3_SOLVER:BOOL=3DOFF >=20 > It is not a textual definition from what I gather and > the intended type should be specified as well. (But > I'm learning things as I go.) I ran into the following issue for CMake 3.12 and earlier (before 01 Dec 2018 07:37:57 according to freshports) . . . QUOTE option() honors normal variables. The option() command is typically used to create a cache entry to allow = users to set the option. However, there are cases in which a normal = (non-cached) variable of the same name as the option may be defined by = the project prior to calling the option() command. For example, a = project that embeds another project as a subdirectory may want to = hard-code options of the subproject to build the way it needs. For historical reasons in CMake 3.12 and below the option() command = removes a normal (non-cached) variable of the same name when: =E2=80=A2 a cache entry of the specified name does not exist at = all, or =E2=80=A2 a cache entry of the specified name exists but has not = been given a type (e.g. via -D=3DON on the command line). END QUOTE So the setting of LLVM_ENABLE_Z3_SOLVER:BOOL=3DOFF will not work for CMake 3.12 and before. =3D=3D=3D Mark Millard marklmi at yahoo.com ( dsl-only.net went away in early 2018-Mar) From owner-freebsd-toolchain@freebsd.org Wed Aug 7 22:57:45 2019 Return-Path: Delivered-To: freebsd-toolchain@mailman.nyi.freebsd.org Received: from mx1.freebsd.org (mx1.freebsd.org [IPv6:2610:1c1:1:606c::19:1]) by mailman.nyi.freebsd.org (Postfix) with ESMTP id DBCA4BAA7E for ; Wed, 7 Aug 2019 22:57:45 +0000 (UTC) (envelope-from bugzilla-noreply@freebsd.org) Received: from mailman.nyi.freebsd.org (mailman.nyi.freebsd.org [IPv6:2610:1c1:1:606c::50:13]) by mx1.freebsd.org (Postfix) with ESMTP id 463n2x5XMxz4SVZ for ; Wed, 7 Aug 2019 22:57:45 +0000 (UTC) (envelope-from bugzilla-noreply@freebsd.org) Received: by mailman.nyi.freebsd.org (Postfix) id BC0F8BAA7D; Wed, 7 Aug 2019 22:57:45 +0000 (UTC) Delivered-To: toolchain@mailman.nyi.freebsd.org Received: from mx1.freebsd.org (mx1.freebsd.org [IPv6:2610:1c1:1:606c::19:1]) by mailman.nyi.freebsd.org (Postfix) with ESMTP id BBD15BAA7C for ; Wed, 7 Aug 2019 22:57:45 +0000 (UTC) (envelope-from bugzilla-noreply@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) server-signature RSA-PSS (4096 bits) client-signature RSA-PSS (4096 bits) client-digest SHA256) (Client CN "mxrelay.nyi.freebsd.org", Issuer "Let's Encrypt Authority X3" (verified OK)) by mx1.freebsd.org (Postfix) with ESMTPS id 463n2x4X2Jz4SVY for ; Wed, 7 Aug 2019 22:57:45 +0000 (UTC) (envelope-from bugzilla-noreply@freebsd.org) Received: from kenobi.freebsd.org (kenobi.freebsd.org [IPv6:2610:1c1:1:606c::50:1d]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (Client did not present a certificate) by mxrelay.nyi.freebsd.org (Postfix) with ESMTPS id 7E6E71BD2D for ; Wed, 7 Aug 2019 22:57:45 +0000 (UTC) (envelope-from bugzilla-noreply@freebsd.org) Received: from kenobi.freebsd.org ([127.0.1.5]) by kenobi.freebsd.org (8.15.2/8.15.2) with ESMTP id x77Mvj3U033453 for ; Wed, 7 Aug 2019 22:57:45 GMT (envelope-from bugzilla-noreply@freebsd.org) Received: (from www@localhost) by kenobi.freebsd.org (8.15.2/8.15.2/Submit) id x77MvjMR033452 for toolchain@FreeBSD.org; Wed, 7 Aug 2019 22:57:45 GMT (envelope-from bugzilla-noreply@freebsd.org) X-Authentication-Warning: kenobi.freebsd.org: www set sender to bugzilla-noreply@freebsd.org using -f From: bugzilla-noreply@freebsd.org To: toolchain@FreeBSD.org Subject: [Bug 221423] gcc std::locale(LocaleName) crashes instead of throwing an exception Date: Wed, 07 Aug 2019 22:57:45 +0000 X-Bugzilla-Reason: AssignedTo X-Bugzilla-Type: changed X-Bugzilla-Watch-Reason: None X-Bugzilla-Product: Ports & Packages X-Bugzilla-Component: Individual Port(s) X-Bugzilla-Version: Latest X-Bugzilla-Keywords: X-Bugzilla-Severity: Affects Many People X-Bugzilla-Who: w.schwarzenfeld@utanet.at X-Bugzilla-Status: New X-Bugzilla-Resolution: X-Bugzilla-Priority: --- X-Bugzilla-Assigned-To: toolchain@FreeBSD.org X-Bugzilla-Flags: X-Bugzilla-Changed-Fields: cc Message-ID: In-Reply-To: References: Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable X-Bugzilla-URL: https://bugs.freebsd.org/bugzilla/ Auto-Submitted: auto-generated MIME-Version: 1.0 X-BeenThere: freebsd-toolchain@freebsd.org X-Mailman-Version: 2.1.29 Precedence: list List-Id: Maintenance of FreeBSD's integrated toolchain List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Wed, 07 Aug 2019 22:57:45 -0000 https://bugs.freebsd.org/bugzilla/show_bug.cgi?id=3D221423 w.schwarzenfeld@utanet.at changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |w.schwarzenfeld@utanet.at --- Comment #10 from w.schwarzenfeld@utanet.at --- Is this still relevant? --=20 You are receiving this mail because: You are the assignee for the bug.= From owner-freebsd-toolchain@freebsd.org Wed Aug 7 23:42:24 2019 Return-Path: Delivered-To: freebsd-toolchain@mailman.nyi.freebsd.org Received: from mx1.freebsd.org (mx1.freebsd.org [IPv6:2610:1c1:1:606c::19:1]) by mailman.nyi.freebsd.org (Postfix) with ESMTP id 5DF6CBBC42 for ; Wed, 7 Aug 2019 23:42:24 +0000 (UTC) (envelope-from bugzilla-noreply@freebsd.org) Received: from mailman.nyi.freebsd.org (unknown [127.0.1.3]) by mx1.freebsd.org (Postfix) with ESMTP id 463p2S1qXsz4VK6 for ; Wed, 7 Aug 2019 23:42:24 +0000 (UTC) (envelope-from bugzilla-noreply@freebsd.org) Received: by mailman.nyi.freebsd.org (Postfix) id 3CC76BBC3F; Wed, 7 Aug 2019 23:42:24 +0000 (UTC) Delivered-To: toolchain@mailman.nyi.freebsd.org Received: from mx1.freebsd.org (mx1.freebsd.org [IPv6:2610:1c1:1:606c::19:1]) by mailman.nyi.freebsd.org (Postfix) with ESMTP id 3C846BBC3E for ; Wed, 7 Aug 2019 23:42:24 +0000 (UTC) (envelope-from bugzilla-noreply@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) server-signature RSA-PSS (4096 bits) client-signature RSA-PSS (4096 bits) client-digest SHA256) (Client CN "mxrelay.nyi.freebsd.org", Issuer "Let's Encrypt Authority X3" (verified OK)) by mx1.freebsd.org (Postfix) with ESMTPS id 463p2S0sKNz4VK5 for ; Wed, 7 Aug 2019 23:42:24 +0000 (UTC) (envelope-from bugzilla-noreply@freebsd.org) Received: from kenobi.freebsd.org (kenobi.freebsd.org [IPv6:2610:1c1:1:606c::50:1d]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (Client did not present a certificate) by mxrelay.nyi.freebsd.org (Postfix) with ESMTPS id F06BE1C61C for ; Wed, 7 Aug 2019 23:42:23 +0000 (UTC) (envelope-from bugzilla-noreply@freebsd.org) Received: from kenobi.freebsd.org ([127.0.1.5]) by kenobi.freebsd.org (8.15.2/8.15.2) with ESMTP id x77NgNo4053551 for ; Wed, 7 Aug 2019 23:42:23 GMT (envelope-from bugzilla-noreply@freebsd.org) Received: (from www@localhost) by kenobi.freebsd.org (8.15.2/8.15.2/Submit) id x77NgNCS053550 for toolchain@FreeBSD.org; Wed, 7 Aug 2019 23:42:23 GMT (envelope-from bugzilla-noreply@freebsd.org) X-Authentication-Warning: kenobi.freebsd.org: www set sender to bugzilla-noreply@freebsd.org using -f From: bugzilla-noreply@freebsd.org To: toolchain@FreeBSD.org Subject: [Bug 221423] gcc std::locale(LocaleName) crashes instead of throwing an exception Date: Wed, 07 Aug 2019 23:42:24 +0000 X-Bugzilla-Reason: AssignedTo X-Bugzilla-Type: changed X-Bugzilla-Watch-Reason: None X-Bugzilla-Product: Ports & Packages X-Bugzilla-Component: Individual Port(s) X-Bugzilla-Version: Latest X-Bugzilla-Keywords: X-Bugzilla-Severity: Affects Many People X-Bugzilla-Who: marklmi26-fbsd@yahoo.com X-Bugzilla-Status: New X-Bugzilla-Resolution: X-Bugzilla-Priority: --- X-Bugzilla-Assigned-To: toolchain@FreeBSD.org X-Bugzilla-Flags: X-Bugzilla-Changed-Fields: Message-ID: In-Reply-To: References: Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable X-Bugzilla-URL: https://bugs.freebsd.org/bugzilla/ Auto-Submitted: auto-generated MIME-Version: 1.0 X-BeenThere: freebsd-toolchain@freebsd.org X-Mailman-Version: 2.1.29 Precedence: list List-Id: Maintenance of FreeBSD's integrated toolchain List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Wed, 07 Aug 2019 23:42:24 -0000 https://bugs.freebsd.org/bugzilla/show_bug.cgi?id=3D221423 --- Comment #11 from Mark Millard --- (In reply to w.schwarzenfeld from comment #10) Well, I tried one of my old failing examples, but for more recent g++ vintages (8 and 9) in a more recent amd64 head release ( -r350364 ) and the failure did not happen . . . # g++8 -std=3Dc++17 -Wpedantic -Wall -pthread -Wl,-rpath=3D/usr/local/lib/g= cc8 -O2 cpp_clocks_investigation.cpp # ldd a.out a.out: libstdc++.so.6 =3D> /usr/local/lib/gcc8/libstdc++.so.6 (0x800661000) libm.so.5 =3D> /lib/libm.so.5 (0x8009f5000) libgcc_s.so.1 =3D> /usr/local/lib/gcc8/libgcc_s.so.1 (0x800a27000) libthr.so.3 =3D> /lib/libthr.so.3 (0x800c3e000) libc.so.7 =3D> /lib/libc.so.7 (0x800c6b000) # ./a.out . . . # g++9 -std=3Dc++17 -Wpedantic -Wall -pthread -Wl,-rpath=3D/usr/local/lib/g= cc9 -O2 cpp_clocks_investigation.cpp # ldd a.out a.out: libstdc++.so.6 =3D> /usr/local/lib/gcc9/libstdc++.so.6 (0x800663000) libm.so.5 =3D> /lib/libm.so.5 (0x800a54000) libgcc_s.so.1 =3D> /usr/local/lib/gcc9/libgcc_s.so.1 (0x800a86000) libthr.so.3 =3D> /lib/libthr.so.3 (0x800c9d000) libc.so.7 =3D> /lib/libc.so.7 (0x800cca000) # ./a.out . . . Both of those worked: no "Segmentation fault (core dumped)". Like earlier for g++7, locale_failure_test.cc did not fail either. I've no 11.x or 12.x context around to test. Being based only on head, this might not be enough evidence to close the submittal. --=20 You are receiving this mail because: You are the assignee for the bug.=