# 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 +#include +#include +#include +#include +#include + + +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 -#include -#include -#include -#include -#include - - -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