aboutsummaryrefslogtreecommitdiff
path: root/gnu/packages/flashing-tools.scm
diff options
context:
space:
mode:
authorLudovic Courtès <ludo@gnu.org>2020-05-20 22:15:54 +0200
committerLudovic Courtès <ludo@gnu.org>2020-05-25 00:00:28 +0200
commit872898f768ae6d3b41eb93c5e183624bd1d157ff (patch)
treed88d5ff215bedffeba951ddf35b8cc0e4489a253 /gnu/packages/flashing-tools.scm
parent8d1d56578aa95118650ed2197bfb7fac40f4218a (diff)
downloadguix-872898f768ae6d3b41eb93c5e183624bd1d157ff.tar.gz
guix-872898f768ae6d3b41eb93c5e183624bd1d157ff.zip
channels: 'latest-channel-instances' guards against non-forward updates.
* guix/channels.scm (latest-channel-instance): Add #:starting-commit and pass it to 'update-cached-checkout'. Return the commit relation as a second value. (ensure-forward-channel-update): New procedure. (latest-channel-instances): Add #:current-channels and #:validate-pull. [current-commit]: New procedure. Pass #:starting-commit to 'latest-channel-instance'. When the returned relation is true, call VALIDATE-PULL. (latest-channel-derivation): Add #:current-channels and #:validate-pull. Pass them to 'latest-channel-instances*'. * tests/channels.scm ("latest-channel-instances #:validate-pull"): New test.
Diffstat (limited to 'gnu/packages/flashing-tools.scm')
0 files changed, 0 insertions, 0 deletions
GIT-FILE-NAME. [inputs]: Add eudev and libgpiod. [home-page]: Update it. Change-Id: Iae97a45364bff1b668ccab8de44a11a29d9284dd Cayetano Santos 2024-10-20gnu: iverilog: Update to 12.0....* gnu/packages/fpga.scm (iverilog): Update to 12.0. [source]: Switch to git-fetch. [arguments]: Use G-expressions. Set #:bootstrap-scripts to #~(list "autoconf.sh"). Set #:test-target to "check". [home-page]: Update to new home page. [native-inputs]: Add autoconf, gperf, remove ghostscript and zlib. Change-Id: I55c3142aa41b190fef79572576cac6fc02473645 Cayetano Santos 2024-10-16gnu: gtkwave: Update to 3.3.121....* gnu/packages/fpga.scm (gtkwave): Update to 3.3.121. Signed-off-by: Ludovic Courtès <ludo@gnu.org> Cayetano Santos 2024-10-15gnu: abc: Update to 0.0-3.707442e....* gnu/packages/fpga.scm (abc): Update to 0.0-3.707442e. Signed-off-by: Ludovic Courtès <ludo@gnu.org> Cayetano Santos 2024-10-14gnu: nvc: Update to 1.14.0....* gnu/packages/fpga.scm (nvc): Update to 1.14.0. Signed-off-by: Ludovic Courtès <ludo@gnu.org> Cayetano Santos 2024-09-10gnu: fpga.scm: Sort module imports....* gnu/packages/fpga.scm: Sort package module imports alphabetically. Change-Id: Ic847b7e577287fd711b5258583f2a02925594df2 Efraim Flashner 2024-09-10gnu: verilator: Remove input labels....* gnu/packages/fpga.scm (verilator)[native-inputs]: Remove input labels. Change-Id: Ia3efa473b909540f972f706e24238d6dc2a2dc43 Efraim Flashner 2024-09-10gnu: verilator: Update to 5.028....* gnu/packages/fpga.scm (verilator): Update to 5.028. [native-inputs]: Add cmake-minimal, gdb/pinned, which. [inputs]: Add help2man, python. [arguments]: Remove configure-flags and make-flags. Add a phase to remove hardcoded location of binaries. Add a phase to help the test suite run. Change-Id: I6a07622f8de8067fa767c0118c8f114cf09c3b0d Efraim Flashner 2024-09-10gnu: systemc: Update to 3.0.0....* gnu/packages/fpga.scm (systemc): Update to 3.0.0. [source]: Download using git-fetch. [build-system]: Switch to cmake-build-system. [arguments]: Remove configure-flags. Add test-target. Change-Id: Id5097a4fc8cd5f3c131990cf3596f5fd581be088 Efraim Flashner 2024-02-10gnu: nvc: Update to 1.11.3....* gnu/packages/fpga.scm (nvc): Update to 1.11.3. [inputs]: Add zstd. Change-Id: I7347a047a559c15beec75bfe5feb0b15a6cc5584 Danny Milosavljevic