From 6d0aa0e09c44d59d475d183255982b1edc3d6438 Mon Sep 17 00:00:00 2001
From: William Casarin <jb55@jb55.com>
Date: Thu, 6 Jul 2023 19:36:01 -0700
Subject: [PATCH] nix: use_android flag

---
 shell.nix | 12 ++++++------
 1 file changed, 6 insertions(+), 6 deletions(-)

diff --git a/shell.nix b/shell.nix
index 74f8a999..66ff6d29 100644
--- a/shell.nix
+++ b/shell.nix
@@ -16,6 +16,7 @@ let
   androidsdk = androidComposition.androidsdk;
   android-home = "${androidsdk}/libexec/android-sdk";
   ndk-home = "${android-home}/ndk/${ndk-version}";
+  use_android = true;
 in
 
 mkShell {
@@ -25,11 +26,10 @@ mkShell {
 
     heaptrack
 
-    # android
-    #jre openssl libiconv androidsdk
-  ];
+  ] ++ pkgs.lib.optional use_android [ jre openssl libiconv androidsdk ] ;
 
-  #ANDROID_HOME = android-home;
-  #NDK_HOME = ndk-home;
   LD_LIBRARY_PATH="${x11libs}";
-}
+} // (if !use_android then {} else {
+  ANDROID_HOME = android-home;
+  NDK_HOME = ndk-home;
+})