diff options
Diffstat (limited to 'Make.user')
| -rw-r--r-- | Make.user | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/Make.user b/Make.user index 6c42a3f7e413..8ea2ccf0e41f 100644 --- a/Make.user +++ b/Make.user @@ -15,6 +15,9 @@ USE_SYSTEM_ARPACK:=1 USE_SYSTEM_SUITESPARSE:=1 USE_SYSTEM_LIBUV:=0 USE_SYSTEM_UTF8PROC:=0 +USE_SYSTEM_MBEDTLS:=1 +USE_SYSTEM_LIBSSH2:=1 +USE_SYSTEM_CURL:=1 USE_SYSTEM_LIBGIT2:=1 USE_SYSTEM_PATCHELF:=1 USE_INTEL_MKL:=0 |