#!/bin/bash
#
# Make Media set for a specific target
# Copyright (c) 2006 by Silvan Calarco <silvan.calarco@qilinux.it>
#
# Usage:
# ./make_media_set.sh BRANCH MEDIA PLATFORM TARGET

. ./VERSION
. ./functions.inc.sh
. ./defs.inc.sh

[ $3 ] || {
   echo "Usage:"
   echo "./make_media_set.sh BRANCH TARGET PLATFORM"
   echo 
   exit 1
}

BRANCH=$1
TARGET=$2
PLATFORM=$3
TARGETDIR=$TOPDIR/targets/$TARGET

[ -e $TARGETDIR/settings.inc ] || {
   echo "Error: missing target settings file $TARGETDIR/settings.inc; aborting."
   echo 
   exit 1
}

. $TARGETDIR/settings.inc

[ "$DISKSLIST" ] || {
   echo "Error: no disks set defined for target, is $TARGET a distribution? Aborting."
   echo
   exit 1
}

echo "Building whole media set for distribution $TARGET"
echo
echo "   * platform  : $PLATFORM"
echo "   * codename  : $CODENAME"
echo "   * disks list: $DISKSLIST"
echo 

##make BRANCH=$BRANCH UPDATE=setup,rpms,lists PLATFORM=free MEDIA=cd1 qilinux

MAKE_EXTRA="UPDATE=setup,rpms,lists"
echo $MAKE_EXTRA

for media in $DISKSLIST; do
      make BRANCH=$BRANCH $MAKE_EXTRA MEDIA=$media PLATFORM=$PLATFORM $TARGET || {
      echo "Error executing make BRANCH=$BRANCH $MAKE_EXTRA MEDIA=$media PLATFORM=$PLATFORM $TARGET. Aborting."
      exit 1
   }
   unset MAKE_EXTRA
done