diff --git a/src/external/lib/macx/libgmp.a b/src/external/lib/macx/libgmp.a
new file mode 100644
index 000000000..7bbe22181
Binary files /dev/null and b/src/external/lib/macx/libgmp.a differ
diff --git a/src/external/lib/macx/libgmpxx.a b/src/external/lib/macx/libgmpxx.a
new file mode 100644
index 000000000..87a247cbf
Binary files /dev/null and b/src/external/lib/macx/libgmpxx.a differ