# HG changeset patch
# User wenzelm
# Date 1381177148 -7200
# Node ID 782e430e6a83f89b1a9966b28c3d0e0ad883340d
# Parent  8f7061babae4721db469152c4ffaa5aa6524cf26
native executable for Linux (see Admin/Linux);

diff -r 8f7061babae4 -r 782e430e6a83 Admin/components/bundled-linux
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/Admin/components/bundled-linux	Mon Oct 07 22:19:08 2013 +0200
@@ -0,0 +1,2 @@
+#additional components to be bundled for release
+linux_app-20131007
diff -r 8f7061babae4 -r 782e430e6a83 Admin/components/components.sha1
--- a/Admin/components/components.sha1	Mon Oct 07 22:02:46 2013 +0200
+++ b/Admin/components/components.sha1	Mon Oct 07 22:19:08 2013 +0200
@@ -42,6 +42,7 @@
 8122526f1fc362ddae1a328bdbc2152853186fee  jfreechart-1.0.14.tar.gz
 6c737137cc597fc920943783382e928ea79e3feb  kodkodi-1.2.16.tar.gz
 5f95c96bb99927f3a026050f85bd056f37a9189e  kodkodi-1.5.2.tar.gz
+377e36efb8608e6c828c7718d890e97fde2006a4  linux_app-20131007.tar.gz
 0aab4f73ff7f5e36f33276547e10897e1e56fb1d  macos_app-20130716.tar.gz
 1c8cb6a8f4cbeaedce2d6d1ba8fc7e2ab3663aeb  polyml-5.4.1.tar.gz
 a3f9c159a0ee9a63b7a5d0c835ed9c2c908f8b56  polyml-5.5.0-1.tar.gz
diff -r 8f7061babae4 -r 782e430e6a83 Admin/lib/Tools/makedist_bundle
--- a/Admin/lib/Tools/makedist_bundle	Mon Oct 07 22:02:46 2013 +0200
+++ b/Admin/lib/Tools/makedist_bundle	Mon Oct 07 22:19:08 2013 +0200
@@ -160,10 +160,13 @@
         LINUX_CLASSPATH="$LINUX_CLASSPATH:\\\$ISABELLE_HOME/$ENTRY"
       fi
     done
-    cat "$ISABELLE_HOME/Admin/Linux/Isabelle" | \
-      perl -p > "$ISABELLE_TARGET/$ISABELLE_NAME" \
+    cat "$ISABELLE_HOME/Admin/Linux/Isabelle.run" | \
+      perl -p > "$ISABELLE_TARGET/${ISABELLE_NAME}.run" \
         -e "s,{JAVA_ARGS},$JEDIT_JAVA_OPTIONS $JEDIT_SYSTEM_OPTIONS,g; s,{CLASSPATH},$LINUX_CLASSPATH,;"
-    chmod +x "$ISABELLE_TARGET/$ISABELLE_NAME"
+    chmod +x "$ISABELLE_TARGET/${ISABELLE_NAME}.run"
+
+    mv "$ISABELLE_TARGET/contrib/linux_app" "$TMP/."
+    cp "$TMP/linux_app/Isabelle" "$ISABELLE_TARGET/$ISABELLE_NAME"
     ;;
   macos)
     purge_contrib '-name "x86*-linux" -o -name "x86*-cygwin" -o -name "x86*-windows"'