Subject: bug#42734: closed (Re: [bug#42734] [PATCH 1/2] gnu: android: Export android-platform-version.)

From: [email-masked] (GNU bug Tracking System)
Date: Fri, 07 Aug 2020 08:25:02 +0000

Your bug report

#42734: Export android-platform-system-core

which was filed against the guix-patches package, has been closed.

The explanation is attached below, along with your original report.
If you require more details, please reply to [email-masked].

-- 
42734: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=42734
GNU Bug Tracking System
Contact [email-masked] with problems

Subject: Re: [bug#42734] [PATCH 1/2] gnu: android: Export android-platform-version.
From: Mathieu Othacehe <[email-masked]>
To: Denis 'GNUtoo' Carikli <[email-masked]>
Cc: [email-masked]
Date: Fri, 07 Aug 2020 10:24:34 +0200
List-Id: <debbugs-submit.debbugs.gnu.org>

Hello Denis,

>  ;; The version tag is consistent between all repositories.
> -(define (android-platform-version) "7.1.2_r36")
> +(define-public (android-platform-version) "7.1.2_r36")

We could turn this procedure into a variable.

Anyway, pushed those two patches,

Thanks,

Mathieu

Subject: Export android-platform-system-core
From: Denis 'GNUtoo' Carikli <[email-masked]>
To: [email-masked]
Date: Fri, 7 Aug 2020 02:44:23 +0200
List-Id: <debbugs-submit.debbugs.gnu.org>

Hi,

Here are two patches to export android-platform-system-core.

This way it can be used as a dependency like that:
> (native-inputs
> `(("android-core" ,(android-platform-system-core
>                    (android-platform-version)))))

Denis.