driver/haddock/haddock.c


1
2
3
4
5
6
7
8
9
10
11
12
13
14


#include "cwrapper.h"
#include "getLocation.h"
#include <stddef.h>

int main(int argc, char** argv) {
    char *binDir;
    char *exePath;

    binDir = getExecutablePath();
    exePath = mkString("%s/haddock.exe", binDir);

    run(exePath, 0, NULL, argc - 1, argv + 1, NULL);
}