build_bios.sh

   1 #!/bin/bash
   2
   3 BASEDIR=`pwd`
   4 LOGFILEHOST=$BASEDIR/tools.log
   5 LOGFILE=$BASEDIR/software.log
   6
   7 echo "================================================================================"
   8 echo "Building Milkymist BIOS image"
   9 echo ""
  10 echo "Log file (host):   $LOGFILEHOST"
  11 echo "Log file (target): $LOGFILE"
  12 echo "================================================================================"
  13 echo ""
  14
  15 echo -n "Building host utilities..."
  16 cd $BASEDIR/tools
  17 echo >> $LOGFILEHOST
  18 date >> $LOGFILEHOST
  19 make >> $LOGFILEHOST 2>&1
  20 if [ "$?" != 0 ] ; then
  21         echo "FAILED"
  22         exit 1
  23 else
  24         echo "OK"
  25 fi
  26
  27 echo "Building embedded software :"
  28 echo -n "  HPDMC runtime..."
  29 echo >> $LOGFILE
  30 date >> $LOGFILE
  31 cd $BASEDIR/software/libhpdmc && make >> $LOGFILE 2>&1
  32 if [ "$?" != 0 ] ; then
  33         echo "FAILED"
  34         exit 1
  35 else
  36         echo "OK"
  37 fi
  38 echo -n "  Base library..."
  39 echo >> $LOGFILE
  40 date >> $LOGFILE
  41 cd $BASEDIR/software/libbase && make >> $LOGFILE 2>&1
  42 if [ "$?" != 0 ] ; then
  43         echo "FAILED"
  44         exit 1
  45 else
  46         echo "OK"
  47 fi
  48 echo -n "  Networking library..."
  49 cd $BASEDIR/software/libnet && make >> $LOGFILE 2>&1
  50 if [ "$?" != 0 ] ; then
  51         echo "FAILED"
  52         exit 1
  53 else
  54         echo "OK"
  55 fi
  56 echo -n "  BIOS..."
  57 cd $BASEDIR/software/bios && make >> $LOGFILE 2>&1
  58 if [ "$?" != 0 ] ; then
  59         echo "FAILED"
  60         exit 1
  61 else
  62         echo "OK"
  63 fi
  64
  65 cd $BASEDIR
  66
  67 echo "Build complete!"