Add a versions haddock binary for Windows

1 files changed, 14 insertions, 0 deletions

diff --git a/driver/haddock/haddock.c b/driver/haddock/haddock.c
new file mode 100644
index 0000000000..e43d33f046
--- /dev/null
+++ b/driver/haddock/haddock.c
@@ -0,0 +1,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);
+}