From mirageos-devel-bounces@lists.xenproject.org Thu Nov 11 13:33:28 2021 Return-path: Envelope-to: archives@lists.xenproject.org Delivery-date: Thu, 11 Nov 2021 13:33:28 +0000 Received: from list by lists.xenproject.org with outflank-mailman.224751.388231 (Exim 4.92) (envelope-from ) id 1mlACX-0002Wd-TQ; Thu, 11 Nov 2021 13:33:13 +0000 X-Outflank-Mailman: Message body and most headers restored to incoming version Received: by outflank-mailman (output) from mailman id 224751.388231; Thu, 11 Nov 2021 13:33:13 +0000 Received: from localhost ([127.0.0.1] helo=lists.xenproject.org) by lists.xenproject.org with esmtp (Exim 4.92) (envelope-from ) id 1mlACX-0002WW-Pi; Thu, 11 Nov 2021 13:33:13 +0000 Received: by outflank-mailman (input) for mailman id 224751; Thu, 11 Nov 2021 13:33:13 +0000 Received: from se1-gles-flk1-in.inumbo.com ([94.247.172.50] helo=se1-gles-flk1.inumbo.com) by lists.xenproject.org with esmtp (Exim 4.92) (envelope-from ) id 1mlACX-0002WQ-2A for mirageos-devel@lists.xenproject.org; Thu, 11 Nov 2021 13:33:13 +0000 Received: from smtp.lucina.net (smtp.lucina.net [62.176.169.44]) by se1-gles-flk1.inumbo.com (Halon) with ESMTPS id e9ab3008-42f3-11ec-a9d2-d9f7a1cc8784; Thu, 11 Nov 2021 14:33:11 +0100 (CET) Received: from nodbug.lucina.net (78-141-76-187.dynamic.orange.sk [78.141.76.187]) by smtp.lucina.net (Postfix) with ESMTPSA id 246BC122804; Thu, 11 Nov 2021 14:14:35 +0100 (CET) Received: by nodbug.lucina.net (Postfix, from userid 1000) id AA203268436E; Thu, 11 Nov 2021 14:14:10 +0100 (CET) X-BeenThere: mirageos-devel@lists.xenproject.org List-Id: Developer list for MirageOS List-Unsubscribe: , List-Post: List-Help: List-Subscribe: , Errors-To: mirageos-devel-bounces@lists.xenproject.org Precedence: list Sender: "MirageOS-devel" X-Inumbo-ID: e9ab3008-42f3-11ec-a9d2-d9f7a1cc8784 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=lucina.net; s=dkim-201811; t=1636636475; bh=Ha5SRUSSHd/nL2KdOQXR8r6rQ5DsIRqFNRL+YpoHZoI=; h=Date:From:To:Subject:From; b=rAOwOUe8so58gTof38LR7oBzGkAozsw/qsGIQuw2GJy71zb5hEI+7F63jd9uvIEdu g4KR07ICeYbDFU8bhrvs2oveFtxd/FK7HJ02W54rk0ltcAtpGG5ljpYyvp5ZJqUidU Rwlo4go0vgdHLFMxiq3JkrMK92P5pC9jytbGX22I5Hxr9hGOBldGBuyWnN4sjUe+Oa MIVi9sLPBgf/a0Iu4qCmk6E4z7x1w/AVPaKYWM+Hqgdxjkp/zRLfwDU7bL4Ww0R4/w t4QGi/r5rY0w70GIa7oBz4H8RoyiBxkP+zHOWEArphgTU3ZnSHV3WwWdWHx8Al4zoG 7OgrgIuRJJISQ== Date: Thu, 11 Nov 2021 14:14:10 +0100 From: Martin Lucina To: solo5@lists.h3q.com, mirageos-devel@lists.xenproject.org Subject: Stepping down from maintaining Solo5 and MirageOS Message-ID: <20211111131410.GA26364@nodbug.lucina.net> Mail-Followup-To: solo5@lists.h3q.com, mirageos-devel@lists.xenproject.org MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline User-Agent: Mutt/1.10.1 (2018-07-13) Dear friends and colleagues, effective today, I am stepping down from both maintaining Solo5 and from the core team of MirageOS. - What does that mean? I will no longer monitor pull requests or issues filed on repositories in the Solo5/ or mirage/ organisations on GitHub, with the exception of the issue of appointing a new maintainer for Solo5. I am giving up general commit privileges for repositories in mirage/. Regarding maintainership of Solo5: Given that MirageOS is the primary downstream of Solo5, I would prefer that members of the MirageOS community step up to continue maintenance of Solo5. Failing that, perhaps there is someone in the wider community who is interested. I will file an issue to discuss this on GitHub shortly. - Why? I burnt out on Solo5, MirageOS and related projects some time in the spring of this year. I then proceeded to take a 6 month-long sabbatical, with the somewhat arbitrarily timed intent of returning to work on Solo5 and MirageOS in October this year. Over the course of the past month, I have found myself unable to so much as merge existing PRs in Solo5 and their dependencies for the upcoming MirageOS 4 release. Regardless of whether this means I have yet to fully recover from my burnout, or that as part of recovery I must move on to new projects and different challenges, it would be irresponsible of me to cling to my "ownership" of Solo5 and/or maintainership of dependent MirageOS projects any longer, and block the continued work of others. - Why are you telling us this? This was a hard call, as was the call to write about it publicly. I believe in being open and transparent with the community, and being so helps me to get a sense of closure on my decision. - I have other questions! Please feel free to send them directly to me. With thanks to @yomimono for inspiring the general structure of this e-mail, and seeing that she wrote something similar publicly and survived :-) Looking forward to a time when I can get excited about work again, whatever that may be, Best, -mato From mirageos-devel-bounces@lists.xenproject.org Thu Nov 11 15:24:41 2021 Return-path: Envelope-to: archives@lists.xenproject.org Delivery-date: Thu, 11 Nov 2021 15:24:41 +0000 Received: from list by lists.xenproject.org with outflank-mailman.224798.388301 (Exim 4.92) (envelope-from ) id 1mlBwH-0007NF-QB; Thu, 11 Nov 2021 15:24:33 +0000 X-Outflank-Mailman: Message body and most headers restored to incoming version Received: by outflank-mailman (output) from mailman id 224798.388301; Thu, 11 Nov 2021 15:24:33 +0000 Received: from localhost ([127.0.0.1] helo=lists.xenproject.org) by lists.xenproject.org with esmtp (Exim 4.92) (envelope-from ) id 1mlBwH-0007N8-NB; Thu, 11 Nov 2021 15:24:33 +0000 Received: by outflank-mailman (input) for mailman id 224798; Thu, 11 Nov 2021 15:24:32 +0000 Received: from se1-gles-flk1-in.inumbo.com ([94.247.172.50] helo=se1-gles-flk1.inumbo.com) by lists.xenproject.org with esmtp (Exim 4.92) (envelope-from ) id 1mlBwG-0007N2-J1 for mirageos-devel@lists.xenproject.org; Thu, 11 Nov 2021 15:24:32 +0000 Received: from honk.recoil.org (honk.recoil.org [2604:1380:2001:1300::3]) by se1-gles-flk1.inumbo.com (Halon) with ESMTPS id 7650d45c-4303-11ec-a9d2-d9f7a1cc8784; Thu, 11 Nov 2021 16:24:31 +0100 (CET) Received: from smtpclient.apple (unknown [212.250.79.108]) by honk.recoil.org (Postfix) with ESMTPSA id DDB5A3C0800; Thu, 11 Nov 2021 15:24:27 +0000 (UTC) X-BeenThere: mirageos-devel@lists.xenproject.org List-Id: Developer list for MirageOS List-Unsubscribe: , List-Post: List-Help: List-Subscribe: , Errors-To: mirageos-devel-bounces@lists.xenproject.org Precedence: list Sender: "MirageOS-devel" X-Inumbo-ID: 7650d45c-4303-11ec-a9d2-d9f7a1cc8784 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=recoil.org; s=selector1; t=1636644268; bh=vqP4y1H8wSvmd36qvgVVQncfvLAt8XpBfH7kzTNEb0c=; h=Subject:From:In-Reply-To:Date:Cc:References:To:From; b=QsAKmwuxGncvzO99PxQRwSvedPw6USs+N1zpCnhfSFFmTWXyxU96uKO0VrrKHGy7u fvtzLUFb9Ih5gtC+dCHogHwuBKWTd1Z4X0cTDbSaJhKT9oUPsqJMB0UAUMKqmGGD1f DDIWmAb+nYcx6P2JjCo2Y52ZwzCdNVqMP80O69RE= Content-Type: text/plain; charset=us-ascii Mime-Version: 1.0 (Mac OS X Mail 15.0 \(3693.20.0.1.32\)) Subject: Re: Stepping down from maintaining Solo5 and MirageOS From: Anil Madhavapeddy In-Reply-To: <20211111131410.GA26364@nodbug.lucina.net> Date: Thu, 11 Nov 2021 15:23:22 +0000 Cc: solo5@lists.h3q.com, mirageos-devel@lists.xenproject.org Content-Transfer-Encoding: quoted-printable Message-Id: <76BA6974-9768-4577-BF11-7365C37472AC@recoil.org> References: <20211111131410.GA26364@nodbug.lucina.net> To: Martin Lucina X-Mailer: Apple Mail (2.3693.20.0.1.32) Dear Martin, Thank you, as always, for all the heart and effort you have put into Solo5 over the years. MirageOS has been tremendously improved by your contributions, and you are an indelible part of the forthcoming MirageOS 4 series. So well done from me on not only recognising that you need to step back to conserve your energies and heal, but also for doing so in such an open and honest way. We'll welcome you back in the fullness of time when you are good and ready to return, and otherwise cheer you on in your future endeavours. I hope that includes some sailing :-) best, Anil > On 11 Nov 2021, at 13:14, Martin Lucina wrote: >=20 > Dear friends and colleagues, >=20 > effective today, I am stepping down from both maintaining Solo5 and = from the > core team of MirageOS. >=20 > - What does that mean? >=20 > I will no longer monitor pull requests or issues filed on repositories = in > the Solo5/ or mirage/ organisations on GitHub, with the exception of = the > issue of appointing a new maintainer for Solo5. I am giving up = general > commit privileges for repositories in mirage/. >=20 > Regarding maintainership of Solo5: Given that MirageOS is the primary > downstream of Solo5, I would prefer that members of the MirageOS > community step up to continue maintenance of Solo5. Failing that, = perhaps > there is someone in the wider community who is interested. I will file = an > issue to discuss this on GitHub shortly. >=20 > - Why? >=20 > I burnt out on Solo5, MirageOS and related projects some time in the = spring > of this year. I then proceeded to take a 6 month-long sabbatical, = with the > somewhat arbitrarily timed intent of returning to work on Solo5 and > MirageOS in October this year. >=20 > Over the course of the past month, I have found myself unable to so = much as > merge existing PRs in Solo5 and their dependencies for the upcoming > MirageOS 4 release. >=20 > Regardless of whether this means I have yet to fully recover from my > burnout, or that as part of recovery I must move on to new projects = and > different challenges, it would be irresponsible of me to cling to my > "ownership" of Solo5 and/or maintainership of dependent MirageOS = projects > any longer, and block the continued work of others. >=20 > - Why are you telling us this? >=20 > This was a hard call, as was the call to write about it publicly. I = believe > in being open and transparent with the community, and being so helps = me to > get a sense of closure on my decision. >=20 > - I have other questions! >=20 > Please feel free to send them directly to me. >=20 > With thanks to @yomimono for inspiring the general structure of this = e-mail, > and seeing that she wrote something similar publicly and survived :-) >=20 > Looking forward to a time when I can get excited about work again, = whatever > that may be, >=20 > Best, >=20 > -mato >=20 From mirageos-devel-bounces@lists.xenproject.org Thu Nov 11 18:42:31 2021 Return-path: Envelope-to: archives@lists.xenproject.org Delivery-date: Thu, 11 Nov 2021 18:42:31 +0000 Received: from list by lists.xenproject.org with outflank-mailman.224876.388417 (Exim 4.92) (envelope-from ) id 1mlF1g-0005r6-0d; Thu, 11 Nov 2021 18:42:20 +0000 X-Outflank-Mailman: Message body and most headers restored to incoming version Received: by outflank-mailman (output) from mailman id 224876.388417; Thu, 11 Nov 2021 18:42:19 +0000 Received: from localhost ([127.0.0.1] helo=lists.xenproject.org) by lists.xenproject.org with esmtp (Exim 4.92) (envelope-from ) id 1mlF1f-0005qz-T7; Thu, 11 Nov 2021 18:42:19 +0000 Received: by outflank-mailman (input) for mailman id 224876; Thu, 11 Nov 2021 18:42:18 +0000 Received: from se1-gles-sth1-in.inumbo.com ([159.253.27.254] helo=se1-gles-sth1.inumbo.com) by lists.xenproject.org with esmtp (Exim 4.92) (envelope-from ) id 1mlF1e-0005qt-OE for mirageos-devel@lists.xenproject.org; Thu, 11 Nov 2021 18:42:18 +0000 Received: from relay6-d.mail.gandi.net (relay6-d.mail.gandi.net [217.70.183.198]) by se1-gles-sth1.inumbo.com (Halon) with ESMTPS id 16f04fd4-431f-11ec-9787-a32c541c8605; Thu, 11 Nov 2021 19:42:17 +0100 (CET) Received: (Authenticated sender: guybrush@somerandomidiot.com) by relay6-d.mail.gandi.net (Postfix) with ESMTPSA id 126C7C0007 for ; Thu, 11 Nov 2021 18:42:13 +0000 (UTC) X-BeenThere: mirageos-devel@lists.xenproject.org List-Id: Developer list for MirageOS List-Unsubscribe: , List-Post: List-Help: List-Subscribe: , Errors-To: mirageos-devel-bounces@lists.xenproject.org Precedence: list Sender: "MirageOS-devel" X-Inumbo-ID: 16f04fd4-431f-11ec-9787-a32c541c8605 Message-ID: <0e310a72-9168-e60d-298c-c4d55261ed9d@somerandomidiot.com> Date: Thu, 11 Nov 2021 12:42:11 -0600 MIME-Version: 1.0 User-Agent: Mozilla/5.0 (X11; Linux aarch64; rv:91.0) Gecko/20100101 Thunderbird/91.3.0 Subject: Re: Stepping down from maintaining Solo5 and MirageOS Content-Language: en-US To: mirageos-devel@lists.xenproject.org References: <20211111131410.GA26364@nodbug.lucina.net> From: Mindy In-Reply-To: <20211111131410.GA26364@nodbug.lucina.net> Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 7bit On 11/11/21 07:14, Martin Lucina wrote: > Dear friends and colleagues, > > effective today, I am stepping down from both maintaining Solo5 and from the > core team of MirageOS. > [snip] I'm sorry to see the projects lose you as a maintainer, but very glad to see that you're stepping away when you need to. I hope the next few months bring you joy, relaxation, and fulfillment in whatever form they might take. Thank you, again and always, for the excellent work you've done on solo5 and MirageOS (and friends!). Both projects have been enormously enriched by your contributions, your judgment, your wisdom, and your direction. I hope we still hear from you in some capacity. :) May all your GitHub notifications enjoy their one-way trip to /dev/null ;) -yomimono From mirageos-devel-bounces@lists.xenproject.org Fri Nov 26 01:32:17 2021 Return-path: Envelope-to: archives@lists.xenproject.org Delivery-date: Fri, 26 Nov 2021 01:32:17 +0000 Received: from list by lists.xenproject.org with outflank-mailman.232154.402273 (Exim 4.92) (envelope-from ) id 1mqQ5t-0006WU-HC; Fri, 26 Nov 2021 01:32:05 +0000 X-Outflank-Mailman: Message body and most headers restored to incoming version Received: by outflank-mailman (output) from mailman id 232154.402273; Fri, 26 Nov 2021 01:32:05 +0000 Received: from localhost ([127.0.0.1] helo=lists.xenproject.org) by lists.xenproject.org with esmtp (Exim 4.92) (envelope-from ) id 1mqQ5t-0006WL-C7; Fri, 26 Nov 2021 01:32:05 +0000 Received: by outflank-mailman (input) for mailman id 232154; Fri, 26 Nov 2021 01:32:03 +0000 Received: from se1-gles-sth1-in.inumbo.com ([159.253.27.254] helo=se1-gles-sth1.inumbo.com) by lists.xenproject.org with esmtp (Exim 4.92) (envelope-from ) id 1mqQ5q-0006WF-9c for mirageos-devel@lists.xenproject.org; Fri, 26 Nov 2021 01:32:03 +0000 Received: from mail-4323.proton.ch (mail-4323.proton.ch [185.70.43.23]) by se1-gles-sth1.inumbo.com (Halon) with ESMTPS id a40f2ad9-4e58-11ec-9787-a32c541c8605; Fri, 26 Nov 2021 02:31:58 +0100 (CET) X-BeenThere: mirageos-devel@lists.xenproject.org List-Id: Developer list for MirageOS List-Unsubscribe: , List-Post: List-Help: List-Subscribe: , Errors-To: mirageos-devel-bounces@lists.xenproject.org Precedence: list Sender: "MirageOS-devel" X-Inumbo-ID: a40f2ad9-4e58-11ec-9787-a32c541c8605 Date: Fri, 26 Nov 2021 01:31:50 +0000 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=adamsteen.com.au; s=protonmail; t=1637890314; bh=xn/rvaKa5sR7tiyCmwJTwb6CxF8yTJDh52Zwus9nKQI=; h=Date:To:From:Reply-To:Subject:From; b=f4Oxr1pGhk5l1+OANWlNYXpqX3G7F23tVDgO5l4qPIQhwH2PJV+dWawmwS0cPE3md ZqlU8i5PDBLQeWihOH4FNO3RnQotUFQH+qKsAD0q2g7ROZ+Q52xOyZWDf0dbiekxSh Er5lyaROZsLJfYH6sgW2naa0LCITOYzaccKqRs6urAiG7OnYJ1kPql2Od20xhJPtuQ w4ee3NwfVm9GX1xyy/FZb9mZEyjbKhORIspeTE41nk1U+plNT274xru7+Rws3oWEcy q+m2XBFvwd3vNTD7VeuB3xdiUA5dP9Bx1FTRyfD5lLOJHE4JsUFvIFZ46hE1qIz/wP vIKwqf7zKL83A== To: "mirageos-devel@lists.xenproject.org" From: Adam Steen Reply-To: Adam Steen Subject: mirage 4.0 Message-ID: MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable X-Spam-Status: No, score=-1.2 required=10.0 tests=ALL_TRUSTED,DKIM_SIGNED, DKIM_VALID,DKIM_VALID_AU,DKIM_VALID_EF shortcircuit=no autolearn=disabled version=3.4.4 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on mailout.protonmail.ch Hi I would like to test mirage 4.0 with OpenBSD, in the past I have had mirage= 3.X working with OpenBSD but currently ocaml-freestanding is broken. I feel its not worth investing the time in 3.X when 4.0 is coming Is there a set of instructions to follow? ps when I say mirage I mean mirage configured with hvt. Cheers Adam From mirageos-devel-bounces@lists.xenproject.org Fri Nov 26 08:44:29 2021 Return-path: Envelope-to: archives@lists.xenproject.org Delivery-date: Fri, 26 Nov 2021 08:44:29 +0000 Received: from list by lists.xenproject.org with outflank-mailman.232397.402897 (Exim 4.92) (envelope-from ) id 1mqWqD-0001yZ-4t; Fri, 26 Nov 2021 08:44:21 +0000 X-Outflank-Mailman: Message body and most headers restored to incoming version Received: by outflank-mailman (output) from mailman id 232397.402897; Fri, 26 Nov 2021 08:44:21 +0000 Received: from localhost ([127.0.0.1] helo=lists.xenproject.org) by lists.xenproject.org with esmtp (Exim 4.92) (envelope-from ) id 1mqWqD-0001yS-19; Fri, 26 Nov 2021 08:44:21 +0000 Received: by outflank-mailman (input) for mailman id 232397; Fri, 26 Nov 2021 08:44:19 +0000 Received: from se1-gles-flk1-in.inumbo.com ([94.247.172.50] helo=se1-gles-flk1.inumbo.com) by lists.xenproject.org with esmtp (Exim 4.92) (envelope-from ) id 1mqWqB-0001yM-OM for mirageos-devel@lists.xenproject.org; Fri, 26 Nov 2021 08:44:19 +0000 Received: from honk.recoil.org (honk.recoil.org [2604:1380:2001:1300::3]) by se1-gles-flk1.inumbo.com (Halon) with ESMTPS id 0989e309-4e95-11ec-a9d2-d9f7a1cc8784; Fri, 26 Nov 2021 09:44:18 +0100 (CET) Received: from smtpclient.apple (global-185-69.nat-2.net.cam.ac.uk [131.111.185.69]) by honk.recoil.org (Postfix) with ESMTPSA id 803593C00A6; Fri, 26 Nov 2021 08:44:14 +0000 (UTC) X-BeenThere: mirageos-devel@lists.xenproject.org List-Id: Developer list for MirageOS List-Unsubscribe: , List-Post: List-Help: List-Subscribe: , Errors-To: mirageos-devel-bounces@lists.xenproject.org Precedence: list Sender: "MirageOS-devel" X-Inumbo-ID: 0989e309-4e95-11ec-a9d2-d9f7a1cc8784 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=recoil.org; s=selector1; t=1637916254; bh=sNqU7fj/sx8jcCb0wDnNbN9OhnoizBE5anRr1UdM1aQ=; h=Subject:From:In-Reply-To:Date:Cc:References:To:From; b=ne2YrsMHyJxGQykI+2RNmN1MGCzwNxCQwzoabhiqCn57w+qmRKqwe2PXn784s0qgy pyqs6WN5KLH1hD3rrnowaChN2wk6tppRZCs1t77QO1Y6IVXO1Le7k/ZLNjLw+9eH16 HQ8w1yVMFINd74CStcnMBM2+Pe43iRyIk16jxrYQ= Content-Type: text/plain; charset=us-ascii Mime-Version: 1.0 (Mac OS X Mail 15.0 \(3693.20.0.1.32\)) Subject: Re: mirage 4.0 From: Anil Madhavapeddy In-Reply-To: Date: Fri, 26 Nov 2021 08:43:12 +0000 Cc: "mirageos-devel@lists.xenproject.org" Content-Transfer-Encoding: quoted-printable Message-Id: References: To: Adam Steen X-Mailer: Apple Mail (2.3693.20.0.1.32) On 26 Nov 2021, at 01:31, Adam Steen wrote: >=20 > Hi >=20 > I would like to test mirage 4.0 with OpenBSD, in the past I have had = mirage 3.X working with OpenBSD but currently ocaml-freestanding is = broken. >=20 > I feel its not worth investing the time in 3.X when 4.0 is coming >=20 > Is there a set of instructions to follow? >=20 > ps when I say mirage I mean mirage configured with hvt. Hi Adam, Thanks for helping test with OpenBSD! What's the error you're seeing on = 3.x? The instructions for trying out 4.0dev is staged on = https://next.mirage.io/docs/mirage-4 -- feedback very welcome. regards Anil= From mirageos-devel-bounces@lists.xenproject.org Fri Nov 26 11:55:18 2021 Return-path: Envelope-to: archives@lists.xenproject.org Delivery-date: Fri, 26 Nov 2021 11:55:18 +0000 Received: from list by lists.xenproject.org with outflank-mailman.232589.403336 (Exim 4.92) (envelope-from ) id 1mqZot-0003sO-KO; Fri, 26 Nov 2021 11:55:11 +0000 X-Outflank-Mailman: Message body and most headers restored to incoming version Received: by outflank-mailman (output) from mailman id 232589.403336; Fri, 26 Nov 2021 11:55:11 +0000 Received: from localhost ([127.0.0.1] helo=lists.xenproject.org) by lists.xenproject.org with esmtp (Exim 4.92) (envelope-from ) id 1mqZot-0003sH-Gj; Fri, 26 Nov 2021 11:55:11 +0000 Received: by outflank-mailman (input) for mailman id 232589; Fri, 26 Nov 2021 11:55:09 +0000 Received: from se1-gles-sth1-in.inumbo.com ([159.253.27.254] helo=se1-gles-sth1.inumbo.com) by lists.xenproject.org with esmtp (Exim 4.92) (envelope-from ) id 1mqZoq-0003rf-7M for mirageos-devel@lists.xenproject.org; Fri, 26 Nov 2021 11:55:09 +0000 Received: from mail-4317.proton.ch (mail-4317.proton.ch [185.70.43.17]) by se1-gles-sth1.inumbo.com (Halon) with ESMTPS id b17c62b1-4eaf-11ec-9787-a32c541c8605; Fri, 26 Nov 2021 12:55:05 +0100 (CET) X-BeenThere: mirageos-devel@lists.xenproject.org List-Id: Developer list for MirageOS List-Unsubscribe: , List-Post: List-Help: List-Subscribe: , Errors-To: mirageos-devel-bounces@lists.xenproject.org Precedence: list Sender: "MirageOS-devel" X-Inumbo-ID: b17c62b1-4eaf-11ec-9787-a32c541c8605 Date: Fri, 26 Nov 2021 11:55:00 +0000 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=adamsteen.com.au; s=protonmail; t=1637927703; bh=52EK1EIxbqcnSRIaIvYXeiokr1zCFa/vxtiVQ3NzuZA=; h=Date:To:From:Cc:Reply-To:Subject:In-Reply-To:References:From; b=Q8U+96ZhuOFp0Y1gNWNzJqUDWXLilUTrYLHc6+kqfZPeYRSzBzlZjKT4F/IZCGCaM 7T0r48MBOwMDtO8GDI7bcYu+59ROVc8AffpCGGcjh9QOfnAAnsj2Cs0DWssCIGayt5 dv+t8dANW58uWfjA9To5XX8lw0Vud6FzK8xDLVvB2rQu8JRjXn9SqD+WbFWF+OJQAB BkCT1FZfXREMHXHreNkSTY1g60OWTyLlo/PT+yU9Fo+DrOZN2afUhde0eh/I6ii/ur tcX0IqaPOhmfV5iIy8TyoPj9BSWaDoqgY8KVwm6bg6Sz6e6WSzmMx233MMhooALAua 1U8Fc45yZMxqQ== To: Anil Madhavapeddy From: Adam Steen Cc: "mirageos-devel@lists.xenproject.org" Reply-To: Adam Steen Subject: Re: mirage 4.0 Message-ID: In-Reply-To: References: MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable X-Spam-Status: No, score=-1.2 required=10.0 tests=ALL_TRUSTED,DKIM_SIGNED, DKIM_VALID,DKIM_VALID_AU,DKIM_VALID_EF shortcircuit=no autolearn=disabled version=3.4.4 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on mailout.protonmail.ch On Friday, November 26th, 2021 at 8:43 AM, Anil Madhavapeddy wrote: > On 26 Nov 2021, at 01:31, Adam Steen adam@adamsteen.com.au wrote: > > > Hi > > > > I would like to test mirage 4.0 with OpenBSD, in the past I have had mi= rage 3.X working with OpenBSD but currently ocaml-freestanding is broken. > > > > I feel its not worth investing the time in 3.X when 4.0 is coming > > > > Is there a set of instructions to follow? > > > > ps when I say mirage I mean mirage configured with hvt. > > Hi Adam, > > Thanks for helping test with OpenBSD! What's the error you're seeing on 3= .x? > > The instructions for trying out 4.0dev is staged on https://next.mirage.i= o/docs/mirage-4 -- feedback very welcome. > > regards > > Anil Hi Anil parsexp fails with ocamlopt src/.parsexp.objs/native/parsexp__Parser_automaton.{cmx,o} (ex= it 2) (cd _build/default && /home/adams/.opam/default/bin/ocamlopt.opt -w -40 -g = -I src/.parsexp.objs/byte -I src/.parsexp.objs/native -I /home/adams/.opam/= default/lib/base/caml -I /home/adams/.opam/default/lib/sexplib0 -intf-suffi= x .ml -no-alias-deps -open Parsexp__ -o src/.parsexp.objs/native/parsexp__P= arser_automaton.cmx -c -impl src/parser_automaton.ml) Fatal error: exception Stack overflow and ocaml-freestanding fails with configure: error: C99 float ops unavailable, enable replacements with --ena= ble-imprecise-c99-float-ops gmake: *** [Makefile:43: ocaml/Makefile.config] Error will try mirage 4.0 now Cheers Adam From mirageos-devel-bounces@lists.xenproject.org Fri Nov 26 12:03:05 2021 Return-path: Envelope-to: archives@lists.xenproject.org Delivery-date: Fri, 26 Nov 2021 12:03:05 +0000 Received: from list by lists.xenproject.org with outflank-mailman.232603.403349 (Exim 4.92) (envelope-from ) id 1mqZwU-000571-IX; Fri, 26 Nov 2021 12:03:02 +0000 X-Outflank-Mailman: Message body and most headers restored to incoming version Received: by outflank-mailman (output) from mailman id 232603.403349; Fri, 26 Nov 2021 12:03:02 +0000 Received: from localhost ([127.0.0.1] helo=lists.xenproject.org) by lists.xenproject.org with esmtp (Exim 4.92) (envelope-from ) id 1mqZwU-00056u-FE; Fri, 26 Nov 2021 12:03:02 +0000 Received: by outflank-mailman (input) for mailman id 232603; Fri, 26 Nov 2021 12:03:01 +0000 Received: from se1-gles-flk1-in.inumbo.com ([94.247.172.50] helo=se1-gles-flk1.inumbo.com) by lists.xenproject.org with esmtp (Exim 4.92) (envelope-from ) id 1mqZwT-00056o-SZ for mirageos-devel@lists.xenproject.org; Fri, 26 Nov 2021 12:03:01 +0000 Received: from mail-4317.proton.ch (mail-4317.proton.ch [185.70.43.17]) by se1-gles-flk1.inumbo.com (Halon) with ESMTPS id cbb9bdfa-4eb0-11ec-a9d2-d9f7a1cc8784; Fri, 26 Nov 2021 13:02:59 +0100 (CET) X-BeenThere: mirageos-devel@lists.xenproject.org List-Id: Developer list for MirageOS List-Unsubscribe: , List-Post: List-Help: List-Subscribe: , Errors-To: mirageos-devel-bounces@lists.xenproject.org Precedence: list Sender: "MirageOS-devel" X-Inumbo-ID: cbb9bdfa-4eb0-11ec-a9d2-d9f7a1cc8784 Date: Fri, 26 Nov 2021 12:02:53 +0000 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=adamsteen.com.au; s=protonmail; t=1637928177; bh=XqyD/TjkFnxA6SvhQN/hMuHt6Egl76xME8tHzmskaLA=; h=Date:To:From:Cc:Reply-To:Subject:In-Reply-To:References:From; b=G9Yw8RI+8Rs26qOJw4KUFhzYMx+C1iSEYSRP33jGpztaVXU6sn6xuG7hC/0NrWH+N oycNU2C/mCZekc3yDIsNtHM3jyvvAyxXb3xQJ22LOhVr8rxyRNsCFtGKn7nqXWS4SM JLo7sa1Vp0HvNqxWq2woGNE9aeNfB6HYhXmmDmU+xBAWuBwKF9t9m2jgdfEoa7aXdc 7MS97O1zfxS3SZEVr8zuR7W661s/a1lDOLhZnyCtvictR4hyKmUbfQBoRWpQbiojdp EFwdrpF6+d26V/HWMhdOkVjJ3ASqKS0QVzP8LMRq8TiRMYMaKCmqVoXxQKWjD1RCL4 S3VQJQFUY9KJQ== To: Adam Steen From: Adam Steen Cc: Anil Madhavapeddy , "mirageos-devel@lists.xenproject.org" Reply-To: Adam Steen Subject: Re: mirage 4.0 Message-ID: In-Reply-To: References: MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable X-Spam-Status: No, score=-1.2 required=10.0 tests=ALL_TRUSTED,DKIM_SIGNED, DKIM_VALID,DKIM_VALID_AU,DKIM_VALID_EF shortcircuit=no autolearn=disabled version=3.4.4 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on mailout.protonmail.ch On Friday, November 26th, 2021 at 11:55 AM, Adam Steen wrote: > On Friday, November 26th, 2021 at 8:43 AM, Anil Madhavapeddy anil@recoil.= org wrote: > > > On 26 Nov 2021, at 01:31, Adam Steen adam@adamsteen.com.au wrote: > > > > > Hi > > > > > > I would like to test mirage 4.0 with OpenBSD, in the past I have had = mirage 3.X working with OpenBSD but currently ocaml-freestanding is broken. > > > > > > I feel its not worth investing the time in 3.X when 4.0 is coming > > > > > > Is there a set of instructions to follow? > > > > > > ps when I say mirage I mean mirage configured with hvt. > > > > Hi Adam, > > > > Thanks for helping test with OpenBSD! What's the error you're seeing on= 3.x? > > > > The instructions for trying out 4.0dev is staged on https://next.mirage= .io/docs/mirage-4 -- feedback very welcome. > > > > regards > > > > Anil > > Hi Anil > > parsexp fails with > > ocamlopt src/.parsexp.objs/native/parsexp__Parser_automaton.{cmx,o} (exit= 2) > > (cd build/default && /home/adams/.opam/default/bin/ocamlopt.opt -w -40 -g= -I src/.parsexp.objs/byte -I src/.parsexp.objs/native -I /home/adams/.opam= /default/lib/base/caml -I /home/adams/.opam/default/lib/sexplib0 -intf-suff= ix .ml -no-alias-deps -open Parsexp_ -o src/.parsexp.objs/native/parsexp__P= arser_automaton.cmx -c -impl src/parser_automaton.ml) > > Fatal error: exception Stack overflow > > and ocaml-freestanding fails with > > configure: error: C99 float ops unavailable, enable replacements with --e= nable-imprecise-c99-float-ops > > gmake: *** [Makefile:43: ocaml/Makefile.config] Error > > will try mirage 4.0 now > > Cheers > Adam Hi All Mirage 4.0 +- The following actions failed | - build opam-monorepo 0.2.6 File "/home/adams/.opam/default/.opam-switch/build/opam-monorepo.0.2.6/_bui= ld/.dune/default/duniverse/0install/src/gui_gtk/dune.ml", line 34, characte= rs 14-37: 34 | Hashtbl.add Toploop.directive_table "use_mod" ^^^^^^^^^^^^^^^^^^^^^^^ Alert deprecated: Toploop.directive_table ocamlfind: Package `lablgtk3' not found (will skip building the GTK plugin) ocamlopt duniverse/parsexp/src/.parsexp.objs/native/parsexp__Parser_aut= omaton.{cmx,o} (exit 2) (cd _build/default && /home/adams/.opam/default/bin/ocamlopt.opt -w -40 -w = -a -g -I duniverse/parsexp/src/.parsexp.objs/byte -I duniverse/parsexp/src/= .parsexp.objs/native -I duniverse/base/compiler-stdlib/src/.caml.objs/byte = -I duniverse/base/compiler-stdlib/src/.caml.objs/native -I duniverse/sexpli= b0/src/.sexplib0.objs/byte -I duniverse/sexplib0/src/.sexplib0.objs/native = -intf-suffix .ml -no-alias-deps -open Parsexp__ -o duniverse/parsexp/src/.p= arsexp.objs/native/parsexp__Parser_automaton.cmx -c -impl duniverse/parsexp= /src/parser_automaton.ml) Fatal error: exception Stack overflow looks like it might be parsexp related?? Cheers Adam From mirageos-devel-bounces@lists.xenproject.org Fri Nov 26 12:04:46 2021 Return-path: Envelope-to: archives@lists.xenproject.org Delivery-date: Fri, 26 Nov 2021 12:04:46 +0000 Received: from list by lists.xenproject.org with outflank-mailman.232608.403354 (Exim 4.92) (envelope-from ) id 1mqZy9-0005KN-PA; Fri, 26 Nov 2021 12:04:45 +0000 X-Outflank-Mailman: Message body and most headers restored to incoming version Received: by outflank-mailman (output) from mailman id 232608.403354; Fri, 26 Nov 2021 12:04:45 +0000 Received: from localhost ([127.0.0.1] helo=lists.xenproject.org) by lists.xenproject.org with esmtp (Exim 4.92) (envelope-from ) id 1mqZy9-0005KG-Lf; Fri, 26 Nov 2021 12:04:45 +0000 Received: by outflank-mailman (input) for mailman id 232608; Fri, 26 Nov 2021 12:04:44 +0000 Received: from se1-gles-flk1-in.inumbo.com ([94.247.172.50] helo=se1-gles-flk1.inumbo.com) by lists.xenproject.org with esmtp (Exim 4.92) (envelope-from ) id 1mqZy8-0005KA-JV for mirageos-devel@lists.xenproject.org; Fri, 26 Nov 2021 12:04:44 +0000 Received: from mail.mehnert.org (mail.mehnert.org [213.73.89.200]) by se1-gles-flk1.inumbo.com (Halon) with ESMTPS id 0a4fa88f-4eb1-11ec-a9d2-d9f7a1cc8784; Fri, 26 Nov 2021 13:04:43 +0100 (CET) Received: from [192.168.42.80] (dslb-178-008-100-031.178.008.pools.vodafone-ip.de [178.8.100.31]) (using TLSv1 with cipher AES128-SHA (128/128 bits)) (Client CN "hannes@mehnert.org", Issuer "mehnert root CA" (not verified)) by mail.mehnert.org (Postfix) with ESMTPS id 70D991E0FA for ; Fri, 26 Nov 2021 13:04:42 +0100 (CET) X-BeenThere: mirageos-devel@lists.xenproject.org List-Id: Developer list for MirageOS List-Unsubscribe: , List-Post: List-Help: List-Subscribe: , Errors-To: mirageos-devel-bounces@lists.xenproject.org Precedence: list Sender: "MirageOS-devel" X-Inumbo-ID: 0a4fa88f-4eb1-11ec-a9d2-d9f7a1cc8784 Message-ID: Date: Fri, 26 Nov 2021 13:04:41 +0100 MIME-Version: 1.0 User-Agent: Mozilla/5.0 (X11; FreeBSD amd64; rv:91.0) Gecko/20100101 Thunderbird/91.2.1 Subject: Re: mirage 4.0 Content-Language: en-US To: mirageos-devel@lists.xenproject.org References: From: Hannes Mehnert In-Reply-To: Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 7bit Hello, On 26/11/2021 12:55, Adam Steen wrote: > On Friday, November 26th, 2021 at 8:43 AM, Anil Madhavapeddy wrote: >> On 26 Nov 2021, at 01:31, Adam Steen adam@adamsteen.com.au wrote: > and ocaml-freestanding fails with > configure: error: C99 float ops unavailable, enable replacements with --enable-imprecise-c99-float-ops > gmake: *** [Makefile:43: ocaml/Makefile.config] Error This should be solved by https://github.com/mirage/ocaml-freestanding/commit/d4a61d962ec4e9d627d2335b3a291032941d152e (i.e. ocaml-freestanding 0.6.6). Which ocaml-freestanding version does exhibit the error above? Best, Hannes From mirageos-devel-bounces@lists.xenproject.org Fri Nov 26 12:07:16 2021 Return-path: Envelope-to: archives@lists.xenproject.org Delivery-date: Fri, 26 Nov 2021 12:07:16 +0000 Received: from list by lists.xenproject.org with outflank-mailman.232614.403360 (Exim 4.92) (envelope-from ) id 1mqa0Z-0005Zw-1F; Fri, 26 Nov 2021 12:07:15 +0000 X-Outflank-Mailman: Message body and most headers restored to incoming version Received: by outflank-mailman (output) from mailman id 232614.403360; Fri, 26 Nov 2021 12:07:15 +0000 Received: from localhost ([127.0.0.1] helo=lists.xenproject.org) by lists.xenproject.org with esmtp (Exim 4.92) (envelope-from ) id 1mqa0Y-0005Zp-Tv; Fri, 26 Nov 2021 12:07:14 +0000 Received: by outflank-mailman (input) for mailman id 232614; Fri, 26 Nov 2021 12:07:14 +0000 Received: from se1-gles-flk1-in.inumbo.com ([94.247.172.50] helo=se1-gles-flk1.inumbo.com) by lists.xenproject.org with esmtp (Exim 4.92) (envelope-from ) id 1mqa0Y-0005Zj-2P for mirageos-devel@lists.xenproject.org; Fri, 26 Nov 2021 12:07:14 +0000 Received: from mail.mehnert.org (mail.mehnert.org [213.73.89.200]) by se1-gles-flk1.inumbo.com (Halon) with ESMTPS id 63aa3452-4eb1-11ec-a9d2-d9f7a1cc8784; Fri, 26 Nov 2021 13:07:13 +0100 (CET) Received: from [192.168.42.80] (dslb-178-008-100-031.178.008.pools.vodafone-ip.de [178.8.100.31]) (using TLSv1 with cipher AES128-SHA (128/128 bits)) (Client CN "hannes@mehnert.org", Issuer "mehnert root CA" (not verified)) by mail.mehnert.org (Postfix) with ESMTPS id D28D91C046 for ; Fri, 26 Nov 2021 13:07:12 +0100 (CET) X-BeenThere: mirageos-devel@lists.xenproject.org List-Id: Developer list for MirageOS List-Unsubscribe: , List-Post: List-Help: List-Subscribe: , Errors-To: mirageos-devel-bounces@lists.xenproject.org Precedence: list Sender: "MirageOS-devel" X-Inumbo-ID: 63aa3452-4eb1-11ec-a9d2-d9f7a1cc8784 Message-ID: Date: Fri, 26 Nov 2021 13:07:12 +0100 MIME-Version: 1.0 User-Agent: Mozilla/5.0 (X11; FreeBSD amd64; rv:91.0) Gecko/20100101 Thunderbird/91.2.1 Subject: Re: mirage 4.0 Content-Language: en-US To: mirageos-devel@lists.xenproject.org References: From: Hannes Mehnert In-Reply-To: Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 7bit Hi Adam, On 26/11/2021 13:02, Adam Steen wrote: > ocamlopt duniverse/parsexp/src/.parsexp.objs/native/parsexp__Parser_automaton.{cmx,o} (exit 2) > (cd _build/default && /home/adams/.opam/default/bin/ocamlopt.opt -w -40 -w -a -g -I duniverse/parsexp/src/.parsexp.objs/byte -I duniverse/parsexp/src/.parsexp.objs/native -I duniverse/base/compiler-stdlib/src/.caml.objs/byte -I duniverse/base/compiler-stdlib/src/.caml.objs/native -I duniverse/sexplib0/src/.sexplib0.objs/byte -I duniverse/sexplib0/src/.sexplib0.objs/native -intf-suffix .ml -no-alias-deps -open Parsexp__ -o duniverse/parsexp/src/.parsexp.objs/native/parsexp__Parser_automaton.cmx -c -impl duniverse/parsexp/src/parser_automaton.ml) > Fatal error: exception Stack overflow > > looks like it might be parsexp related?? Could you try with `ulimit -s 8192` (or some even bigger value for your stack size)? There's some discussion on https://github.com/ocaml/ocaml/pull/10736 which may fix the issue at hand in the future (> OCaml 4.14.0). Best, Hannes From mirageos-devel-bounces@lists.xenproject.org Fri Nov 26 12:09:11 2021 Return-path: Envelope-to: archives@lists.xenproject.org Delivery-date: Fri, 26 Nov 2021 12:09:11 +0000 Received: from list by lists.xenproject.org with outflank-mailman.232621.403365 (Exim 4.92) (envelope-from ) id 1mqa2Q-0005pL-7j; Fri, 26 Nov 2021 12:09:10 +0000 X-Outflank-Mailman: Message body and most headers restored to incoming version Received: by outflank-mailman (output) from mailman id 232621.403365; Fri, 26 Nov 2021 12:09:10 +0000 Received: from localhost ([127.0.0.1] helo=lists.xenproject.org) by lists.xenproject.org with esmtp (Exim 4.92) (envelope-from ) id 1mqa2Q-0005pE-42; Fri, 26 Nov 2021 12:09:10 +0000 Received: by outflank-mailman (input) for mailman id 232621; Fri, 26 Nov 2021 12:09:08 +0000 Received: from se1-gles-flk1-in.inumbo.com ([94.247.172.50] helo=se1-gles-flk1.inumbo.com) by lists.xenproject.org with esmtp (Exim 4.92) (envelope-from ) id 1mqa2O-0005p8-27 for mirageos-devel@lists.xenproject.org; Fri, 26 Nov 2021 12:09:08 +0000 Received: from mail-4018.proton.ch (mail-4018.proton.ch [185.70.40.18]) by se1-gles-flk1.inumbo.com (Halon) with ESMTPS id a769d341-4eb1-11ec-a9d2-d9f7a1cc8784; Fri, 26 Nov 2021 13:09:07 +0100 (CET) X-BeenThere: mirageos-devel@lists.xenproject.org List-Id: Developer list for MirageOS List-Unsubscribe: , List-Post: List-Help: List-Subscribe: , Errors-To: mirageos-devel-bounces@lists.xenproject.org Precedence: list Sender: "MirageOS-devel" X-Inumbo-ID: a769d341-4eb1-11ec-a9d2-d9f7a1cc8784 Date: Fri, 26 Nov 2021 12:09:02 +0000 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=adamsteen.com.au; s=protonmail; t=1637928545; bh=KsIrNFHLZTK/wpcNumVXdyMdO3tYIQvsCnBb1nXRkbc=; h=Date:To:From:Cc:Reply-To:Subject:In-Reply-To:References:From; b=DGZwbUk6zG1UFSr6P4XVPdmjxX2+4fzgZ7UfJQAaTDm+ZURMMrjCjrV0O/zbE7mQo rHh1/Rd452ABXXmBrL+PxvGOmC/CXuOiWJw+4p/XVlVp8TJst1Id5eKwXKFeWU84eP ir+gkJHwBmYFgZ7t4H+BJwcFpi2Cv23tw3oXGWZqPXlML0gCPVCuSfskqa3zV3FTXI 82h3Iu3ZX03plZTCxXE02/Y8Vgddc09L5nQ5iarGtYsUNPna+zZ7UbBDd1oJV/CEOB PEg4ijchJTNioO7tmSjGSYg2NHC7Tz3LBD+YdlTh5k26N1kJHta2U6OibeWxT+6tTU rm2PtY/XVHYog== To: Adam Steen From: Adam Steen Cc: Anil Madhavapeddy , "mirageos-devel@lists.xenproject.org" Reply-To: Adam Steen Subject: Re: mirage 4.0 Message-ID: In-Reply-To: References: MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable X-Spam-Status: No, score=-1.2 required=10.0 tests=ALL_TRUSTED,DKIM_SIGNED, DKIM_VALID,DKIM_VALID_AU,DKIM_VALID_EF shortcircuit=no autolearn=disabled version=3.4.4 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on mailout.protonmail.ch On Friday, November 26th, 2021 at 12:02 PM, Adam Steen wrote: > On Friday, November 26th, 2021 at 11:55 AM, Adam Steen adam@adamsteen.com= .au wrote: > > > On Friday, November 26th, 2021 at 8:43 AM, Anil Madhavapeddy anil@recoi= l.org wrote: > > > > > On 26 Nov 2021, at 01:31, Adam Steen adam@adamsteen.com.au wrote: > > > > > > > Hi > > > > > > > > I would like to test mirage 4.0 with OpenBSD, in the past I have ha= d mirage 3.X working with OpenBSD but currently ocaml-freestanding is broke= n. > > > > > > > > I feel its not worth investing the time in 3.X when 4.0 is coming > > > > > > > > Is there a set of instructions to follow? > > > > > > > > ps when I say mirage I mean mirage configured with hvt. > > > > > > Hi Adam, > > > > > > Thanks for helping test with OpenBSD! What's the error you're seeing = on 3.x? > > > > > > The instructions for trying out 4.0dev is staged on https://next.mira= ge.io/docs/mirage-4 -- feedback very welcome. > > > > > > regards > > > > > > Anil > > > > Hi Anil > > > > parsexp fails with > > > > ocamlopt src/.parsexp.objs/native/parsexp__Parser_automaton.{cmx,o} (ex= it 2) > > > > (cd build/default && /home/adams/.opam/default/bin/ocamlopt.opt -w -40 = -g -I src/.parsexp.objs/byte -I src/.parsexp.objs/native -I /home/adams/.op= am/default/lib/base/caml -I /home/adams/.opam/default/lib/sexplib0 -intf-su= ffix .ml -no-alias-deps -open Parsexp_ -o src/.parsexp.objs/native/parsexp_= _Parser_automaton.cmx -c -impl src/parser_automaton.ml) > > > > Fatal error: exception Stack overflow > > > > and ocaml-freestanding fails with > > > > configure: error: C99 float ops unavailable, enable replacements with -= -enable-imprecise-c99-float-ops > > > > gmake: *** [Makefile:43: ocaml/Makefile.config] Error > > > > will try mirage 4.0 now > > > > Cheers > > > > Adam > > Hi All > > Mirage 4.0 > > +- The following actions failed > > | - build opam-monorepo 0.2.6 > > File "/home/adams/.opam/default/.opam-switch/build/opam-monorepo.0.2.6/bu= ild/.dune/default/duniverse/0install/src/gui_gtk/dune.ml", line 34, charact= ers 14-37: > > 34 | Hashtbl.add Toploop.directive_table "use_mod" > > ^^^^^^^^^^^^^^^^^^^^^^^ > > Alert deprecated: Toploop.directive_table > > ocamlfind: Package `lablgtk3' not found > > (will skip building the GTK plugin) > > ocamlopt duniverse/parsexp/src/.parsexp.objs/native/parsexp__Parser_autom= aton.{cmx,o} (exit 2) > > (cd build/default && /home/adams/.opam/default/bin/ocamlopt.opt -w -40 -w= -a -g -I duniverse/parsexp/src/.parsexp.objs/byte -I duniverse/parsexp/src= /.parsexp.objs/native -I duniverse/base/compiler-stdlib/src/.caml.objs/byte= -I duniverse/base/compiler-stdlib/src/.caml.objs/native -I duniverse/sexpl= ib0/src/.sexplib0.objs/byte -I duniverse/sexplib0/src/.sexplib0.objs/native= -intf-suffix .ml -no-alias-deps -open Parsexp -o duniverse/parsexp/src/.pa= rsexp.objs/native/parsexp__Parser_automaton.cmx -c -impl duniverse/parsexp/= src/parser_automaton.ml) > > Fatal error: exception Stack overflow > > looks like it might be parsexp related?? > > Cheers > Adam see https://github.com/janestreet/parsexp/issues/9 for more information Cheers Adam From mirageos-devel-bounces@lists.xenproject.org Fri Nov 26 12:12:15 2021 Return-path: Envelope-to: archives@lists.xenproject.org Delivery-date: Fri, 26 Nov 2021 12:12:15 +0000 Received: from list by lists.xenproject.org with outflank-mailman.232633.403375 (Exim 4.92) (envelope-from ) id 1mqa5N-0006of-IW; Fri, 26 Nov 2021 12:12:13 +0000 X-Outflank-Mailman: Message body and most headers restored to incoming version Received: by outflank-mailman (output) from mailman id 232633.403375; Fri, 26 Nov 2021 12:12:13 +0000 Received: from localhost ([127.0.0.1] helo=lists.xenproject.org) by lists.xenproject.org with esmtp (Exim 4.92) (envelope-from ) id 1mqa5N-0006oY-FS; Fri, 26 Nov 2021 12:12:13 +0000 Received: by outflank-mailman (input) for mailman id 232633; Fri, 26 Nov 2021 12:12:12 +0000 Received: from se1-gles-sth1-in.inumbo.com ([159.253.27.254] helo=se1-gles-sth1.inumbo.com) by lists.xenproject.org with esmtp (Exim 4.92) (envelope-from ) id 1mqa5L-0006oS-Ua for mirageos-devel@lists.xenproject.org; Fri, 26 Nov 2021 12:12:11 +0000 Received: from mail-4323.proton.ch (mail-4323.proton.ch [185.70.43.23]) by se1-gles-sth1.inumbo.com (Halon) with ESMTPS id 1499d3af-4eb2-11ec-9787-a32c541c8605; Fri, 26 Nov 2021 13:12:10 +0100 (CET) X-BeenThere: mirageos-devel@lists.xenproject.org List-Id: Developer list for MirageOS List-Unsubscribe: , List-Post: List-Help: List-Subscribe: , Errors-To: mirageos-devel-bounces@lists.xenproject.org Precedence: list Sender: "MirageOS-devel" X-Inumbo-ID: 1499d3af-4eb2-11ec-9787-a32c541c8605 Date: Fri, 26 Nov 2021 12:12:08 +0000 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=adamsteen.com.au; s=protonmail; t=1637928729; bh=rb2bctz2oHE1iOE66yS4CPx1OeHP9jYv2bmZnZhxKDA=; h=Date:To:From:Cc:Reply-To:Subject:In-Reply-To:References:From; b=zZXyUUx735iM2C7HkmvHaIxzc1N4SoH6nKLgYtqt+p7ZpnZAlrlTcOqD9+eYwtU4e Z1cXu5OvMlNTMM5MJ8VFHSlTUI+KVutVNXQFgEMDT1H9n8ZgIwGcWLGwzmrHCKNbyl ec5UCrMmwox6qXGpkQzySszrGWnozo8sOB8ndK5+emw/u5WL7Y4GDmbhthEXJ7s5tu GgODb/IG3evr5y5hw7iZAD3LU3H1mZR0+plMhQtatAM4shFAHRpjW4QWzz5sd9kupu VEFeD7/8sWJOvluqV5e0wbBNpyPjQQs/AtDvijqSgFejfqNSqzDzFJgfLfW42RvQOq iRJ2Llg4u1Xzg== To: Hannes Mehnert From: Adam Steen Cc: mirageos-devel@lists.xenproject.org Reply-To: Adam Steen Subject: Re: mirage 4.0 Message-ID: In-Reply-To: References: MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable X-Spam-Status: No, score=-1.2 required=10.0 tests=ALL_TRUSTED,DKIM_SIGNED, DKIM_VALID,DKIM_VALID_AU,DKIM_VALID_EF shortcircuit=no autolearn=disabled version=3.4.4 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on mailout.protonmail.ch On Friday, November 26th, 2021 at 12:04 PM, Hannes Mehnert wrote: > Hello, > > On 26/11/2021 12:55, Adam Steen wrote: > > > On Friday, November 26th, 2021 at 8:43 AM, Anil Madhavapeddy anil@recoi= l.org wrote: > > > > > On 26 Nov 2021, at 01:31, Adam Steen adam@adamsteen.com.au wrote: > > > > > > and ocaml-freestanding fails with > > > > > > configure: error: C99 float ops unavailable, enable replacements with= --enable-imprecise-c99-float-ops > > > > > > gmake: *** [Makefile:43: ocaml/Makefile.config] Error > > This should be solved by > > https://github.com/mirage/ocaml-freestanding/commit/d4a61d962ec4e9d627d23= 35b3a291032941d152e > > (i.e. ocaml-freestanding 0.6.6). Which ocaml-freestanding version does > > exhibit the error above? > > Best, > > Hannes Hi Hannes +- The following actions failed | - build ocaml-freestanding 0.6.6 | - build parsexp v0.14.1 +- Adam From mirageos-devel-bounces@lists.xenproject.org Fri Nov 26 12:19:16 2021 Return-path: Envelope-to: archives@lists.xenproject.org Delivery-date: Fri, 26 Nov 2021 12:19:16 +0000 Received: from list by lists.xenproject.org with outflank-mailman.232644.403389 (Exim 4.92) (envelope-from ) id 1mqaC9-00079r-9A; Fri, 26 Nov 2021 12:19:13 +0000 X-Outflank-Mailman: Message body and most headers restored to incoming version Received: by outflank-mailman (output) from mailman id 232644.403389; Fri, 26 Nov 2021 12:19:13 +0000 Received: from localhost ([127.0.0.1] helo=lists.xenproject.org) by lists.xenproject.org with esmtp (Exim 4.92) (envelope-from ) id 1mqaC9-00079k-6E; Fri, 26 Nov 2021 12:19:13 +0000 Received: by outflank-mailman (input) for mailman id 232644; Fri, 26 Nov 2021 12:19:11 +0000 Received: from se1-gles-sth1-in.inumbo.com ([159.253.27.254] helo=se1-gles-sth1.inumbo.com) by lists.xenproject.org with esmtp (Exim 4.92) (envelope-from ) id 1mqaC6-00079e-G2 for mirageos-devel@lists.xenproject.org; Fri, 26 Nov 2021 12:19:11 +0000 Received: from mail-4323.proton.ch (mail-4323.proton.ch [185.70.43.23]) by se1-gles-sth1.inumbo.com (Halon) with ESMTPS id 0e7284f1-4eb3-11ec-9787-a32c541c8605; Fri, 26 Nov 2021 13:19:09 +0100 (CET) X-BeenThere: mirageos-devel@lists.xenproject.org List-Id: Developer list for MirageOS List-Unsubscribe: , List-Post: List-Help: List-Subscribe: , Errors-To: mirageos-devel-bounces@lists.xenproject.org Precedence: list Sender: "MirageOS-devel" X-Inumbo-ID: 0e7284f1-4eb3-11ec-9787-a32c541c8605 Date: Fri, 26 Nov 2021 12:19:07 +0000 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=adamsteen.com.au; s=protonmail; t=1637929147; bh=eDuotd0MjZOkfthvjbkULJpmB7ok0v3h7WM1PeMFxu8=; h=Date:To:From:Cc:Reply-To:Subject:In-Reply-To:References:From; b=NlryPL4moYHQDy8UXLHOQI5jZf9I2dGVvoZbp/3yfuAsEfDSLkb77S0wppm6n5Rc2 JxC1S7lQeIH/dxSh8fKPsMotOhzJltE7rE6zag5MgO68BKLIAz4IpGXE9jvhfaQeCG du5lCrxyeMr2oneVOy4DlvVbachEfxsMuabqGnj/lu/PRbOteeaPTY/XEt7O5QTGD3 MGDN6HZVNMf8hJ/ma3CmKTgavAl6AQUQSkq8cMZ2KE9/pmosmU9Frwj0M6gjAc7Cfi CQaYIAUnAAz6BdxcgQmZo7LpuhLOfttB+KxMCSyEaibkJJ9cavVLwumRzzfCm4yrzl nsE6rO2x1z9dA== To: Hannes Mehnert From: Adam Steen Cc: mirageos-devel@lists.xenproject.org Reply-To: Adam Steen Subject: Re: mirage 4.0 Message-ID: In-Reply-To: References: MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable X-Spam-Status: No, score=-1.2 required=10.0 tests=ALL_TRUSTED,DKIM_SIGNED, DKIM_VALID,DKIM_VALID_AU,DKIM_VALID_EF shortcircuit=no autolearn=disabled version=3.4.4 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on mailout.protonmail.ch On Friday, November 26th, 2021 at 12:07 PM, Hannes Mehnert wrote: > Hi Adam, > > On 26/11/2021 13:02, Adam Steen wrote: > > > ocamlopt duniverse/parsexp/src/.parsexp.objs/native/parsexp__Parse= r_automaton.{cmx,o} (exit 2) > > > > > > (cd build/default && /home/adams/.opam/default/bin/ocamlopt.opt -w -40 = -w -a -g -I duniverse/parsexp/src/.parsexp.objs/byte -I duniverse/parsexp/s= rc/.parsexp.objs/native -I duniverse/base/compiler-stdlib/src/.caml.objs/by= te -I duniverse/base/compiler-stdlib/src/.caml.objs/native -I duniverse/sex= plib0/src/.sexplib0.objs/byte -I duniverse/sexplib0/src/.sexplib0.objs/nati= ve -intf-suffix .ml -no-alias-deps -open Parsexp_ -o duniverse/parsexp/src/= .parsexp.objs/native/parsexp__Parser_automaton.cmx -c -impl duniverse/parse= xp/src/parser_automaton.ml) > > > > Fatal error: exception Stack overflow > > > > looks like it might be parsexp related?? > > Could you try with `ulimit -s 8192` (or some even bigger value for your > > stack size)? There's some discussion on > > https://github.com/ocaml/ocaml/pull/10736 which may fix the issue at > > hand in the future (> OCaml 4.14.0). > > Best, > > Hannes Hi Hannes 'ulimit -s 8192' fixed the stack overflow but we are not hitting the problem with ocaml-freestand 0.6.6 #=3D=3D=3D ERROR while compiling ocaml-freestanding.0.6.6 =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# # context 2.0.8 | openbsd/x86_64 | ocaml-base-compiler.4.13.1 | https:/= /opam.ocaml.org#7e8b67dd # path ~/.opam/default/.opam-switch/build/ocaml-freestanding.0.6.6 # command /usr/local/bin/gmake # exit-code 2 # env-file ~/.opam/log/ocaml-freestanding-48748-6cc03f.env # output-file ~/.opam/log/ocaml-freestanding-48748-6cc03f.out ### output ### # [...] # checking for log2... yes # checking for cbrt... yes # checking for acosh... yes # checking for asinh... yes # checking for atanh... yes # checking for erf... yes # checking for erfc... yes # checking for trunc... yes # checking for round... yes # checking for copysign... yes # configure: error: C99 float ops unavailable, enable replacements with --e= nable-imprecise-c99-float-ops # gmake: *** [Makefile:43: ocaml/Makefile.config] Error 1 I can attach the env and output-file if required. I will look at the ocaml-freestanding commit (https://github.com/mirage/oca= ml-freestanding/commit/d4a61d962ec4e9d627d2335b3a291032941d152e) and if it = can figure something out. Cheers Adam