Admin/lib/Tools/makedist_bundles
changeset 50812 eb38dfcf834a
parent 50810 76967aa4fe84
child 50831 7784cc660580
equal deleted inserted replaced
50811:d02b9918e4d4 50812:eb38dfcf834a
    58 
    58 
    59 mkdir -p "$ARCHIVE_DIR/contrib"
    59 mkdir -p "$ARCHIVE_DIR/contrib"
    60 
    60 
    61 echo "#bundled components" >> "$ISABELLE_TARGET/etc/components"
    61 echo "#bundled components" >> "$ISABELLE_TARGET/etc/components"
    62 
    62 
    63 for CATALOG in main bundled "$PLATFORM_FAMILY"
    63 for CATALOG in main "$PLATFORM_FAMILY" bundled "bundled-$PLATFORM_FAMILY"
    64 do
    64 do
    65   CATALOG_FILE="$ISABELLE_HOME/Admin/components/$CATALOG"
    65   CATALOG_FILE="$ISABELLE_HOME/Admin/components/$CATALOG"
    66   if [ -f "$CATALOG_FILE" ]
    66   if [ -f "$CATALOG_FILE" ]
    67   then
    67   then
    68     echo "catalog ${CATALOG}"
    68     echo "catalog ${CATALOG}"
   115     OTHER_PLATFORMS='-name "x86*-linux" -o -name "x86*-darwin"'
   115     OTHER_PLATFORMS='-name "x86*-linux" -o -name "x86*-darwin"'
   116 
   116 
   117     perl -pi -e "s,lookAndFeel=.*,lookAndFeel=com.sun.java.swing.plaf.windows.WindowsLookAndFeel,g;" \
   117     perl -pi -e "s,lookAndFeel=.*,lookAndFeel=com.sun.java.swing.plaf.windows.WindowsLookAndFeel,g;" \
   118       "$TMP/$ISABELLE_NAME/src/Tools/jEdit/dist/properties/jEdit.props"
   118       "$TMP/$ISABELLE_NAME/src/Tools/jEdit/dist/properties/jEdit.props"
   119 
   119 
   120     # FIXME cygwin.tar.gz
   120     mv "$ISABELLE_TARGET/contrib/cygwin" "$ISABELLE_TARGET"
   121 
   121 
   122     cp "$ISABELLE_HOME/Admin/Windows/launch4j/Isabelle.exe" "$ISABELLE_TARGET/Isabelle2013.exe"
   122     cp "$ISABELLE_HOME/Admin/Windows/launch4j/Isabelle.exe" "$ISABELLE_TARGET/Isabelle2013.exe"
   123     cp "$ISABELLE_HOME/Admin/Windows/Cygwin/Cygwin-Setup.bat" \
   123     cp "$ISABELLE_HOME/Admin/Windows/Cygwin/Cygwin-Setup.bat" \
   124       "$ISABELLE_HOME/Admin/Windows/Cygwin/Cygwin-Terminal.bat" "$ISABELLE_TARGET"
   124       "$ISABELLE_HOME/Admin/Windows/Cygwin/Cygwin-Terminal.bat" "$ISABELLE_TARGET"
   125 
   125