7 int main(int argc, char **argv) {
9 args = malloc(sizeof(char *) * (argc + 3));
11 fprintf(stderr, "Malloc failed\n");
15 args[1] = "-B" TOP_ABS;
16 args[2] = "-fhardwire-lib-paths";
17 if ((argc >= 2) && (strcmp(argv[1], "-v") == 0)) {
18 printf("Using %s %s %s\n", args[0], args[1], args[2]);
20 memcpy(args + 3, argv + 1, sizeof(char *) * (argc - 1));
22 execv(GHC_PATH, args);