notedeck

commit 6d0aa0e09c44d59d475d183255982b1edc3d6438
parent 80c06e4ec44f232b67e388f3675486fe06fcf507
Author: William Casarin <jb55@jb55.com>
Date:   Thu,  6 Jul 2023 19:36:01 -0700

nix: use_android flag

Diffstat:
M
shell.nix
 | 
12
++++++------

1 file changed, 6 insertions(+), 6 deletions(-)
diff --git 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;
+})