GNU bug report logs - #30739
[PATCH 0/3] Add Ada parsers.

Previous Next

To add a comment to this bug, you must first unarchive it, by sending
a message to control AT debbugs.gnu.org, with unarchive 30739 in the body.
You can then email your comments to 30739 AT debbugs.gnu.org in the normal way.

Toggle the display of automated, internal messages from the tracker.

Message #5 received at submit <at> debbugs.gnu.org (full text, mbox):

From: Danny Milosavljevic <dannym <at> scratchpost.org>
To: guix-patches <at> gnu.org
Cc: Danny Milosavljevic <dannym <at> scratchpost.org>
Subject: [PATCH 0/3] Add Ada parsers.
Date: Wed,  7 Mar 2018 01:26:57 +0100

Danny Milosavljevic (3):
  gnu: Add python2-langkit.
  gnu: Add python2-quex.
  gnu: Add python2-libadalang.

 gnu/packages/adacore.scm | 138 +++++++++++++++++++++++++++++++++++++++++++++++
 1 file changed, 138 insertions(+)
 create mode 100644 gnu/packages/adacore.scm

Message #8 received at 30739 <at> debbugs.gnu.org (full text, mbox):

From: Danny Milosavljevic <dannym <at> scratchpost.org>
To: 30739 <at> debbugs.gnu.org
Cc: Danny Milosavljevic <dannym <at> scratchpost.org>
Subject: [PATCH 1/3] gnu: Add python2-langkit.
Date: Wed,  7 Mar 2018 02:05:43 +0100

* gnu/packages/adacore.scm: New file.
---
 gnu/packages/adacore.scm | 43 +++++++++++++++++++++++++++++++++++++++++++
 1 file changed, 43 insertions(+)
 create mode 100644 gnu/packages/adacore.scm

