aboutsummaryrefslogtreecommitdiffstats
path: root/python/servo/package_commands.py
diff options
context:
space:
mode:
authorImanol Fernandez <mortimergoro@gmail.com>2017-05-23 10:26:37 +0200
committerImanol Fernandez <mortimergoro@gmail.com>2017-05-31 22:31:26 +0200
commit04fb628d20168b903f3554dbf8dc394e217b6119 (patch)
tree4d58b1c8c0d636fb2930b4b7879e8ebfd60fbb53 /python/servo/package_commands.py
parent1b9cc2de3418f6dbe27102d02ac4d4fadb6cc643 (diff)
downloadservo-04fb628d20168b903f3554dbf8dc394e217b6119.tar.gz
servo-04fb628d20168b903f3554dbf8dc394e217b6119.zip
Make armv7-linux-androideabi default target on Android
Diffstat (limited to 'python/servo/package_commands.py')
-rw-r--r--python/servo/package_commands.py20
1 files changed, 18 insertions, 2 deletions
diff --git a/python/servo/package_commands.py b/python/servo/package_commands.py
index d7ae4567b38..6debb8a26fb 100644
--- a/python/servo/package_commands.py
+++ b/python/servo/package_commands.py
@@ -175,10 +175,18 @@ class PackageCommands(CommandBase):
default=None,
action='store_true',
help='Package Android')
- def package(self, release=False, dev=False, android=None, debug=False, debugger=None):
+ @CommandArgument('--target', '-t',
+ default=None,
+ help='Package for given target platform')
+ def package(self, release=False, dev=False, android=None, debug=False, debugger=None, target=None):
env = self.build_env()
if android is None:
android = self.config["build"]["android"]
+ if target and android:
+ print("Please specify either --target or --android.")
+ sys.exit(1)
+ if not android:
+ android = self.handle_android_target(target)
binary_path = self.get_binary_path(release, dev, android=android)
dir_to_root = self.get_top_dir()
target_dir = path.dirname(binary_path)
@@ -384,7 +392,15 @@ class PackageCommands(CommandBase):
@CommandArgument('--android',
action='store_true',
help='Install on Android')
- def install(self, release=False, dev=False, android=False):
+ @CommandArgument('--target', '-t',
+ default=None,
+ help='Install the given target platform')
+ def install(self, release=False, dev=False, android=False, target=None):
+ if target and android:
+ print("Please specify either --target or --android.")
+ sys.exit(1)
+ if not android:
+ android = self.handle_android_target(target)
try:
binary_path = self.get_binary_path(release, dev, android=android)
except BuildNotFound: