diff options
| author | Efraim Flashner <efraim@flashner.co.il> | 2016-06-24 13:33:31 +0300 |
|---|---|---|
| committer | Efraim Flashner <efraim@flashner.co.il> | 2016-10-07 12:26:44 +0300 |
| commit | 2ff746dcd26c21af4cb281074f1a3b6d378ed455 (patch) | |
| tree | e558a429f358afe939b4eb37a2f090bf8b048294 /gnu/packages/gcc.scm | |
| parent | 21e5e1e070339a8a377ae8df017603fff1ac7b45 (diff) | |
| download | patches-2ff746dcd26c21af4cb281074f1a3b6d378ed455.tar patches-2ff746dcd26c21af4cb281074f1a3b6d378ed455.tar.gz | |
gnu: isl: Add support for aarch64.
* gnu/packages/gcc.scm (isl)[source]: Add patch.
* gnu/packages/patches/isl-0.11.1-aarch64-support.patch: New file.
* gnu/local.mk (dist_patch_DATA): Register it.
Diffstat (limited to 'gnu/packages/gcc.scm')
| -rw-r--r-- | gnu/packages/gcc.scm | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/gnu/packages/gcc.scm b/gnu/packages/gcc.scm index 4a1a309b66..b1c9b21d82 100644 --- a/gnu/packages/gcc.scm +++ b/gnu/packages/gcc.scm @@ -718,7 +718,8 @@ as the 'native-search-paths' field." name "-" version ".tar.gz"))) (sha256 (base32 - "13d9cqa5rzhbjq0xf0b2dyxag7pqa72xj9dhsa03m8ccr1a4npq9")))) + "13d9cqa5rzhbjq0xf0b2dyxag7pqa72xj9dhsa03m8ccr1a4npq9")) + (patches (search-patches "isl-0.11.1-aarch64-support.patch")))) (build-system gnu-build-system) (inputs `(("gmp" ,gmp))) (home-page "http://isl.gforge.inria.fr/") |