diff options
author | Ricardo Wurmus <ricardo.wurmus@mdc-berlin.de> | 2015-11-30 14:25:53 +0100 |
---|---|---|
committer | Ricardo Wurmus <ricardo.wurmus@mdc-berlin.de> | 2016-01-04 11:35:57 +0100 |
commit | c2e87caaa6b7efb9c18c46fd4f9d4370f68c8db7 (patch) | |
tree | 0ceb0bdeff2c16969d81e687e69e11c9088a9265 /gnu/packages/patches/julia-0.3.10-fix-empty-array.patch | |
parent | 50b40d0709f51a7c3d34fa83f74c8e2ec1d2395b (diff) |
gnu: julia: Update to 0.4.2.
* gnu/packages/patches/julia-0.3.10-fix-empty-array.patch: Remove file.
* gnu-system.am (dist_patch_DATA): Remove it.
* gnu/packages/julia.scm (julia): Update to 0.4.2.
[arguments]: Remove phase "fix-building-with-mcjit-llvm"; replace phase
"patch-include-path" with "fix-include-and-link-paths"; add phase
"hardcode-paths"; add missing make-flags.
[inputs]: Replace "pcre" with "pcre2"; replace "git" with "libgit2"; add
"coreutils"; add "libuv-julia"; add "wget"; add "which".
[native-inputs]: Remove "which".
Diffstat (limited to 'gnu/packages/patches/julia-0.3.10-fix-empty-array.patch')
-rw-r--r-- | gnu/packages/patches/julia-0.3.10-fix-empty-array.patch | 13 |
1 files changed, 0 insertions, 13 deletions
diff --git a/gnu/packages/patches/julia-0.3.10-fix-empty-array.patch b/gnu/packages/patches/julia-0.3.10-fix-empty-array.patch deleted file mode 100644 index b00f6549e3..0000000000 --- a/gnu/packages/patches/julia-0.3.10-fix-empty-array.patch +++ /dev/null @@ -1,13 +0,0 @@ -See https://github.com/JuliaLang/julia/issues/11817 - ---- a/src/codegen.cpp 2015-06-24 12:44:31.218674066 +0200 -+++ b/src/codegen.cpp 2015-04-23 11:19:50.000000000 +0200 -@@ -4551,7 +4551,7 @@ - #ifdef V128_BUG - "-avx", - #endif -- }; -+ ""}; - SmallVector<std::string, 4> MAttrs(mattr, mattr+sizeof(mattr)/sizeof(mattr[0])); - EngineBuilder eb = EngineBuilder(engine_module) - .setEngineKind(EngineKind::JIT) |