gnu: icestorm: Update to 1.1.

* gnu/packages/electronics.scm (icestorm): Update to 1.1.
[#:phases] {fix-usr-local}: Fix config.mk.
[native-inputs]: Replace python with python-minimal, add
python-sphinxcontrib-svg2pdfconverter, remove python-sphinx.

Change-Id: I9413c6ac1e620ede236e66b4a79c842f0a6741a0
Signed-off-by: Maxim Cournoyer <maxim@guixotic.coop>
This commit is contained in:
Cayetano Santos 2025-09-23 11:11:51 +02:00 committed by Maxim Cournoyer
parent a68bcfd2f5
commit 4660273f00
No known key found for this signature in database
GPG key ID: 1260E46482E63562

View file

@ -407,68 +407,70 @@ For synthesis, the compiler generates netlists in the desired format.")
(license (list license:gpl2 license:lgpl2.1+)))) (license (list license:gpl2 license:lgpl2.1+))))
(define-public icestorm (define-public icestorm
(let ((commit "3cdcf4b009bb8681ab7e2e09d65043f04334b60e") (package
(revision "5")) (name "icestorm")
(package (version "1.1")
(name "icestorm") (source
(version (git-version "0.0" revision commit)) (origin
(source (method git-fetch)
(origin (uri (git-reference
(method git-fetch) (url "https://github.com/YosysHQ/icestorm/")
(uri (git-reference (commit (string-append "v" version))))
(url "https://github.com/YosysHQ/icestorm/") (file-name (git-file-name name version))
(commit commit))) (sha256
(file-name (git-file-name name version)) (base32 "0yh36kd23y4sk65g34r1h244ax9fj5c668y6pwqwaq3c0nmb3d28"))))
(sha256 (build-system gnu-build-system)
(base32 "0ygp6cj7grlnyji572kx215p2mw4crllskif9g795f390bp38g68")))) (arguments
(build-system gnu-build-system) (list
(arguments #:tests? #f ;no tests
(list #:make-flags
#:tests? #f ;avoid a cyclic dependency with nextpr-ice40 #~(list (string-append "CC="
#:make-flags #$(cc-for-target))
#~(list (string-append "CC=" (string-append "CXX="
#$(cc-for-target)) #$(cxx-for-target))
(string-append "CXX=" (string-append "PREFIX="
#$(cxx-for-target)) #$output)
(string-append "PREFIX=" "ICEPROG=1")
#$output) #:phases
"ICEPROG=1") #~(modify-phases %standard-phases
#:phases (add-after 'unpack 'fix-usr-local
#~(modify-phases %standard-phases (lambda* (#:key outputs #:allow-other-keys)
(add-after 'unpack 'fix-usr-local (substitute* "config.mk"
(lambda* (#:key outputs #:allow-other-keys) (("/usr/local")
(substitute* "icepack/Makefile" #$output))
(("/usr/local") (substitute* "icepack/Makefile"
#$output)) (("/usr/local")
(substitute* "icebox/Makefile" #$output))
(("/usr/local") (substitute* "icebox/Makefile"
#$output)) (("/usr/local")
(substitute* "icebox/icebox_vlog.py" #$output))
(("/usr/local") (substitute* "icebox/icebox_vlog.py"
#$output)))) (("/usr/local")
(add-after 'build 'make-info #$output))))
(lambda* (#:key outputs #:allow-other-keys) (add-after 'build 'make-info
(with-directory-excursion "docs" (lambda* (#:key outputs #:allow-other-keys)
(invoke "make" "info") (with-directory-excursion "docs"
(install-file "build/texinfo/projecticestorm.info" (invoke "make" "info")
(string-append #$output "/share/info")) (install-file "build/texinfo/projecticestorm.info"
(copy-recursively "build/texinfo/projecticestorm-figures" (string-append #$output "/share/info"))
(string-append #$output (copy-recursively
"/share/info/projecticestorm-figures"))))) "build/texinfo/projecticestorm-figures"
(delete 'configure)))) (string-append #$output
(inputs (list libftdi)) "/share/info/projecticestorm-figures")))))
(native-inputs (list pkg-config (delete 'configure))))
python (inputs (list libftdi))
python-sphinx (native-inputs (list pkg-config
python-sphinx-rtd-theme python-minimal
texinfo)) python-sphinx-rtd-theme
(home-page "https://prjicestorm.readthedocs.io/") python-sphinxcontrib-svg2pdfconverter
(synopsis "Bitstream tools for Lattice iCE40 FPGAs") texinfo))
(description (home-page "https://prjicestorm.readthedocs.io/")
"Project IceStorm aims at documenting the bitstream format of (synopsis "Bitstream tools for Lattice iCE40 FPGAs")
Lattice iCE40 FPGAs and providing simple tools for analyzing and creating bitstream (description
"Project IceStorm aims at documenting the bitstream format of Lattice
iCE40 FPGAs and providing simple tools for analyzing and creating bitstream
files.") files.")
(license license:isc)))) (license license:isc)))
(define-public json-for-vhdl (define-public json-for-vhdl
;; No tagged releases. ;; No tagged releases.