Admin/Linux/Isabelle.c
author wenzelm
Mon, 23 Dec 2019 15:24:14 +0100
changeset 71547 373dcdd363dc
parent 54314 8f7061babae4
child 71572 ce3409dfb18c
permissions -rw-r--r--
updated linux_app-20191223: x86_64-linux; clarified location of lib/scripts/Isabelle.run;

/*  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, *bcmd = NULL, *dname = NULL, *bname = NULL;
  int i = 0;

  dcmd = strdup(argv[0]); dname = dirname(dcmd);
  bcmd = strdup(argv[0]); bname = basename(bcmd);

  cmd_line = malloc(sizeof(char *) * (argc + 1));
  if (cmd_line == NULL) fail("Failed to allocate command line");

  cmd = cmd_line[0];
  cmd = malloc(strlen(dname) + strlen(bname) + strlen("/lib/scripts/.run") + 1);
  if (cmd == NULL) fail("Failed to allocate command name");
  sprintf(cmd, "%s/lib/scripts/%s.run", dname, bname);

  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);
}