diff options
Diffstat (limited to '')
-rw-r--r-- | lang/julia/files/patch-Make.user | 28 |
1 files changed, 28 insertions, 0 deletions
diff --git a/lang/julia/files/patch-Make.user b/lang/julia/files/patch-Make.user new file mode 100644 index 000000000000..7edb8a1df31e --- /dev/null +++ b/lang/julia/files/patch-Make.user @@ -0,0 +1,28 @@ +--- Make.user.orig 2016-12-17 12:39:14 UTC ++++ Make.user +@@ -0,0 +1,25 @@ ++USE_SYSTEM_ARPACK= 1 ++USE_SYSTEM_BLAS= 1 ++USE_SYSTEM_GMP= 1 ++USE_SYSTEM_LAPACK= 1 ++USE_SYSTEM_LIBGIT2= 1 ++USE_SYSTEM_LIBM= 1 ++USE_SYSTEM_LIBUNWIND= 1 ++USE_SYSTEM_LIBUV= 0 ++USE_SYSTEM_LLVM= 1 ++USE_SYSTEM_MPFR= 1 ++# USE_SYSTEM_OPENLIBM= 0 ++USE_SYSTEM_PATCHELF= 1 ++USE_SYSTEM_PCRE= 1 ++USE_SYSTEM_UTF8PROC= 1 ++ ++LLVM_CONFIG= llvm-config38 ++ ++USE_SYSTEM_FFTW= 1 ++USE_SYSTEM_SUITESPARSE= 1 ++ ++LIBBLAS= -lopenblas -L$(LOCALBASE)/lib ++LIBBLASNAME= libopenblas ++ ++LIBLAPACK= $(LIBBLAS) ++LIBLAPACKNAME= $(LIBBLASNAME) |