git.iko.soy/Idris-dev
on master help sign in
Fix separate compilation

Fixes #3866

commitc6fe987ca1c85a530bc1d0498ca104f2d74a7019 authorNiklas Larsson <niklas@mm.st> dateSun 18 Jun 2017, 13:13 (9 years ago) parent32a05ba
2 files changed+3
compare with master
unifiedsplit
rts/idris_gmp.h+2 rts/idris_main.c+1
rts/idris_gmp.h+2
@@ -7,6 +7,8 @@
77#include "mini-gmp.h"
88#endif
99
10+#include "idris_rts.h"
11+
1012// Set memory allocation functions
1113void init_gmpalloc(void);
1214
rts/idris_main.c+1
@@ -3,6 +3,7 @@
33#include "idris_rts.h"
44#include "idris_stats.h"
55
6+void _idris__123_runMain_95_0_125_(VM* vm, VAL* oldbase);
67#if defined(WIN32) || defined(__WIN32) || defined(__WIN32__)
78#include <Windows.h>
89int win32_get_argv_utf8(int *argc_ptr, char ***argv_ptr)