git.iko.soy/Idris-dev
on master help sign in
Fix separate compilation
c6fe987Niklas Larsson
rts/idris_gmp.h+2
compare with master
unifiedsplit
@@ -7,6 +7,8 @@
7#include "mini-gmp.h"
7#include "mini-gmp.h"
8#endif
8#endif
9
9
10+#include "idris_rts.h"
11+
10// Set memory allocation functions
12// Set memory allocation functions
11void init_gmpalloc(void);
13void init_gmpalloc(void);
12
14
rts/idris_main.c+1
@@ -3,6 +3,7 @@
3#include "idris_rts.h"
3#include "idris_rts.h"
4#include "idris_stats.h"
4#include "idris_stats.h"
5
5
6+void _idris__123_runMain_95_0_125_(VM* vm, VAL* oldbase);
6#if defined(WIN32) || defined(__WIN32) || defined(__WIN32__)
7#if defined(WIN32) || defined(__WIN32) || defined(__WIN32__)
7#include <Windows.h>
8#include <Windows.h>
8int win32_get_argv_utf8(int *argc_ptr, char ***argv_ptr)
9int win32_get_argv_utf8(int *argc_ptr, char ***argv_ptr)