check_size.sh

#!/bin/bash

# This file is part of Espruino, a JavaScript interpreter for Microcontrollers
#
# Copyright (C) 2013 Gordon Williams <gw@pur3.co.uk>
#
# This Source Code Form is subject to the terms of the Mozilla Public
# License, v. 2.0. If a copy of the MPL was not distributed with this
# file, You can obtain one at http://mozilla.org/MPL/2.0/.
#
# -----------------------------------------------------------------------------
# Check that the size of the binary is within limits
# -----------------------------------------------------------------------------

cd `dirname $0`
cd ..

if [ "$#" -ne 1 ]; then
  echo "Usage:"
  echo "  scripts/check_size.sh firmware.bin"
  exit 255
fi

FILE=$1
echo "Checking size of $FILE"
# if [[ ! -v GENDIR ]]; then 
if [[ -z $GENDIR ]]; then
  echo "GENDIR not set, assuming 'gen'";
  GENDIR=gen
fi

# just a random check...
MAXSIZE=`grep FLASH_AVAILABLE_FOR_CODE $GENDIR/platform_config.h | sed "s/[^0-9]*\([0-9][0-9]*\).*/\1/"`

ACTUALSIZE=$(wc -c < "$FILE")

if [ $ACTUALSIZE -gt $MAXSIZE ]; then
    echo FAIL - size of $ACTUALSIZE is over $MAXSIZE bytes
    exit 1
else
    echo PASS - size of $ACTUALSIZE is under $MAXSIZE bytes
    exit 0
fi