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 memcpy(args + 3, argv + 1, sizeof(char *) * (argc - 1));
19 execv(GHC_PATH, args);