diff options
author | Ricardo Wurmus <rekado@elephly.net> | 2018-03-14 17:37:20 +0100 |
---|---|---|
committer | Ricardo Wurmus <rekado@elephly.net> | 2018-03-14 17:37:20 +0100 |
commit | 8c72ed923d77ee55989965bb02628043799b9548 (patch) | |
tree | 802e6eb910719a98fa09bf7c2bd884097f649adc /gnu/packages/ada.scm | |
parent | 189be331acfda1c242a9c85fca8d2a0356742f48 (diff) | |
parent | aac6cbbfede0bbfafdbbeeb460f00a244333895d (diff) | |
download | guix-8c72ed923d77ee55989965bb02628043799b9548.tar guix-8c72ed923d77ee55989965bb02628043799b9548.tar.gz |
Merge branch 'master' into core-updates
Diffstat (limited to 'gnu/packages/ada.scm')
-rw-r--r-- | gnu/packages/ada.scm | 61 |
1 files changed, 61 insertions, 0 deletions
diff --git a/gnu/packages/ada.scm b/gnu/packages/ada.scm new file mode 100644 index 0000000000..d6cd1e9787 --- /dev/null +++ b/gnu/packages/ada.scm @@ -0,0 +1,61 @@ +;;; GNU Guix --- Functional package management for GNU +;;; Copyright © 2018 Danny Milosavljevic <dannym@scratchpost.org> +;;; +;;; This file is part of GNU Guix. +;;; +;;; GNU Guix is free software; you can redistribute it and/or modify it +;;; under the terms of the GNU General Public License as published by +;;; the Free Software Foundation; either version 3 of the License, or (at +;;; your option) any later version. +;;; +;;; GNU Guix is distributed in the hope that it will be useful, but +;;; WITHOUT ANY WARRANTY; without even the implied warranty of +;;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the +;;; GNU General Public License for more details. +;;; +;;; You should have received a copy of the GNU General Public License +;;; along with GNU Guix. If not, see <http://www.gnu.org/licenses/>. + +(define-module (gnu packages ada) + #: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 |