Report forwarded
to guix-patches@gnu.org: bug#30739; Package guix-patches.
(Wed, 07 Mar 2018 00:28:02 GMT) (full text, mbox, link).
Acknowledgement sent
to Danny Milosavljevic <dannym@scratchpost.org>:
New bug report received and forwarded. Copy sent to guix-patches@gnu.org.
(Wed, 07 Mar 2018 00:28:02 GMT) (full text, mbox, link).
From: Danny Milosavljevic <dannym@scratchpost.org>
To: 30739@debbugs.gnu.org
Cc: Danny Milosavljevic <dannym@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
Reply sent
to Paul Eggert <eggert@cs.ucla.edu>:
You have taken responsibility.
(Sun, 11 Mar 2018 08:28:02 GMT) (full text, mbox, link).
Notification sent
to Danny Milosavljevic <dannym@scratchpost.org>:
bug acknowledged by developer.
(Sun, 11 Mar 2018 08:28:02 GMT) (full text, mbox, link).
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).
Did not alter fixed versions and reopened.
Request was from Debbugs Internal Request <help-debbugs@gnu.org>
to internal_control@debbugs.gnu.org.
(Sun, 11 Mar 2018 08:32:02 GMT) (full text, mbox, link).
Information forwarded
to guix-patches@gnu.org: bug#30739; Package guix-patches.
(Sun, 11 Mar 2018 08:35:01 GMT) (full text, mbox, link).
Hi Danny,
Danny Milosavljevic <dannym@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’.
Information forwarded
to guix-patches@gnu.org: bug#30739; Package guix-patches.
(Mon, 12 Mar 2018 14:36:02 GMT) (full text, mbox, link).
Danny Milosavljevic <dannym@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’.
Information forwarded
to guix-patches@gnu.org: bug#30739; Package guix-patches.
(Mon, 12 Mar 2018 14:36:02 GMT) (full text, mbox, link).
On Mon, 12 Mar 2018 15:33:32 +0100
ludo@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.
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...
Danny Milosavljevic <dannym@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’.
Information forwarded
to guix-patches@gnu.org: bug#30739; Package guix-patches.
(Tue, 13 Mar 2018 21:30:02 GMT) (full text, mbox, link).
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.
Danny Milosavljevic <dannym@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’.
Added tag(s) fixed.
Request was from ludo@gnu.org (Ludovic Courtès)
to control@debbugs.gnu.org.
(Sat, 17 Mar 2018 22:01:01 GMT) (full text, mbox, link).
bug closed, send any further explanations to
30739@debbugs.gnu.org and Danny Milosavljevic <dannym@scratchpost.org>
Request was from ludo@gnu.org (Ludovic Courtès)
to control@debbugs.gnu.org.
(Sat, 17 Mar 2018 22:01:01 GMT) (full text, mbox, link).
bug archived.
Request was from Debbugs Internal Request <help-debbugs@gnu.org>
to internal_control@debbugs.gnu.org.
(Sun, 15 Apr 2018 11:24:06 GMT) (full text, mbox, link).
Debbugs is free software and licensed under the terms of the
GNU Public License version 2. The current version can be
obtained from https://bugs.debian.org/debbugs-source/.