Make sure mpz_t is defined
commit556d9fbee678852bd69f3b8a1a3efc660e52171a
authorMarkus Pfeiffer <markusp@mcs.st-andrews.ac.uk>
dateFri 22 Nov 2013, 16:09 (13 years ago)
parent8a2804d
rts/idris_gmp.h+2
@@ -1,6 +1,8 @@
11#ifndef _IDRISGMP_H
22#define _IDRISGMP_H
33
4+#include <gmp.h>
5+
46VAL MKBIGI(int val);
57VAL MKBIGC(VM* vm, char* bigint);
68VAL MKBIGM(VM* vm, void* bigint);