Validator_ragel: move checkdecoder test from Makefile to scons

src/trusted/validator_ragel/obtain_binutils.py

+#!/usr/bin/python
+
+"""
+Usage:
+    %s <objdump> <gas>
+
+Check out appropriate version of binutils, compile it and
+copy objdump and gas binaries to specified places.
+"""
+
+import sys
+import os
+import shutil
+
+CHECKOUT_DIR = '/dev/shm/binutils'
+
+BINUTILS_REPO = 'http://git.chromium.org/native_client/nacl-binutils.git'
+BINUTILS_REVISION = '6993545d5650fa77e75e9ae4b52c5703a53c53cc'
+
+# We need specific revision of binutils, and it have to include the
+# following patches:
+#   Add prefetch_modified - non-canonical encoding of prefetch
+#
+#   Add lfence/mfence/sfence - non-canonical encodings.

[khim, 2012/08/08 13:40:24]

After lond discussion we decided that this is not needed and it's not actually
supported by the objdump release 6993545d5650fa77e75e9ae4b52c5703a53c53cc

[Vlad Shcherbina, 2012/08/08 13:46:52]

Done.

+#
+#   Properly handle data16+rex.w instructions, such as
+#   66 48 68 01 02 03 04 data32 pushq $0x4030201
+#
+# We are not using head revision because decoder test depends
+# on precise format of objdump output.
+
+
+def Command(cmd):
+  result = os.system(cmd)
+  if result != 0:
+    print 'Command "%s" returned %s' % (cmd, result)
+    exit(result)
+
+
+def main():
+  if len(sys.argv) != 3:
+    print __doc__ % os.path.split(__file__)[1]
+    exit(1)
+
+  if os.path.exists(CHECKOUT_DIR):
+    shutil.rmtree(CHECKOUT_DIR)
+
+  Command('git clone %s %s' % (BINUTILS_REPO, CHECKOUT_DIR))
+
+  old_dir = os.getcwd()
+  try:
+    os.chdir(CHECKOUT_DIR)
+    Command('git checkout %s' % BINUTILS_REVISION)
+
+    # to please make, set the same modification time
+    # for all files
+    Command('find . -print0 | xargs -0 touch -r .')
+
+    # they both are required to make binutils,
+    # and when they are missing binutils's make
+    # error messages are cryptic
+    Command('flex --version')
+    Command('bison --version')
+
+    Command('./configure')
+    Command('make')
+  finally:
+    os.chdir(old_dir)
+
+  objdump, gas = sys.argv[1:]
+  shutil.copy(os.path.join(CHECKOUT_DIR, 'binutils', 'objdump'), objdump)
+  shutil.copy(os.path.join(CHECKOUT_DIR, 'gas', 'as-new'), gas)
+
+  shutil.rmtree(CHECKOUT_DIR)
+
+  print 'ok'
+
+
+if __name__ == '__main__':
+  main()