Fix gmp issue; ptrdiff_t not found. Fixes #1314
This commit is contained in:
parent
2e31b3e43a
commit
b718a23972
1 changed files with 1 additions and 1 deletions
|
|
@ -18,7 +18,7 @@ a time, to avoid confusion.
|
||||||
|
|
||||||
#ifndef OPENSCAD_SKIP_VERSION_CHECK
|
#ifndef OPENSCAD_SKIP_VERSION_CHECK
|
||||||
|
|
||||||
|
#include <stddef.h> // Needed by gmp.h under OS X 10.10
|
||||||
#include <gmp.h>
|
#include <gmp.h>
|
||||||
// set minimum numbers here.
|
// set minimum numbers here.
|
||||||
#define GMPMAJOR 5
|
#define GMPMAJOR 5
|
||||||
|
|
|
||||||
Loading…
Reference in a new issue