[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[bug#30739] [PATCH 3/3] gnu: Add python2-libadalang.
From: |
Danny Milosavljevic |
Subject: |
[bug#30739] [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
- [bug#30739] [PATCH 0/3] Add Ada parsers., Danny Milosavljevic, 2018/03/06
- [bug#30739] [PATCH 1/3] gnu: Add python2-langkit., Danny Milosavljevic, 2018/03/06
- [bug#30739] [PATCH 2/3] gnu: Add python2-quex., Danny Milosavljevic, 2018/03/06
- [bug#30739] [PATCH 2/3] gnu: Add python2-quex., Ludovic Courtès, 2018/03/12
- [bug#30739] [PATCH 2/3] gnu: Add python2-quex., Danny Milosavljevic, 2018/03/13
- [bug#30739] [PATCH 2/3] gnu: Add python2-quex., Ludovic Courtès, 2018/03/13
- [bug#30739] [PATCH 2/3] gnu: Add python2-quex., Danny Milosavljevic, 2018/03/13
- [bug#30739] [PATCH 2/3] gnu: Add python2-quex., Ludovic Courtès, 2018/03/16
[bug#30739] [PATCH 3/3] gnu: Add python2-libadalang.,
Danny Milosavljevic <=
[bug#30739] [PATCH 1/3] gnu: Add python2-langkit., Ludovic Courtès, 2018/03/12
[bug#30739] Invalid timezone (tzalloc failure) treated as out-of-memory, Paul Eggert, 2018/03/11
bug#30739: Invalid timezone (tzalloc failure) treated as out-of-memory, Paul Eggert, 2018/03/11