Admin/Release/build
changeset 51064 9c425ed4a52c
parent 50899 506ff6abfde0
child 56902 f901a08c5653
     1.1 --- a/Admin/Release/build	Sat Jan 26 20:36:26 2013 +0100
     1.2 +++ b/Admin/Release/build	Mon Jan 28 12:25:29 2013 +0100
     1.3 @@ -100,8 +100,17 @@
     1.4  
     1.5  DISTBASE="$BASE_DIR/dist-${DISTNAME}"
     1.6  
     1.7 -"$ISABELLE_TOOL" makedist_bundles "$DISTBASE/${DISTNAME}.tar.gz"
     1.8 +
     1.9 +for PLATFORM_FAMILY in linux macos windows
    1.10 +do
    1.11 +
    1.12 +echo
    1.13 +echo "*** $PLATFORM_FAMILY ***"
    1.14 +
    1.15 +"$ISABELLE_TOOL" makedist_bundle "$DISTBASE/${DISTNAME}.tar.gz" "$PLATFORM_FAMILY"
    1.16  [ "$?" = 0 ] || exit "$?"
    1.17  
    1.18 +done
    1.19 +
    1.20  "$THIS/build_library" $JOBS "$DISTBASE/${DISTNAME}_${ISABELLE_PLATFORM_FAMILY}.tar.gz"
    1.21