From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp2.migadu.com ([2001:41d0:303:e16b::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms8.migadu.com with LMTPS id cK9KJ9n/7WUZIwEAe85BDQ:P1 (envelope-from ) for ; Sun, 10 Mar 2024 19:45:45 +0100 Received: from aspmx1.migadu.com ([2001:41d0:303:e16b::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp2.migadu.com with LMTPS id cK9KJ9n/7WUZIwEAe85BDQ (envelope-from ) for ; Sun, 10 Mar 2024 19:45:45 +0100 X-Envelope-To: larch@yhetil.org Authentication-Results: aspmx1.migadu.com; dkim=pass header.d=gmail.com header.s=20230601 header.b=KK1RMD9N; spf=pass (aspmx1.migadu.com: domain of "emacs-orgmode-bounces+larch=yhetil.org@gnu.org" designates 209.51.188.17 as permitted sender) smtp.mailfrom="emacs-orgmode-bounces+larch=yhetil.org@gnu.org"; dmarc=pass (policy=none) header.from=gmail.com ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=yhetil.org; s=key1; t=1710096345; h=from:from:sender:sender:reply-to:subject:subject:date:date: message-id:message-id:to:to:cc:mime-version:mime-version: content-type:content-type:in-reply-to:in-reply-to: references:references:list-id:list-help:list-unsubscribe: list-subscribe:list-post:dkim-signature; bh=16AJplY3KQSUbfeRCZNP05pmQCcb/u7BrTSfLgLK+oc=; b=lXzN5QTL7cgM0uy6eC1pGWZsQ0lojJj6flsncwDY05ntVKescwrl1R8NlEQsZXP8bc5er7 gPeCmWKhxmxYDBaVBMJLxg1n0I0RUa0TR+hAFUebOjqWHA9l8to1gydevDpKx8qodub2Sd SLo51iBNCam3r8QwA2na9Q8dSkzt03ELESGLXfezsF6pmq/Zc/pMYD499RpbfNVnfo66xS FZPnIGWk7McAx+zySYSd6F9ojW6vBOHR/tpZDwNWNAE47RerSzBJcwL59E92jvATW3fQnY 0jL8AIkt3JVtBwJB5fzggI292S6yJrLyVbSEcP+fnWq8MtV0q7gcUMF6kOEUgA== ARC-Authentication-Results: i=1; aspmx1.migadu.com; dkim=pass header.d=gmail.com header.s=20230601 header.b=KK1RMD9N; spf=pass (aspmx1.migadu.com: domain of "emacs-orgmode-bounces+larch=yhetil.org@gnu.org" designates 209.51.188.17 as permitted sender) smtp.mailfrom="emacs-orgmode-bounces+larch=yhetil.org@gnu.org"; dmarc=pass (policy=none) header.from=gmail.com ARC-Seal: i=1; s=key1; d=yhetil.org; t=1710096345; a=rsa-sha256; cv=none; b=q27FsxNrtS8yBQi4QIhXPgEbl4luzveSCVgiC1sVpxWenjcunBjZGkLF7jYK/x+CjIQOmx 4e7LI1oaGgMoMzxnCLkMxd2WM8zTG9IOjUfgbu0cVFW5uWWrO5LXSLy0GMrQUbm22B+M+Y NSq9FrtRVAE2G91pzlV8MqEd4rbfvIva02OOprSiVhm75JCutDwg/qNusfsGqh1J/QugYf ggkNz8LPwyrHUKldzUWkXBaj/kRHIHoeYQErSiyx5C8gx5LITmy5Be6nPx6ijMdZu3oek0 GsIpkcQRaLDEVUnOZn9YnpMh2rvn01/4BYJ6d5KqA3Jn1TBOIpu/e/jPyvnjeg== 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 4E20213ACB for ; Sun, 10 Mar 2024 19:45:44 +0100 (CET) Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1rjOAC-0007Ez-S6; Sun, 10 Mar 2024 14:44:49 -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 1rjOAA-0007Ea-9F for emacs-orgmode@gnu.org; Sun, 10 Mar 2024 14:44:46 -0400 Received: from mail-ej1-x632.google.com ([2a00:1450:4864:20::632]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1rjOA7-0004Yw-Tx for emacs-orgmode@gnu.org; Sun, 10 Mar 2024 14:44:45 -0400 Received: by mail-ej1-x632.google.com with SMTP id a640c23a62f3a-a3122b70439so466757166b.3 for ; Sun, 10 Mar 2024 11:44:43 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1710096282; x=1710701082; darn=gnu.org; h=to:subject:message-id:date:from:in-reply-to:references:mime-version :from:to:cc:subject:date:message-id:reply-to; bh=16AJplY3KQSUbfeRCZNP05pmQCcb/u7BrTSfLgLK+oc=; b=KK1RMD9NS1OMj/zcniu2+28n694qkZVqIkUkjhvo6hgsm+JwiqaoyGC6k93M/ac9ab fveDtC2NPnfDGqJc8UaMb1Qh2ZC1i7Fv68ELEMvUKPy2PFrfWfSPUtVMC/dlhxq31I3A qK4AjvSCfU6HbdYrvXlwXKAzB3CVA5oYjI2NrS4esAmEFPDRz68oTmZveEq9GHsRjV5R hVZ+i7iKYok1w+LxnL+fT7So+YUSxx/O6hRHb452K1J2QKMf2p3EiCvKRasFVAPGEu5P bQp7A8//E8N11jf0Gyjgiz005P1fHubUqVcZdUqh7IOrVnKbldHlGwpknMZwv59WKNKz fMRw== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1710096282; x=1710701082; h=to:subject:message-id:date:from:in-reply-to:references:mime-version :x-gm-message-state:from:to:cc:subject:date:message-id:reply-to; bh=16AJplY3KQSUbfeRCZNP05pmQCcb/u7BrTSfLgLK+oc=; b=Tx2vyMUa5Jn5309bylNnDd0mJjuT0heXwGjRgKioUib0Z4CxqeJ6qWqxA5ccwPJ+sD WwLk/3zCEVaKM/WtGHhWcTqaX3iy4BLGKj0BGCpYIgHaCeFO289Ad33Iq5oNuEyGoLdI 1H4eCQ4TExRv0HWITbWNxmrZsuZeACcN6BWBLJAl1JcRejPWv7Ak67BbWdcAuS41iiSC 4UEcV7zwMCzyEpe09Af5ayvo3FFIJvpYIlSBvRfc5oHrRyTCgqJOffO6J+fy4MCldMCQ 3+zjAiDcrm5rX2p0a5nYbXwAGoM5HH9GFcebF9oxIn45Gz36BtYvPP7WIThooV92YVeO deSw== X-Gm-Message-State: AOJu0YzQsmbjfDRDbzD5JPMJozTFTJWwHNpfjcvSRCpswh0ZyEHssAHC QihaSYNYctKIlSDoSzkF4BvZZ2eRbR5mkgpaRlSM74QXo24AHy9PpXYo4VASKxlNJOMjqRVYBlo M5ArffCwrzLDhmoeVLcbjCbPoFMlD/OUB X-Google-Smtp-Source: AGHT+IGuN5O4QJb1cGnj7mgAxceoI/5C267UnpREqt/jRvMvGTSyyYQ+jIpW7nzEsQgZAVoNs3JDcOCzNzwJyPORayo= X-Received: by 2002:a17:906:1814:b0:a45:ab16:deea with SMTP id v20-20020a170906181400b00a45ab16deeamr2509711eje.55.1710096281544; Sun, 10 Mar 2024 11:44:41 -0700 (PDT) MIME-Version: 1.0 References: <87le9szzev.fsf@localhost> <87le7at17k.fsf@bzg.fr> <87cyskn7xa.fsf@localhost> In-Reply-To: <87cyskn7xa.fsf@localhost> From: Francesc Rocher Date: Sun, 10 Mar 2024 19:44:30 +0100 Message-ID: Subject: Testing issues for Ada/SPARK support in Babel To: emacs-orgmode@gnu.org Content-Type: multipart/alternative; boundary="00000000000064ae0f061352d15f" Received-SPF: pass client-ip=2a00:1450:4864:20::632; envelope-from=francesc.rocher@gmail.com; helo=mail-ej1-x632.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, HTML_MESSAGE=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: emacs-orgmode@gnu.org X-Mailman-Version: 2.1.29 Precedence: list List-Id: "General discussions about Org-mode." List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: emacs-orgmode-bounces+larch=yhetil.org@gnu.org Sender: emacs-orgmode-bounces+larch=yhetil.org@gnu.org X-Migadu-Flow: FLOW_IN X-Migadu-Country: US X-Migadu-Spam-Score: -9.56 X-Spam-Score: -9.56 X-Migadu-Queue-Id: 4E20213ACB X-Migadu-Scanner: mx13.migadu.com X-TUID: dSighXkNgumY --00000000000064ae0f061352d15f Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable Hi all, I'm starting from scratch the set of tests for Ada/SPARK support in Babel. I've prepared a file with the first example: ---8<--- testing/examples/ob-ada-spark-test-org ---8<--- * Simple tests :PROPERTIES: :ID: 778e63c2-2644-4a6f-8e7d-f956fa3d9241 :END: #+name: hello-world #+begin_src ada :unit hello_world :results silent with Ada.Text_IO; procedure Hello_World is begin Ada.Text_IO.Put_Line ("Hello world"); end Hello_World; #+end_src ---8<------8<------8<------8<------8<------8<--- Then in the file testing/test-ob-ada-spark.el I've defined the following test: (ert-deftest ob-ada-spark/hello-world () "Test simple Hello world." (org-test-at-id "778e63c2-2644-4a6f-8e7d-f956fa3d9241" (org-babel-next-src-block) (should (equal "Hello world\n" (org-babel-execute-src-block))))) When I execute the test form within Emacs with: (add-to-list ' load-path (concat (file-name-directory (buffer-file-name)))) (require 'org-test) (ert 'ob-ada-spark/hello-world) it works fine, but when I run the test from the command line with $ make BTEST_RE=3D'ob-ada-spark.*' test-dirty it fails because (org-babel-execute-src-block) returns nil: Test ob-ada-spark/hello-world condition: (wrong-type-argument stringp nil) FAILED 1/1 ob-ada-spark/hello-world (0.002933 sec) at ../lisp/test-ob-ada-spark.el:40 Everything is in place, "make compile" issues no warning and required programs are in PATH. I've tested other languages, e.g. $ make BTEST_RE=3D'ob-fortran.*' test-dirty $ make BTEST_RE=3D'ob-java/.*' test-dirty and everything works fine . Any idea?? How can I debug test execution from the command line? BR, -- Francesc Rocher On Sun, Feb 25, 2024 at 11:36=E2=80=AFAM Ihor Radchenko wrote: > Francesc Rocher writes: > > > If you still want to include it into the mainstream org-mode repository= , > > then I'll be more than happy > > to contribute. If so, let me know what are the next steps and what kind > of > > test do you expect. > > Yes, we are interested to have Ada support in Org mode repository. > > Here is what you need to do: > > 1. Check our contributor instructions at > https://orgmode.org/worg/org-contribute.html#first-patch > In particular, pay attention to the ChangeLog entry format. > You also need FSF copyright assignment. > Don't worry to make mistakes - we will guide you through once you > submit patches. > > 2. https://github.com/rocher/ob-ada-spark/blob/main/ob-ada-spark.el > should go to lisp/ directory of Org repository. > Make sure to update the file header, updating the licence and stating > that it is now a part of Emacs. > > 3. You need to get rid of any external library dependencies (f.el) > > 4. https://github.com/rocher/ob-ada-spark/blob/main/ob-doc-Ada-SPARK.org > should go to > https://orgmode.org/worg/org-contrib/babel/languages/index.html > You will need to make a patch against https://git.sr.ht/~bzg/worg > Also, make sure to follow > > https://orgmode.org/worg/org-contrib/babel/languages/ob-doc-template.org > > 5. You need to add tests to testing/lisp in Org repository. > You may use > > https://git.savannah.gnu.org/cgit/emacs/org-mode.git/tree/testing/lisp/te= st-ob-java.el > as a reference. > > 6. It will be best if you continue maintaining ob-ada within Org mode > repository. If you are willing to, we will also give you write access > to the Org mode repository on savannah. We will provide instructions > later, when we reach this stage. > Note that we use Org mailing list to track bugs and discuss the > development. You do not have to be subscribed, we can forward > relevant email threads to your email inbox. > > If you have any questions, feel free to ask us. > > -- > Ihor Radchenko // yantar92, > Org mode contributor, > Learn more about Org mode at . > Support Org development at , > or support my work at > --00000000000064ae0f061352d15f Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
Hi all,

I&#= 39;m starting from scratch the set of tests for Ada/SPARK support in Babel.=
I've prepared a file with the first example:

---8<--- testing/examples/ob-ada-spark-test-org ---8<---
* Simple tests
:PROPERTIES:
:ID: =C2=A0 =C2=A0 =C2=A0 778e63c2-2644-= 4a6f-8e7d-f956fa3d9241
:END:
#+name: hello-world
#+begin_src ada := unit hello_world :results silent
=C2=A0 =C2=A0with Ada.Text_IO;
=C2= =A0 =C2=A0procedure Hello_World is
=C2=A0 =C2=A0begin
=C2=A0 =C2=A0 = =C2=A0 Ada.Text_IO.Put_Line ("Hello world");
=C2=A0 =C2=A0end = Hello_World;
#+end_src
---8<------8<------8<------8&l= t;------8<------8<---

Then in the file testi= ng/test-ob-ada-spark.el I've defined the following test:

=
(ert-deftest ob-ada-spark/hello-world ()
=C2=A0 "Test si= mple Hello world."
=C2=A0 (org-test-at-id "778e63c2-2644-4a6f-= 8e7d-f956fa3d9241"
=C2=A0 =C2=A0 (org-babel-next-src-block)
=C2= =A0 =C2=A0 (should (equal "Hello world\n" (org-babel-execute-src-= block)))))

When I execute the test form within Ema= cs with:

(add-to-list ' load-path (concat (fil= e-name-directory (buffer-file-name))))
(require 'org-test)
(ert 'ob-ada-spark/hello-world)

it wor= ks fine, but when I run the test from the command line with

<= /div>
$ make BTEST_RE=3D'ob-ada-spark.*' test-dirty

it fails because (org-babel-execute-src-block) returns ni= l:

Test ob-ada-spark/hello-world condition:
=C2= =A0 =C2=A0 (wrong-type-argument stringp nil)
=C2=A0 =C2=A0FAILED =C2=A01= /1 =C2=A0ob-ada-spark/hello-world (0.002933 sec) at ../lisp/test-ob-ada-spa= rk.el:40

Everything is in place, &q= uot;make compile" issues no warning and required
programs ar= e in PATH. I've tested other languages, e.g.

$ make BTEST_RE=3D'ob-fortran.*' test-dirty
= $ make BTEST_RE=3D'ob-java/.*' test-dirty

and everything works fine .

Any idea?? H= ow can I debug test execution from the command line?

BR,
-- Francesc Rocher

On Sun, = Feb 25, 2024 at 11:36=E2=80=AFAM Ihor Radchenko <yantar92@posteo.net> wrote:
Francesc Rocher <francesc.rocher@gmail.com>= ; writes:

> If you still want to include it into the mainstream org-mode repositor= y,
> then I'll be more than happy
> to contribute. If so, let me know what are the next steps and what kin= d of
> test do you expect.

Yes, we are interested to have Ada support in Org mode repository.

Here is what you need to do:

1. Check our contributor instructions at
=C2=A0 =C2=A0https://orgmode.org/worg/org-co= ntribute.html#first-patch
=C2=A0 =C2=A0In particular, pay attention to the ChangeLog entry format. =C2=A0 =C2=A0You also need FSF copyright assignment.
=C2=A0 =C2=A0Don't worry to make mistakes - we will guide you through o= nce you
=C2=A0 =C2=A0submit patches.

2. https://github.com/rocher/ob-ada-= spark/blob/main/ob-ada-spark.el
=C2=A0 =C2=A0should go to lisp/ directory of Org repository.
=C2=A0 =C2=A0Make sure to update the file header, updating the licence and = stating
=C2=A0 =C2=A0that it is now a part of Emacs.

3. You need to get rid of any external library dependencies (f.el)

4. https://github.com/rocher/ob= -ada-spark/blob/main/ob-doc-Ada-SPARK.org
=C2=A0 =C2=A0should go to
=C2=A0 =C2=A0https://orgmode.org/worg= /org-contrib/babel/languages/index.html
=C2=A0 =C2=A0You will need to make a patch against https://git.sr.ht/~bzg= /worg
=C2=A0 =C2=A0Also, make sure to follow
=C2=A0 =C2=A0https://orgmode= .org/worg/org-contrib/babel/languages/ob-doc-template.org

5. You need to add tests to testing/lisp in Org repository.
=C2=A0 =C2=A0You may use
=C2=A0 =C2=A0h= ttps://git.savannah.gnu.org/cgit/emacs/org-mode.git/tree/testing/lisp/test-= ob-java.el
=C2=A0 =C2=A0as a reference.

6. It will be best if you continue maintaining ob-ada within Org mode
=C2=A0 =C2=A0repository. If you are willing to, we will also give you write= access
=C2=A0 =C2=A0to the Org mode repository on savannah. We will provide instru= ctions
=C2=A0 =C2=A0later, when we reach this stage.
=C2=A0 =C2=A0Note that we use Org mailing list to track bugs and discuss th= e
=C2=A0 =C2=A0development. You do not have to be subscribed, we can forward<= br> =C2=A0 =C2=A0relevant email threads to your email inbox.

If you have any questions, feel free to ask us.

--
Ihor Radchenko // yantar92,
Org mode contributor,
Learn more about Org mode at <https://orgmode.org/>.
Support Org development at <https://liberapay.com/org-mode>,=
or support my work at <https://liberapay.com/yantar92>
--00000000000064ae0f061352d15f--