gnu: axoloti-patcher-next: Fix directory names.

* gnu/packages/axoloti.scm (axoloti-patcher-next)[arguments]: Add
sub-directory of old firmware; fix the sub-directory name of the armv7e-m
toolchain headers.
This commit is contained in:
Ricardo Wurmus 2020-09-17 23:13:17 +02:00
parent a73bd30750
commit 4164ae7cd1
No known key found for this signature in database
GPG key ID: 197A5888235FACAC

View file

@ -527,7 +527,7 @@ (define-public axoloti-patcher-next
(install-file "dist/Axoloti.jar" share)
;; Install old firmware
(let ((target (string-append share "/old_firmware/"))
(let ((target (string-append share "/old_firmware/firmware-1.0.12"))
(old-firmware
(string-append (assoc-ref inputs "axoloti-runtime")
"/share/axoloti/firmware/")))
@ -557,7 +557,7 @@ (define-public axoloti-patcher-next
toolchain
"/arm-none-eabi/include:"
toolchain
"/arm-none-eabi/include/arm-none-eabi/armv7e-m")))
"/arm-none-eabi/include/arm-none-eabi/thumb/v7e-m")))
(display
(string-append "#!" (which "sh") "\n"
"export CROSS_CPATH=" includes "\n"