driver/haddock/haddock.c

   1
   2 #include "cwrapper.h"
   3 #include "getLocation.h"
   4 #include <stddef.h>
   5
   6 int main(int argc, char** argv) {
   7     char *binDir;
   8     char *exePath;
   9
  10     binDir = getExecutablePath();
  11     exePath = mkString("%s/haddock.exe", binDir);
  12
  13     run(exePath, 0, NULL, argc - 1, argv + 1);
  14 }