# HG changeset patch
# User wenzelm
# Date 1611693232 -3600
# Node ID e7437085e58970f7e9fe3acb9d5e8942d0122a86
# Parent  6823dddf9cf1df1562ead49d1826f07f43df4e1f
more generic Isabelle_app;

diff -r 6823dddf9cf1 -r e7437085e589 Admin/Isabelle_app/Isabelle.c
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/Admin/Isabelle_app/Isabelle.c	Tue Jan 26 21:33:52 2021 +0100
@@ -0,0 +1,45 @@
+/*  Author:     Makarius
+
+Main Isabelle application executable.
+*/
+
+#include <stdlib.h>
+#include <stdio.h>
+#include <string.h>
+#include <sys/types.h>
+#include <unistd.h>
+#include <libgen.h>
+
+
+static void fail(const char *msg)
+{
+  fprintf(stderr, "%s\n", msg);
+  exit(2);
+}
+
+
+int main(int argc, char *argv[])
+{
+  char **cmd_line = NULL, *cmd = NULL, *dcmd = NULL, *dname = NULL;
+  int i = 0;
+
+  dcmd = strdup(argv[0]);
+  if (dcmd == NULL) fail("Failed to allocate memory");
+
+  dname = dirname(dcmd);
+
+  cmd_line = malloc(sizeof(char *) * (argc + 1));
+  if (cmd_line == NULL) fail("Failed to allocate memory");
+
+  cmd = malloc(strlen(dname) + strlen("/lib/scripts/Isabelle_app") + 1);
+  if (cmd == NULL) fail("Failed to allocate memory");
+  sprintf(cmd, "%s/lib/scripts/Isabelle_app", dname);
+
+  cmd_line[0] = cmd;
+  for (i = 1; i < argc; i++) cmd_line[i] = argv[i];
+  cmd_line[argc] = NULL;
+
+  execvp(cmd, cmd_line);
+  fprintf(stderr, "Failed to execute application script \"%s\"\n", cmd);
+  exit(2);
+}
diff -r 6823dddf9cf1 -r e7437085e589 Admin/Isabelle_app/build
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/Admin/Isabelle_app/build	Tue Jan 26 21:33:52 2021 +0100
@@ -0,0 +1,15 @@
+#!/usr/bin/env bash
+
+set -e
+
+THIS="$(cd "$(dirname "$0")"; pwd)"
+cd "$THIS"
+
+source "../../lib/scripts/isabelle-platform"
+
+PLATFORM="${ISABELLE_APPLE_PLATFORM64:-$ISABELLE_PLATFORM64}"
+mkdir -p "$PLATFORM"
+
+EXE="$PLATFORM/Isabelle"
+gcc -Wall Isabelle.c -o "$EXE"
+echo "$EXE"
diff -r 6823dddf9cf1 -r e7437085e589 Admin/Linux/Isabelle.c
--- a/Admin/Linux/Isabelle.c	Tue Jan 26 20:16:56 2021 +0100
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,45 +0,0 @@
-/*  Author:     Makarius
-
-Main Isabelle application executable.
-*/
-
-#include <stdlib.h>
-#include <stdio.h>
-#include <string.h>
-#include <sys/types.h>
-#include <unistd.h>
-#include <libgen.h>
-
-
-static void fail(const char *msg)
-{
-  fprintf(stderr, "%s\n", msg);
-  exit(2);
-}
-
-
-int main(int argc, char *argv[])
-{
-  char **cmd_line = NULL, *cmd = NULL, *dcmd = NULL, *dname = NULL;
-  int i = 0;
-
-  dcmd = strdup(argv[0]);
-  if (dcmd == NULL) fail("Failed to allocate memory");
-
-  dname = dirname(dcmd);
-
-  cmd_line = malloc(sizeof(char *) * (argc + 1));
-  if (cmd_line == NULL) fail("Failed to allocate memory");
-
-  cmd = malloc(strlen(dname) + strlen("/lib/scripts/Isabelle_app") + 1);
-  if (cmd == NULL) fail("Failed to allocate memory");
-  sprintf(cmd, "%s/lib/scripts/Isabelle_app", dname);
-
-  cmd_line[0] = cmd;
-  for (i = 1; i < argc; i++) cmd_line[i] = argv[i];
-  cmd_line[argc] = NULL;
-
-  execvp(cmd, cmd_line);
-  fprintf(stderr, "Failed to execute application script \"%s\"\n", cmd);
-  exit(2);
-}
diff -r 6823dddf9cf1 -r e7437085e589 Admin/Linux/build
--- a/Admin/Linux/build	Tue Jan 26 20:16:56 2021 +0100
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,3 +0,0 @@
-#!/usr/bin/env bash
-
-gcc -m64 -Wall Isabelle.c -o Isabelle
diff -r 6823dddf9cf1 -r e7437085e589 Admin/components/components.sha1
--- a/Admin/components/components.sha1	Tue Jan 26 20:16:56 2021 +0100
+++ b/Admin/components/components.sha1	Tue Jan 26 21:33:52 2021 +0100
@@ -1,6 +1,7 @@
 59a71e08c34ff01f3f5c4af00db5e16369527eb7  Haskabelle-2013.tar.gz
 23a96ff4951d72f4024b6e8843262eda988bc151  Haskabelle-2014.tar.gz
 eccff31931fb128c1dd522cfc85495c9b66e67af  Haskabelle-2015.tar.gz
+ed740867925dcf58692c8d3e350c28e3b4d4a60f  Isabelle_app-20210126.tar.gz
 8ee375cfc38972f080dbc78f07b68dac03efe968  ProofGeneral-3.7.1.1.tar.gz
 847b52c0676b5eb0fbf0476f64fc08c2d72afd0c  ProofGeneral-4.1.tar.gz
 8e0b2b432755ef11d964e20637d1bc567d1c0477  ProofGeneral-4.2-1.tar.gz