diff options
Diffstat (limited to 'Make.user')
| -rw-r--r-- | Make.user | 15 |
1 files changed, 10 insertions, 5 deletions
diff --git a/Make.user b/Make.user index c3d42ad256e3..d1b83a45d774 100644 --- a/Make.user +++ b/Make.user @@ -1,21 +1,26 @@ +prefix:=/usr +sysconfdir:=/etc #MARCH=${CARCH/_/-} +USE_BLAS64:=0 USE_SYSTEM_LLVM:=0 USE_SYSTEM_LIBUNWIND:=1 -USE_SYSTEM_PCRE:=1 -USE_SYSTEM_LIBM:=1 +USE_SYSTEM_PCRE:=0 +USE_SYSTEM_LIBM:=0 USE_SYSTEM_OPENLIBM:=1 USE_SYSTEM_DSFMT:=0 USE_SYSTEM_BLAS:=1 USE_SYSTEM_LAPACK:=1 USE_SYSTEM_GMP:=1 -USE_SYSTEM_MPFR:=1 -USE_SYSTEM_ARPACK:=1 +USE_SYSTEM_MPFR:=0 USE_SYSTEM_SUITESPARSE:=1 USE_SYSTEM_LIBUV:=0 -USE_SYSTEM_UTF8PROC:=0 +USE_SYSTEM_UTF8PROC:=1 USE_SYSTEM_MBEDTLS:=1 USE_SYSTEM_LIBSSH2:=1 USE_SYSTEM_CURL:=1 USE_SYSTEM_LIBGIT2:=1 +# patchelf is not even used unless $(private_libdir_rel) != $(build_private_libdir_rel) +# but we USE_SYSTEM_PATCHELF=1 to prevent building it. This is why it is not in makedepends. USE_SYSTEM_PATCHELF:=1 USE_INTEL_MKL:=0 +USE_SYSTEM_CBLAS:=1 |