From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp11.migadu.com ([2001:41d0:2:bcc0::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms9.migadu.com with LMTPS id WFtBJLmJPWRgDAEASxT56A (envelope-from ) for ; Mon, 17 Apr 2023 20:02:33 +0200 Received: from aspmx1.migadu.com ([2001:41d0:2:bcc0::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp11.migadu.com with LMTPS id YCNYJLmJPWSfhgAA9RJhRA (envelope-from ) for ; Mon, 17 Apr 2023 20:02:33 +0200 Received: from lists.gnu.org (lists.gnu.org [209.51.188.17]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by aspmx1.migadu.com (Postfix) with ESMTPS id 33B473781D for ; Mon, 17 Apr 2023 20:02:33 +0200 (CEST) Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1poTB0-00059b-Dg; Mon, 17 Apr 2023 14:02:06 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1poTAy-00059L-G8 for guix-devel@gnu.org; Mon, 17 Apr 2023 14:02:04 -0400 Received: from mail-qt1-x82c.google.com ([2607:f8b0:4864:20::82c]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1poTAw-00070p-2y for guix-devel@gnu.org; Mon, 17 Apr 2023 14:02:04 -0400 Received: by mail-qt1-x82c.google.com with SMTP id a23so21200697qtj.8 for ; Mon, 17 Apr 2023 11:02:00 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20221208; t=1681754519; x=1684346519; h=content-transfer-encoding:mime-version:user-agent:message-id :in-reply-to:date:references:subject:cc:to:from:from:to:cc:subject :date:message-id:reply-to; bh=R9ZUJrcvCoEImUKAQwd5K2YZxrlJTRT5lsTYR4hl54o=; b=rKVDb3baYMMWFJiVm0JPRDO+sHS8drJk87usL+VezUEyE9g7O9jvIV3Q8nxhI8kXf+ tVPSOONzQNtvLjEi3C2WZA0FkvG3SeOjP5x50P2Qi5/6E1miXN/acbVWkE/VxOvIlBry YkEZxdjUNUc3gp5zjHW2TdhVNYcs+0bf72J7bD0Y6tg02PU5umzyKAV33/uC0R/izNe+ pQ1RaoTQ7SSV4g/mSyGLQbhPCVYVNTUtGYhyEfp+e28UHaAGaprBoQU2Q7YR0l4sUDCf QIQ2Ne36kPVk31R/arp0AJqTQOc3sNE/odrNgtW5V0ATNckj3Zi2KKZfr1R4GETcewan uOjQ== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20221208; t=1681754519; x=1684346519; h=content-transfer-encoding:mime-version:user-agent:message-id :in-reply-to:date:references:subject:cc:to:from:x-gm-message-state :from:to:cc:subject:date:message-id:reply-to; bh=R9ZUJrcvCoEImUKAQwd5K2YZxrlJTRT5lsTYR4hl54o=; b=gvrgaaEdssAHqH/t8pyulC7hURqvC5HxwfZ7akVqUcoRv+mN5BaWI9PNxM597tWVr/ pDOwiywlH7lrC1YsEhoOnMM8X5yOqB4latLofY3Z35TQKkTBz3C+Vcp0b77ghpdI1o/N vPAOS1h/4LRI8KjArQ+JMH07mtPsk3/mF6hCOElm90uATWqx+p8mLYwSnCzo040mjgFX 2zcO8OAwf6K1d6eyRBJiWuG7RSY5mmsbvXMc/Q7Og2TkZcakZqNyQXbkBiZ2sDt1vzQ7 bgryBpub8tBCMseNdzFrfJFIV8O/Bxvl08zo0tiVypL2k1kBmQo+ZB/VemEAYS8mlakZ 2J3g== X-Gm-Message-State: AAQBX9duQdfudWZcGrttBPjUbhuEu5MvyNvlulRs24aeuJRqcri3H2ts O62UyhF085yaSaS98bOhUx4= X-Google-Smtp-Source: AKy350b2c6g9PyaX6/ermqa1IGM9mFNHfa5WBclSuGGS4AVMxe0CIellCA6bpsOu431BnG0f+CJHbw== X-Received: by 2002:a05:622a:1308:b0:3d7:b045:d38 with SMTP id v8-20020a05622a130800b003d7b0450d38mr24819837qtk.35.1681754519434; Mon, 17 Apr 2023 11:01:59 -0700 (PDT) Received: from hurd ([2607:fad8:4:3::1003]) by smtp.gmail.com with ESMTPSA id b7-20020a05620a270700b0073b878e3f30sm380921qkp.59.2023.04.17.11.01.58 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Mon, 17 Apr 2023 11:01:59 -0700 (PDT) From: Maxim Cournoyer To: Simon Tournier Cc: Andreas Enge , guix-devel@gnu.org, pukkamustard@posteo.net, Julien Lepiller Subject: Re: OCaml4.07 (was Re: Graphical login broken on core-updates) References: <87cz49glec.fsf@gmail.com> <873555gh10.fsf@gmail.com> <87zg7ae5it.fsf@gmail.com> Date: Mon, 17 Apr 2023 14:01:57 -0400 In-Reply-To: <87zg7ae5it.fsf@gmail.com> (Simon Tournier's message of "Fri, 14 Apr 2023 19:29:46 +0200") Message-ID: <87y1mq4cbu.fsf@gmail.com> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/28.2 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Received-SPF: pass client-ip=2607:f8b0:4864:20::82c; envelope-from=maxim.cournoyer@gmail.com; helo=mail-qt1-x82c.google.com X-Spam_score_int: -20 X-Spam_score: -2.1 X-Spam_bar: -- X-Spam_report: (-2.1 / 5.0 requ) BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, DKIM_VALID_EF=-0.1, FREEMAIL_FROM=0.001, RCVD_IN_DNSWL_NONE=-0.0001, SPF_HELO_NONE=0.001, SPF_PASS=-0.001, T_SCC_BODY_TEXT_LINE=-0.01 autolearn=ham autolearn_force=no X-Spam_action: no action X-BeenThere: guix-devel@gnu.org X-Mailman-Version: 2.1.29 Precedence: list List-Id: "Development of GNU Guix and the GNU System distribution." List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-devel-bounces+larch=yhetil.org@gnu.org Sender: guix-devel-bounces+larch=yhetil.org@gnu.org X-Migadu-Flow: FLOW_IN X-Migadu-Country: US ARC-Authentication-Results: i=1; aspmx1.migadu.com; dkim=pass header.d=gmail.com header.s=20221208 header.b=rKVDb3ba; dmarc=pass (policy=none) header.from=gmail.com; spf=pass (aspmx1.migadu.com: domain of "guix-devel-bounces+larch=yhetil.org@gnu.org" designates 209.51.188.17 as permitted sender) smtp.mailfrom="guix-devel-bounces+larch=yhetil.org@gnu.org" ARC-Seal: i=1; s=key1; d=yhetil.org; t=1681754553; a=rsa-sha256; cv=none; b=iMN1vOxtvRdjbDLjRkGs6EPRKQbtz0QYCsax7PKPPD8RywVIM1VsxjV+3qvYIWR5TjINh4 6oyBAFaBgbov7g0f3LE9pOEnghC+vGzutBx6NEQxYOJxKxDyzaaYOJVeHv8gih0TcjqkMe rThuPXCG9jl5LeS7iKg8z23qdCklUrU0ViEPbiL7UhU2AfwxNwsq/nP/3Y4hbFFNgU2pKO zUCtUSdV+feFN4VfXRpNgxmL1lR36jPmoAnK/twvmxNE/Mr+xLOT920V/qmHDushHkn+/u Ha5jiD/CWielvKbh+N4hTjOvuiXLvfk7OSigwszVJsgd3dwIG86i5AmneZokNw== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=yhetil.org; s=key1; t=1681754553; h=from:from:sender:sender:reply-to:subject:subject:date:date: message-id:message-id:to:to:cc:cc:mime-version:mime-version: content-type:content-type: content-transfer-encoding:content-transfer-encoding: in-reply-to:in-reply-to:references:references:list-id:list-help: list-unsubscribe:list-subscribe:list-post:dkim-signature; bh=R9ZUJrcvCoEImUKAQwd5K2YZxrlJTRT5lsTYR4hl54o=; b=dgcxdegLGtn5w68+tbJN87Qjun2IOMfE5N1JW2C0REM/82P/xGF3K13J/vqlMRuZdlbXJl nbvpmHeZ7wRxlDyxOV1f4bKQv4rNFIAYTj9Xm4HReLtNjJh7fh9AB5m5kiuy2lFzU8PV9V p/9aCr7XeKEoAKbZBwSIusFJ9Wnx+LNLuoyRp8CmevJ/DvW5vSgKfzW/XfVOubFmoTEi7q BX+BXfbmyBK2Zpj1GuFyY7ECNeSIcGqFKUOjK1Tgprd7VH432FUUdw7C8G22FSGDdljf5r 0HE5bSqW5kWE2r1pL/QOZ2sHg4TKnt7ChnnjYMXKjJ3imMMUKl+CperOcD/v2g== X-Migadu-Spam-Score: -4.95 X-Spam-Score: -4.95 X-Migadu-Queue-Id: 33B473781D Authentication-Results: aspmx1.migadu.com; dkim=pass header.d=gmail.com header.s=20221208 header.b=rKVDb3ba; dmarc=pass (policy=none) header.from=gmail.com; spf=pass (aspmx1.migadu.com: domain of "guix-devel-bounces+larch=yhetil.org@gnu.org" designates 209.51.188.17 as permitted sender) smtp.mailfrom="guix-devel-bounces+larch=yhetil.org@gnu.org" X-Migadu-Scanner: scn0.migadu.com X-TUID: qbjy2xHncx/T Hi, Simon Tournier writes: > Hi, > > Well, ocaml-4.07.1 is broken [1] on core-updates, mainly because [2]: > > building of `/gnu/store/mc6cbczwjlsnc3hlqj3kqlyhgfc8yk0c-camlboot-0.0.0-1= .45045d0.drv' timed out after 3600 seconds of silence > @ build-failed /gnu/store/mc6cbczwjlsnc3hlqj3kqlyhgfc8yk0c-camlboot-0.0.0= -1.45045d0.drv - timeout > cannot build derivation `/gnu/store/vyhk28gzjng5va9n3k22g1qz3ikk36pl-ocam= l-boot-4.07.1.drv': 1 dependencies couldn't be built > cannot build derivation `/gnu/store/0vwlmbqc6nq64bmwi9qnc0fvldwkflcp-ocam= l-4.07.1.drv': 1 dependencies couldn't be built > > > 1: https://ci.guix.gnu.org/build/752949/details > 2: https://ci.guix.gnu.org/build/752949/log/raw > > > Well, the package =E2=80=99camlboot=E2=80=99 already have: > > (properties > ;; 10 hours, mostly for arm, more than 1 expected even on x86_64 > `((max-silent-time . 36000))) > > and Lars pointed [3] that Cuirass does not honor this property. I think it does, nowadays. We'd have to cross-check in Cuirass source to confirm. --=20 Thanks, Maxim