From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from eggs.gnu.org ([2001:4830:134:3::10]:58417) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1etNWx-0002ZI-4c for guix-patches@gnu.org; Tue, 06 Mar 2018 20:06:08 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1etNWt-0005qf-4e for guix-patches@gnu.org; Tue, 06 Mar 2018 20:06:07 -0500 Received: from debbugs.gnu.org ([208.118.235.43]:40385) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1etNWs-0005qX-Vl for guix-patches@gnu.org; Tue, 06 Mar 2018 20:06:03 -0500 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1etNWs-0003qP-Lm for guix-patches@gnu.org; Tue, 06 Mar 2018 20:06:02 -0500 Subject: [bug#30739] [PATCH 3/3] gnu: Add python2-libadalang. Resent-Message-ID: From: Danny Milosavljevic Date: Wed, 7 Mar 2018 02:05:45 +0100 Message-Id: <20180307010545.31530-3-dannym@scratchpost.org> In-Reply-To: <20180307010545.31530-1-dannym@scratchpost.org> References: <20180307002657.31473-1-dannym@scratchpost.org> <20180307010545.31530-1-dannym@scratchpost.org> List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-patches-bounces+kyle=kyleam.com@gnu.org Sender: "Guix-patches" To: 30739@debbugs.gnu.org * 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