nixo
/
guix-devel
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

gnu: isl: Update to 0.18. 

* gnu/packages/gcc.scm (isl): Update to 0.18.
(isl-0.11): New variable.
(gcc@4.8, cloog)[inputs]: Use isl-0.11.
This commit is contained in:
Efraim Flashner 2017-09-12 21:12:46 +03:00
parent 2b8d4ce819
commit ab53bdf01c
No known key found for this signature in database
GPG Key ID: 41AAE7DCCA3D8351
1 changed files with 22 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

27
gnu/packages/gcc.scm
View File

@ -354,7 +354,7 @@ Go. It also includes runtime support libraries for these languages.")
(patches (search-patches "gcc-arm-link-spec-fix.patch")))) (patches (search-patches "gcc-arm-link-spec-fix.patch"))))
(supported-systems %supported-systems) (supported-systems %supported-systems)
(inputs (inputs
`(("isl" ,isl) `(("isl" ,isl-0.11)
("cloog" ,cloog) ("cloog" ,cloog)
,@(package-inputs gcc-4.7))))) ,@(package-inputs gcc-4.7)))))
@ -670,7 +670,7 @@ as the 'native-search-paths' field."
(define-public isl (define-public isl
(package (package
(name "isl") (name "isl")
(version "0.11.1") (version "0.18")
(source (origin (source (origin
(method url-fetch) (method url-fetch)
(uri (list (string-append (uri (list (string-append
@ -681,8 +681,7 @@ as the 'native-search-paths' field."
name "-" version ".tar.gz"))) name "-" version ".tar.gz")))
(sha256 (sha256
(base32 (base32
"13d9cqa5rzhbjq0xf0b2dyxag7pqa72xj9dhsa03m8ccr1a4npq9")) "06ybml6llhi4i56q90jnimbcgk1lpcdwhy9nxdxra2hxz3bhz2vb"))))
(patches (search-patches "isl-0.11.1-aarch64-support.patch"))))
(build-system gnu-build-system) (build-system gnu-build-system)
(inputs `(("gmp" ,gmp))) (inputs `(("gmp" ,gmp)))
(home-page "http://isl.gforge.inria.fr/") (home-page "http://isl.gforge.inria.fr/")
@ -700,6 +699,24 @@ reduction, transitive closures on maps (which may encode infinite graphs),
dependence analysis and bounds on piecewise step-polynomials.") dependence analysis and bounds on piecewise step-polynomials.")
(license lgpl2.1+))) (license lgpl2.1+)))
(define-public isl-0.11
(package
(inherit isl)
(name "isl")
(version "0.11.1")
(source (origin
(method url-fetch)
(uri (list (string-append
"http://isl.gforge.inria.fr/isl-"
version
".tar.bz2")
(string-append %gcc-infrastructure
name "-" version ".tar.gz")))
(sha256
(base32
"13d9cqa5rzhbjq0xf0b2dyxag7pqa72xj9dhsa03m8ccr1a4npq9"))
(patches (search-patches "isl-0.11.1-aarch64-support.patch"))))))
(define-public cloog (define-public cloog
(package (package
(name "cloog") (name "cloog")
@ -719,7 +736,7 @@ dependence analysis and bounds on piecewise step-polynomials.")
(file-name (string-append name "-" version ".tar.gz")))) (file-name (string-append name "-" version ".tar.gz"))))
(build-system gnu-build-system) (build-system gnu-build-system)
(inputs `(("gmp" ,gmp) (inputs `(("gmp" ,gmp)
("isl" ,isl))) ("isl" ,isl-0.11)))
(arguments '(#:configure-flags '("--with-isl=system"))) (arguments '(#:configure-flags '("--with-isl=system")))
(home-page "http://www.cloog.org/") (home-page "http://www.cloog.org/")
(synopsis "Library to generate code for scanning Z-polyhedra") (synopsis "Library to generate code for scanning Z-polyhedra")