diff options
| author | Maxim Cournoyer <maxim.cournoyer@gmail.com> | 2021-10-01 17:10:49 -0400 |
|---|---|---|
| committer | Maxim Cournoyer <maxim.cournoyer@gmail.com> | 2021-10-01 17:10:49 -0400 |
| commit | 2e65e4834a226c570866f2e8976ed7f252b45cd1 (patch) | |
| tree | 21d625bce8d03627680214df4a6622bf8eb79dc9 /gnu/packages/ada.scm | |
| parent | 9c68ecb24dd1660ce736cdcdea0422a73ec318a2 (diff) | |
| parent | f1a3c11407b52004e523ec5de20d326c5661681f (diff) | |
Merge remote-tracking branch 'origin/master' into staging
With resolved conflicts in:
gnu/packages/bittorrent.scm
gnu/packages/databases.scm
gnu/packages/geo.scm
gnu/packages/gnupg.scm
gnu/packages/gstreamer.scm
gnu/packages/gtk.scm
gnu/packages/linux.scm
gnu/packages/python-xyz.scm
gnu/packages/xorg.scm
guix/build/qt-utils.scm
Diffstat (limited to 'gnu/packages/ada.scm')
| -rw-r--r-- | gnu/packages/ada.scm | 40 |
1 files changed, 0 insertions, 40 deletions
diff --git a/gnu/packages/ada.scm b/gnu/packages/ada.scm index d24aa2b168..240e13f3ef 100644 --- a/gnu/packages/ada.scm +++ b/gnu/packages/ada.scm @@ -177,43 +177,3 @@ 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 - -(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") - (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 |