diff --git a/gnu/packages/adacore.scm b/gnu/packages/adacore.scm
new file mode 100644
index 000000000..34415db8a
--- /dev/null
+++ b/gnu/packages/adacore.scm
@@ -0,0 +1,43 @@
+(define-module (gnu packages adacore)
+  #:use-module ((guix licenses) #:prefix license:)
+  #:use-module (guix build-system gnu)
+  #:use-module (guix build-system python)
+  #:use-module (guix packages)
+  #:use-module (guix download)
+  #:use-module (guix git-download)
+  #:use-module (gnu packages)
+  #:use-module (gnu packages check)
+  #:use-module (gnu packages compression)
+  #:use-module (gnu packages python))
+
+(define-public python2-langkit
+  (let ((commit "fe0bc8bf60dbd2937759810df76ac420d99fc15f")
+        (revision "0"))
+    (package
+      (name "python2-langkit")
+      (version (git-version "0.0.0" revision commit))
+      (source (origin
+                (method git-fetch)
+                (uri (git-reference
+                      (url "https://github.com/AdaCore/langkit.git")
+                      (commit commit)))
+                (sha256
+                 (base32
+                  "1abqgw2p8pb1pm54my5kkbbixfhc6l0bwajdv1xlzyrh31xki3wx"))
+                (file-name (string-append name "-" version "-checkout"))))
+      (build-system python-build-system)
+      (propagated-inputs
+       `(("python2-docutils" ,python2-docutils)
+         ("python2-enum34" ,python2-enum34)
+         ("python2-funcy" ,python2-funcy)
+         ("python2-mako" ,python2-mako)))
+      (arguments
+       `(#:python ,python-2
+         #:tests? #f))           ; Tests would requite gprbuild (Ada).
+      (synopsis "Semantic analysis tool generator in Python")
+      (description "@code{Langkit} is a tool whose purpose is to make it easy
+to create syntactic and semantic analysis engines. Write a language
+specification in our Python DSL and Langkit will generate for you an
+Ada library with bindings for the C and Python programming languages.")
+      (home-page "https://github.com/AdaCore/langkit/")
+      (license license:gpl3+))))   ; and gcc runtime library exception

Message #11 received at 30739 <at> debbugs.gnu.org (full text, mbox):

From: Danny Milosavljevic <dannym <at> scratchpost.org>
To: 30739 <at> debbugs.gnu.org
Cc: Danny Milosavljevic <dannym <at> scratchpost.org>
Subject: [PATCH 2/3] gnu: Add python2-quex.
Date: Wed,  7 Mar 2018 02:05:44 +0100

* gnu/packages/adacore.scm (python2-quex): New variable.
(python2-quex-0.67.3): New variable.
---
 gnu/packages/adacore.scm | 55 ++++++++++++++++++++++++++++++++++++++++++++++++
 1 file changed, 55 insertions(+)

diff --git a/gnu/packages/adacore.scm b/gnu/packages/adacore.scm
index 34415db8a..d1f5abd2c 100644
--- a/gnu/packages/adacore.scm
+++ b/gnu/packages/adacore.scm
@@ -41,3 +41,58 @@ specification in our Python DSL and Langkit will generate for you an
 Ada library with bindings for the C and Python programming languages.")
       (home-page "https://github.com/AdaCore/langkit/")
       (license license:gpl3+))))   ; and gcc runtime library exception
+
+;; Note: non-Ada
+(define-public python2-quex-0.67.3
+  (package
+    (name "python2-quex")
+    (version "0.67.3")
+    (source
+     (origin
+       (method url-fetch)
+       (uri (string-append "https://sourceforge.net/projects/quex/files/HISTORY/0.67/quex-" version ".zip/download"))
+       (sha256
+        (base32
+         "14gv8ll3ipqv4kyc2xiy891nrmjl4ic823zfyx8hassagyclyppw"))
+       (file-name (string-append name "-" version ".zip"))))
+    (build-system python-build-system)
+    (native-inputs
+     `(("unzip" ,unzip)))
+    (arguments
+     `(#:python ,python-2
+       #:tests? #f
+       #:phases
+       (modify-phases %standard-phases
+         (delete 'configure)
+         (delete 'build)
+         (replace 'install
+           (lambda* (#:key outputs #:allow-other-keys)
+             (let* ((out (assoc-ref outputs "out"))
+                    (share/quex (string-append out "/share/quex"))
+                    (bin (string-append out "/bin")))
+               (copy-recursively "." share/quex)
+               (mkdir-p bin)
+               (symlink (string-append share/quex "/quex-exe.py")
+                        (string-append bin "/quex"))
+               #t))))))
+    (native-search-paths
+     (list (search-path-specification
+            (variable "QUEX_PATH")
+            (files '("share/quex")))))
+    (home-page "http://quex.sourceforge.net/")
+    (synopsis "Lexical analyzer generator in Python")
+    (description "@code{quex} is a lexical analyzer generator in Python.")
+    (license license:lgpl2.1+)))        ; Non-military
+
+(define-public python2-quex
+  (package (inherit python2-quex-0.67.3)
+    (name "python2-quex")
+    (version "0.68.1")
+    (source
+     (origin
+       (method url-fetch)
+       (uri (string-append "https://sourceforge.net/projects/quex/files/DOWNLOAD/quex-" version ".tar.gz/download"))
+       (sha256
+        (base32
+         "0svc9nla3b9145d6b7fb9dizx412l3difzqw0ilh9lz52nsixw8j"))
+       (file-name (string-append name "-" version ".zip"))))))

Message #14 received at 30739 <at> debbugs.gnu.org (full text, mbox):

From: Danny Milosavljevic <dannym <at> scratchpost.org>
To: 30739 <at> debbugs.gnu.org
Cc: Danny Milosavljevic <dannym <at> scratchpost.org>
Subject: [PATCH 3/3] gnu: Add python2-libadalang.
Date: Wed,  7 Mar 2018 02:05:45 +0100

* gnu/packages/adacore.scm (python2-libadalang): New variable.
---
 gnu/packages/adacore.scm | 40 ++++++++++++++++++++++++++++++++++++++++
 1 file changed, 40 insertions(+)

diff --git a/gnu/packages/adacore.scm b/gnu/packages/adacore.scm
index d1f5abd2c..267fa2041 100644
--- a/gnu/packages/adacore.scm
+++ b/gnu/packages/adacore.scm
@@ -96,3 +96,43 @@ Ada library with bindings for the C and Python programming languages.")
         (base32
          "0svc9nla3b9145d6b7fb9dizx412l3difzqw0ilh9lz52nsixw8j"))
        (file-name (string-append name "-" version ".zip"))))))
+
+(define-public python2-libadalang
+  (let ((commit "9b205e9bacdd50a68117727332e16fbef5f6ac49")
+        (revision "0"))
+    (package
+      (name "python2-libadalang")
+      (version (git-version "0.0.0" revision commit))
+      (source (origin
+                (method git-fetch)
+                (uri (git-reference
+                      (url "https://github.com/AdaCore/libadalang.git")
+                      (commit commit)))
+                (sha256
+                 (base32
+                  "06hsnzj2syqpq2yhg1bb0zil7ydbyqkdmkjbf8j9b5sdgkyh5xrp"))
+                (file-name (string-append name "-" version "-checkout"))))
+      (build-system python-build-system)
+      (native-inputs
+       `(("python2-langkit" ,python2-langkit)
+         ("python2-quex" ,python2-quex-0.67.3)))
+      (arguments
+       `(#:python ,python-2
+         #:phases
+         (modify-phases %standard-phases
+           (replace 'build
+             (lambda _
+               (invoke "python2" "ada/manage.py" "generate")
+               (invoke "python2" "ada/manage.py" "build")))
+           (replace 'check
+             (lambda _
+               (invoke "python2" "ada/manage.py" "test")))
+           (replace 'install
+             (lambda* (#:key outputs #:allow-other-keys)
+               (let* ((out (assoc-ref outputs "out")))
+                 (invoke "python2" "ada/manage.py" "install" out)))))))
+      (synopsis "Semantic Analysis for Ada in Python")
+      (description "@code{libadalang} provides a high-performance semantic
+engine for the Ada programming language.")
+      (home-page "https://github.com/AdaCore/libadalang")
+      (license license:gpl3)))) ; and gcc runtime gcc lib exception

Message #19 received at 30739-done <at> debbugs.gnu.org (full text, mbox):

From: Paul Eggert <eggert <at> cs.ucla.edu>
To: Valery Ushakov <uwe <at> stderr.spb.ru>
Cc: 30739-done <at> debbugs.gnu.org
Subject: Re: Invalid timezone (tzalloc failure) treated as out-of-memory
Date: Sun, 11 Mar 2018 00:27:09 -0800

[Message part 1 (text/plain, inline)]

Thanks for reporting the problem. I have installed the attached two patches, 
which I think should fix the problem so I'm closing the bug report. Please give 
them a try on NetBSD (as I typically don't use NetBSD).

[0001-Fix-minor-timezone-memory-leak.patch (text/x-patch, attachment)]

[0001-Port-to-NetBSD-tzalloc.patch (text/x-patch, attachment)]

Message #24 received at 30739 <at> debbugs.gnu.org (full text, mbox):

From: Paul Eggert <eggert <at> cs.ucla.edu>
To: 30739 <at> debbugs.gnu.org
Subject: Re: Invalid timezone (tzalloc failure) treated as out-of-memory
Date: Sun, 11 Mar 2018 00:34:13 -0800

Please ignore my previous message to 30739 <at> debbugs.gnu.org, which was intended 
for a different bug report.

Message #27 received at 30739 <at> debbugs.gnu.org (full text, mbox):

From: ludo <at> gnu.org (Ludovic Courtès)
To: Danny Milosavljevic <dannym <at> scratchpost.org>
Cc: 30739 <at> debbugs.gnu.org
Subject: Re: [bug#30739] [PATCH 1/3] gnu: Add python2-langkit.
Date: Mon, 12 Mar 2018 15:33:32 +0100

Hi Danny,

Danny Milosavljevic <dannym <at> scratchpost.org> skribis:

> * gnu/packages/adacore.scm: New file.

Reminds me of one of these discussions we had while wandering in
Brussels.  :-)

Should it be simply ada.scm, given that “AdaCore” is the name of the
company?

> --- /dev/null
> +++ b/gnu/packages/adacore.scm
> @@ -0,0 +1,43 @@
> +(define-module (gnu packages adacore)

Please add a copyright header.

If ‘guix lint’ is happy, go ahead!

Ludo’.

Message #30 received at 30739 <at> debbugs.gnu.org (full text, mbox):

From: ludo <at> gnu.org (Ludovic Courtès)
To: Danny Milosavljevic <dannym <at> scratchpost.org>
Cc: 30739 <at> debbugs.gnu.org
Subject: Re: [bug#30739] [PATCH 2/3] gnu: Add python2-quex.
Date: Mon, 12 Mar 2018 15:35:01 +0100

Danny Milosavljevic <dannym <at> scratchpost.org> skribis:

> * gnu/packages/adacore.scm (python2-quex): New variable.
> (python2-quex-0.67.3): New variable.

[...]

> +;; Note: non-Ada
> +(define-public python2-quex-0.67.3

Move to python.scm?

Also please add a comment saying with the old version is kept around.

> +       (uri (string-append "https://sourceforge.net/projects/quex/files/HISTORY/0.67/quex-" version ".zip/download"))

Rather mirror://sourceforge and a shorter line.

> +       (uri (string-append "https://sourceforge.net/projects/quex/files/DOWNLOAD/quex-" version ".tar.gz/download"))

Ditto.

OK with these changes!

Ludo’.

Message #33 received at 30739 <at> debbugs.gnu.org (full text, mbox):

From: ludo <at> gnu.org (Ludovic Courtès)
To: Danny Milosavljevic <dannym <at> scratchpost.org>
Cc: 30739 <at> debbugs.gnu.org
Subject: Re: [bug#30739] [PATCH 3/3] gnu: Add python2-libadalang.
Date: Mon, 12 Mar 2018 15:35:25 +0100

Danny Milosavljevic <dannym <at> scratchpost.org> skribis:

> * gnu/packages/adacore.scm (python2-libadalang): New variable.

LGTM, thanks!

Message #36 received at 30739 <at> debbugs.gnu.org (full text, mbox):

From: Danny Milosavljevic <dannym <at> scratchpost.org>
To: ludo <at> gnu.org (Ludovic Courtès)
Cc: 30739 <at> debbugs.gnu.org
Subject: Re: [bug#30739] [PATCH 1/3] gnu: Add python2-langkit.
Date: Tue, 13 Mar 2018 20:57:43 +0100

[Message part 1 (text/plain, inline)]

On Mon, 12 Mar 2018 15:33:32 +0100
ludo <at> gnu.org (Ludovic Courtès) wrote:

> Reminds me of one of these discussions we had while wandering in
> Brussels.  :-)

Hehe yep :D

> Should it be simply ada.scm, given that “AdaCore” is the name of the
> company?

Sure.

I've applied this one to master.

[Message part 2 (application/pgp-signature, inline)]

Message #39 received at 30739 <at> debbugs.gnu.org (full text, mbox):

From: Danny Milosavljevic <dannym <at> scratchpost.org>
To: ludo <at> gnu.org (Ludovic Courtès)
Cc: 30739 <at> debbugs.gnu.org
Subject: Re: [bug#30739] [PATCH 2/3] gnu: Add python2-quex.
Date: Tue, 13 Mar 2018 20:58:37 +0100

[Message part 1 (text/plain, inline)]

Hi Ludo,

> > +;; Note: non-Ada
> > +(define-public python2-quex-0.67.3  
> 
> Move to python.scm?

Sure.

> > +       (uri (string-append "https://sourceforge.net/projects/quex/files/HISTORY/0.67/quex-" version ".zip/download"))  
> 
> Rather mirror://sourceforge and a shorter line.

I tried, but how does the mirror://sourceforge look like? Can't get it to work in this case...

[Message part 2 (application/pgp-signature, inline)]

Message #42 received at 30739 <at> debbugs.gnu.org (full text, mbox):

From: ludo <at> gnu.org (Ludovic Courtès)
To: Danny Milosavljevic <dannym <at> scratchpost.org>
Cc: 30739 <at> debbugs.gnu.org
Subject: Re: [bug#30739] [PATCH 2/3] gnu: Add python2-quex.
Date: Tue, 13 Mar 2018 22:09:43 +0100

Danny Milosavljevic <dannym <at> scratchpost.org> skribis:

>> > +       (uri (string-append "https://sourceforge.net/projects/quex/files/HISTORY/0.67/quex-" version ".zip/download"))  
>> 
>> Rather mirror://sourceforge and a shorter line.
>
> I tried, but how does the mirror://sourceforge look like? Can't get it to work in this case...

Yeah it always takes me some trial and error to find the right scheme.
It should be along the lines of
“mirror://sourceforge/quex/HISTORY/0.67/quex-0.6.7.zip” but I can’t get
it right.

At worst it’s OK to keep the above URL.

Ludo’.

Message #45 received at 30739 <at> debbugs.gnu.org (full text, mbox):

From: Danny Milosavljevic <dannym <at> scratchpost.org>
To: ludo <at> gnu.org (Ludovic Courtès)
Cc: 30739 <at> debbugs.gnu.org
Subject: Re: [bug#30739] [PATCH 2/3] gnu: Add python2-quex.
Date: Tue, 13 Mar 2018 22:29:32 +0100

[Message part 1 (text/plain, inline)]

I found it now by manually downloading it from the sourceforge site and waiting until it redirects me.

mirror://sourceforge/quex/HISTORY/0.67/quex-0.67.3.zip

Not so bad, but yeah, takes some tries.

[Message part 2 (application/pgp-signature, inline)]

Message #48 received at 30739 <at> debbugs.gnu.org (full text, mbox):

From: ludo <at> gnu.org (Ludovic Courtès)
To: Danny Milosavljevic <dannym <at> scratchpost.org>
Cc: 30739 <at> debbugs.gnu.org
Subject: Re: [bug#30739] [PATCH 2/3] gnu: Add python2-quex.
Date: Fri, 16 Mar 2018 12:03:29 +0100

Danny Milosavljevic <dannym <at> scratchpost.org> skribis:

> I found it now by manually downloading it from the sourceforge site and waiting until it redirects me.
>
> mirror://sourceforge/quex/HISTORY/0.67/quex-0.67.3.zip
>
> Not so bad, but yeah, takes some tries.

Indeed.  Congrats anyway!  :-)

Ludo’.

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.