MIDI
[mw/milkymist.git] / build_bios.sh
index e17397b..d4ff941 100755 (executable)
@@ -14,6 +14,8 @@ echo ""
 
 echo -n "Building host utilities..."
 cd $BASEDIR/tools
+echo >> $LOGFILEHOST
+date >> $LOGFILEHOST
 make >> $LOGFILEHOST 2>&1
 if [ "$?" != 0 ] ; then
         echo "FAILED"
@@ -23,7 +25,19 @@ else
 fi
 
 echo "Building embedded software :"
+echo -n "  HPDMC runtime..."
+echo >> $LOGFILE
+date >> $LOGFILE
+cd $BASEDIR/software/libhpdmc && make >> $LOGFILE 2>&1
+if [ "$?" != 0 ] ; then
+        echo "FAILED"
+       exit 1
+else
+        echo "OK"
+fi
 echo -n "  Base library..."
+echo >> $LOGFILE
+date >> $LOGFILE
 cd $BASEDIR/software/libbase && make >> $LOGFILE 2>&1
 if [ "$?" != 0 ] ; then
         echo "FAILED"
@@ -31,6 +45,14 @@ if [ "$?" != 0 ] ; then
 else
         echo "OK"
 fi
+echo -n "  Networking library..."
+cd $BASEDIR/software/libnet && make >> $LOGFILE 2>&1
+if [ "$?" != 0 ] ; then
+        echo "FAILED"
+       exit 1
+else
+        echo "OK"
+fi
 echo -n "  BIOS..."
 cd $BASEDIR/software/bios && make >> $LOGFILE 2>&1
 if [ "$?" != 0 ] ; then