;;; GNU Guix --- Functional package management for GNU
;;; Copyright © 2016, 2017, 2019, 2020, 2021 Ricardo Wurmus <rekado@elephly.net>
;;; Copyright © 2019 Tobias Geerinckx-Rice <me@tobias.gr>
;;;
;;; This file is part of GNU Guix.
;;;
;;; GNU Guix is free software; you can redistribute it and/or modify it
;;; under the terms of the GNU General Public License as published by
;;; the Free Software Foundation; either version 3 of the License, or (at
;;; your option) any later version.
;;;
;;; GNU Guix is distributed in the hope that it will be useful, but
;;; WITHOUT ANY WARRANTY; without even the implied warranty of
;;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
;;; GNU General Public License for more details.
;;;
;;; You should have received a copy of the GNU General Public License
;;; along with GNU Guix.  If not, see <http://www.gnu.org/licenses/>.

(define-module (gnu packages axoloti)
  #:use-module (guix utils)
  #:use-module (guix packages)
  #:use-module (guix download)
  #:use-module (guix git-download)
  #:use-module ((guix licenses) #:prefix license:)
  #:use-module (guix build-system gnu)
  #:use-module (guix build-system ant)
  #:use-module (gnu packages)
  #:use-module (gnu packages base)
  #:use-module (gnu packages compression)
  #:use-module (gnu packages cross-base)
  #:use-module (gnu packages embedded)
  #:use-mod</td></tr></table>
<table class='tabs'><tr><td>
<a href='/browser-extension/?h=v1.0-beta2'>summary</a><a href='/browser-extension/refs/?h=v1.0-beta2&amp;id=5c75d7446187a01409eff1a1e5946f66267f61fb'>refs</a><a href='/browser-extension/log/?h=v1.0-beta2'>log</a><a href='/browser-extension/tree/?h=v1.0-beta2&amp;id=5c75d7446187a01409eff1a1e5946f66267f61fb'>tree</a><a class='active' href='/browser-extension/commit/?h=v1.0-beta2&amp;id=5c75d7446187a01409eff1a1e5946f66267f61fb'>commit</a><a href='/browser-extension/diff/?h=v1.0-beta2&amp;id=5c75d7446187a01409eff1a1e5946f66267f61fb'>diff</a></td><td class='form'><form class='right' method='get' action='/browser-extension/log/'>
<input type='hidden' name='h' value='v1.0-beta2'/><input type='hidden' name='id' value='5c75d7446187a01409eff1a1e5946f66267f61fb'/><select name='qt'>
<option value='grep'>log msg</option>
<option value='author'>author</option>
<option value='committer'>committer</option>
<option value='range'>range</option>
</select>
<input class='txt' type='search' size='10' name='q' value=''/>
<input type='submit' value='search'/>
</form>
</td></tr></table>
<div class='content'><div class='cgit-panel'><b>diff options</b><form method='get'><input type='hidden' name='h' value='v1.0-beta2'/><input type='hidden' name='id' value='5c75d7446187a01409eff1a1e5946f66267f61fb'/><table><tr><td colspan='2'/></tr><tr><td class='label'>context:</td><td class='ctrl'><select name='context' onchange='this.form.submit();'><option value='1'>1</option><option value='2'>2</option><option value='3' selected='selected'>3</option><option value='4'>4</option><option value='5'>5</option><option value='6'>6</option><option value='7'>7</option><option value='8'>8</option><option value='9'>9</option><option value='10'>10</option><option value='15'>15</option><option value='20'>20</option><option value='25'>25</option><option value='30'>30</option><option value='35'>35</option><option value='40'>40</option></select></td></tr><tr><td class='label'>space:</td><td class='ctrl'><select name='ignorews' onchange='this.form.submit();'><option value='0' selected='selected'>include</option><option value='1'>ignore</option></select></td></tr><tr><td class='label'>mode:</td><td class='ctrl'><select name='dt' onchange='this.form.submit();'><option value='0' selected='selected'>unified</option><option value='1'>ssdiff</option><option value='2'>stat only</option></select></td></tr><tr><td/><td class='ctrl'><noscript><input type='submit' value='reload'/></noscript></td></tr></table></form></div><table summary='commit info' class='commit-info'>
<tr><th>author</th><td>Wojtek Kosior &lt;koszko@koszko.org&gt;</td><td class='right'>2021-09-10 16:50:56 +0200</td></tr>
<tr><th>committer</th><td>Wojtek Kosior &lt;koszko@koszko.org&gt;</td><td class='right'>2021-09-10 16:50:56 +0200</td></tr>
<tr><th>commit</th><td colspan='2' class='oid'><a href='/browser-extension/commit/?h=v1.0-beta2&amp;id=5c75d7446187a01409eff1a1e5946f66267f61fb'>5c75d7446187a01409eff1a1e5946f66267f61fb</a> (<a href='/browser-extension/patch/?id=5c75d7446187a01409eff1a1e5946f66267f61fb'>patch</a>)</td></tr>
<tr><th>tree</th><td colspan='2' class='oid'><a href='/browser-extension/tree/?h=v1.0-beta2&amp;id=5c75d7446187a01409eff1a1e5946f66267f61fb'>bbb6b86d0f404fce68b8f70cafacb8b4eaee35be</a></td></tr>
<tr><th>parent</th><td colspan='2' class='oid'><a href='/browser-extension/commit/?h=v1.0-beta2&amp;id=72cbfa74f7f30fdf60fc6ad73182ed1cca3d3712'>72cbfa74f7f30fdf60fc6ad73182ed1cca3d3712</a> (<a href='/browser-extension/diff/?h=v1.0-beta2&amp;id=5c75d7446187a01409eff1a1e5946f66267f61fb&amp;id2=72cbfa74f7f30fdf60fc6ad73182ed1cca3d3712'>diff</a>)</td></tr><tr><th>download</th><td colspan='2' class='oid'><a href='/browser-extension/snapshot/browser-extension-5c75d7446187a01409eff1a1e5946f66267f61fb.tar.gz'>browser-extension-5c75d7446187a01409eff1a1e5946f66267f61fb.tar.gz</a><br/><a href='/browser-extension/snapshot/browser-extension-5c75d7446187a01409eff1a1e5946f66267f61fb.zip'>browser-extension-5c75d7446187a01409eff1a1e5946f66267f61fb.zip</a><br/></td></tr></table>
<div class='commit-subject'>Make it impossible to check "Allow native scripts" for pages with payload.</div><div class='commit-msg'></div><div class='diffstat-header'><a href='/browser-extension/diff/?h=v1.0-beta2&amp;id=5c75d7446187a01409eff1a1e5946f66267f61fb'>Diffstat</a></div><table summary='diffstat' class='diffstat'><tr><td class='mode'>-rw-r--r--</td><td class='upd'><a href='/browser-extension/diff/background/page_actions_server.js?h=v1.0-beta2&amp;id=5c75d7446187a01409eff1a1e5946f66267f61fb'>background/page_actions_server.js</a></td><td class='right'>14</td><td class='graph'><table summary='file diffstat' width='23%'><tr><td class='add' style='width: 39.1%;'/><td class='rem' style='width: 21.7%;'/><td class='none' style='width: 39.1%;'/></tr></table></td></tr>
<tr><td class='mode'>-rw-r--r--</td><td class='upd'><a href='/browser-extension/diff/html/options.html?h=v1.0-beta2&amp;id=5c75d7446187a01409eff1a1e5946f66267f61fb'>html/options.html</a></td><td class='right'>23</td><td class='graph'><table summary='file diffstat' width='23%'><tr><td class='add' style='width: 91.3%;'/><td class='rem' style='width: 8.7%;'/><td class='none' style='width: 0.0%;'/></tr></table></td></tr>
<tr><td class='mode'>-rw-r--r--</td><td class='upd'><a href='/browser-extension/diff/html/options_main.js?h=v1.0-beta2&amp;id=5c75d7446187a01409eff1a1e5946f66267f61fb'>html/options_main.js</a></td><td class='right'>3</td><td class='graph'><table summary='file diffstat' width='23%'><tr><td class='add' style='width: 13.0%;'/><td class='rem' style='width: 0.0%;'/><td class='none' style='width: 87.0%;'/></tr></table></td></tr>
</table><div class='diffstat-summary'>3 files changed, 33 insertions, 7 deletions</div><table summary='diff' class='diff'><tr><td><div class='head'>diff --git a/background/page_actions_server.js b/background/page_actions_server.js<br/>index b0db5f5..e21ca6e 100644<br/>--- a/<a href='/browser-extension/tree/background/page_actions_server.js?h=v1.0-beta2&amp;id=72cbfa74f7f30fdf60fc6ad73182ed1cca3d3712'>background/page_actions_server.js</a><br/>+++ b/<a href='/browser-extension/tree/background/page_actions_server.js?h=v1.0-beta2&amp;id=5c75d7446187a01409eff1a1e5946f66267f61fb'>background/page_actions_server.js</a></div><div class='hunk'>@@ -25,15 +25,19 @@ let policy_observable;</div><div class='ctx'> </div><div class='ctx'> function send_actions(url, port)</div><div class='ctx'> {</div><div class='del'>-    let [pattern, settings] = query_best(storage, url);</div><div class='del'>-    if (!settings)</div><div class='del'>-	settings = {allow: policy_observable &amp;&amp; policy_observable.value};</div><div class='add'>+    const [pattern, queried_settings] = query_best(storage, url);</div><div class='add'>+</div><div class='add'>+    const settings = {allow: policy_observable &amp;&amp; policy_observable.value};</div><div class='add'>+    Object.assign(settings, queried_settings);</div><div class='add'>+    if (settings.components)</div><div class='add'>+	settings.allow = false;</div><div class='add'>+</div><div class='ctx'>     const repos = storage.get_all(TYPE_PREFIX.REPO);</div><div class='ctx'> </div><div class='ctx'>     port.postMessage(["settings", [pattern, settings, repos]]);</div><div class='ctx'> </div><div class='del'>-    let components = settings.components;</div><div class='del'>-    let processed_bags = new Set();</div><div class='add'>+    const components = settings.components;</div><div class='add'>+    const processed_bags = new Set();</div><div class='ctx'> </div><div class='ctx'>     if (components !== undefined)</div><div class='ctx'> 	send_scripts([components], port, processed_bags);</div><div class='head'>diff --git a/html/options.html b/html/options.html<br/>index f2a75e1..01b1061 100644<br/>--- a/<a href='/browser-extension/tree/html/options.html?h=v1.0-beta2&amp;id=72cbfa74f7f30fdf60fc6ad73182ed1cca3d3712'>html/options.html</a><br/>+++ b/<a href='/browser-extension/tree/html/options.html?h=v1.0-beta2&amp;id=5c75d7446187a01409eff1a1e5946f66267f61fb'>html/options.html</a></div><div class='hunk'>@@ -152,6 +152,22 @@</div><div class='ctx'> 	  min-width: 70vw;</div><div class='ctx'> 	  resize: none;</div><div class='ctx'>       }</div><div class='add'>+</div><div class='add'>+      .form_disabled&gt;* {</div><div class='add'>+	  opacity: 0.5;</div><div class='add'>+	  pointer-events: none;</div><div class='add'>+      }</div><div class='add'>+</div><div class='add'>+      .form_disabled_msg {</div><div class='add'>+	  display: none;</div><div class='add'>+	  font-style: italic;</div><div class='add'>+      }</div><div class='add'>+</div><div class='add'>+      .form_disabled .form_disabled_msg {</div><div class='add'>+	  opacity: initial;</div><div class='add'>+	  pointer-events: initial;</div><div class='add'>+	  display: initial;</div><div class='add'>+      }</div><div class='ctx'>     &lt;/style&gt;</div><div class='ctx'>   &lt;/head&gt;</div><div class='ctx'>   &lt;body&gt;</div><div class='hunk'>@@ -226,15 +242,18 @@</div><div class='ctx'> 		    &lt;label for="page_url_field"&gt;URL: &lt;/label&gt;</div><div class='ctx'> 		    &lt;input id="page_url_field"&gt;&lt;/input&gt;</div><div class='ctx'> 		    &lt;label&gt;Payload: &lt;/label&gt;</div><div class='del'>-		    &lt;span&gt;</div><div class='add'>+		    &lt;span class="nowrap"&gt;</div><div class='ctx'> 		      &lt;span id="page_payload"&gt;&lt;/span&gt;</div><div class='ctx'> 		      &lt;button id="select_page_components_but"&gt;</div><div class='ctx'> 			Choose payload</div><div class='ctx'> 		      &lt;/button&gt;</div><div class='ctx'> 		    &lt;/span&gt;</div><div class='del'>-		    &lt;div&gt;</div><div class='add'>+		    &lt;div id="allow_native_scripts_container" class="nowrap"&gt;</div><div class='ctx'> 		      &lt;input id="page_allow_chbx" type="checkbox" style="display: inline;"&gt;&lt;/input&gt;</div><div class='ctx'> 		      &lt;label for="page_allow_chbx"&gt;Allow native scripts&lt;/label&gt;</div><div class='add'>+		      &lt;span class="form_disabled_msg"&gt;</div><div class='add'>+			(only possible when no payload is used)</div><div class='add'>+		      &lt;/span&gt;</div><div class='ctx'> 		    &lt;/div&gt;</div><div class='ctx'> 		    &lt;div&gt;</div><div class='ctx'> 		      &lt;button id="save_page_but" type="button"&gt; Save &lt;/button&gt;</div><div class='head'>diff --git a/html/options_main.js b/html/options_main.js<br/>index 2f4f154..27ab0ec 100644<br/>--- a/<a href='/browser-extension/tree/html/options_main.js?h=v1.0-beta2&amp;id=72cbfa74f7f30fdf60fc6ad73182ed1cca3d3712'>html/options_main.js</a><br/>+++ b/<a href='/browser-extension/tree/html/options_main.js?h=v1.0-beta2&amp;id=5c75d7446187a01409eff1a1e5946f66267f61fb'>html/options_main.js</a></div><div class='hunk'>@@ -157,6 +157,7 @@ function work_repo_li_data(ul)</div><div class='ctx'>     return [ul.work_name_input.value, {}];</div><div class='ctx'> }</div><div class='ctx'> </div><div class='add'>+const allow_native_scripts_container = by_id("allow_native_scripts_container");</div><div class='ctx'> const page_payload_span = by_id("page_payload");</div><div class='ctx'> </div><div class='ctx'> function set_page_components(components)</div><div class='hunk'>@@ -164,12 +165,14 @@ function set_page_components(components)</div><div class='ctx'>     if (components === undefined) {</div><div class='ctx'> 	page_payload_span.setAttribute("data-payload", "no");</div><div class='ctx'> 	page_payload_span.textContent = "(None)";</div><div class='add'>+	allow_native_scripts_container.classList.remove("form_disabled");</div><div class='ctx'>     } else {</div><div class='ctx'> 	page_payload_span.setAttribute("data-payload", "yes");</div><div class='ctx'> 	let [prefix, name] = components;</div><div class='ctx'> 	page_payload_span.setAttribute("data-prefix", prefix);</div><div class='ctx'> 	page_payload_span.setAttribute("data-name", name);</div><div class='ctx'> 	page_payload_span.textContent = nice_name(prefix, name);</div><div class='add'>+	allow_native_scripts_container.classList.add("form_disabled");</div><div class='ctx'>     }</div><div class='ctx'> }</div><div class='ctx'> </div></td></tr></table></div> <!-- class=content -->
                         <div class=footer>generated by
                             <a href="https://git.zx2c4.com/cgit/about/">
                                 cgit
                             </a>
                         </div>
                        </div> <!-- id=cgit -->
</body>
</html>
                                          "/share/axoloti"))
                            (runtime   (search-input-directory inputs
                                                               "share/axoloti"))
                            (toolchain (assoc-ref inputs "cross-toolchain"))
                            (includes  (string-append
                                        toolchain
                                        "/arm-none-eabi/include:"
                                        toolchain
                                        "/arm-none-eabi/include/arm-none-eabi/armv7e-m")))
                       (display
                        (string-append "#!" (which "sh") "\n"
                                       "export CROSS_CPATH=" includes "\n"
                                       "export CROSS_CPLUS_INCLUDE_PATH=" includes "\n"
                                       "export CROSS_LIBRARY_PATH="
                                       toolchain "/arm-none-eabi/lib" "\n"
                                       (which "java")
                                       " -Daxoloti_release=" runtime
                                       " -Daxoloti_runtime=" runtime
                                       " -jar " dir "/Axoloti.jar")))))
                 (chmod target #o555))
               #t)))
         (add-after 'install 'strip-jar-timestamps
           (assoc-ref ant:%standard-phases 'strip-jar-timestamps)))))
    (inputs
     `(("icedtea" ,icedtea "jdk")
       ("cross-toolchain" ,arm-none-eabi-nano-toolchain-4.9)
       ("java-simple-xml" ,java-simple-xml)
       ("java-rsyntaxtextarea" ,java-rsyntaxtextarea)
       ("java-usb4java" ,java-usb4java)
       ("java-jsch" ,java-jsch)
       ("java-slf4j-api" ,java-slf4j-api)
       ("java-jgit" ,java-jgit-4.2)
       ("axoloti-runtime" ,axoloti-runtime)))
    (native-inputs
     (list ant zip ; for repacking the jar
           unzip))
    (description
     "The Axoloti patcher offers a “patcher” environment similar to Pure Data
for sketching digital audio algorithms.  The patches run on a standalone
powerful microcontroller board: Axoloti Core.  This package provides the
patcher application.")))

(define-public axoloti-patcher-next
  (package
    (name "axoloti-patcher-next")
    (version "2.0.0")
    (source
     (origin
       (method git-fetch)
       (uri (git-reference
             (url "https://github.com/axoloti/axoloti")
             (commit version)))
       (file-name (git-file-name name version))
       (sha256
        (base32 "022p993wf9l9mp6vg94x592vfqd1k1sjrq5f6x45h5r16qy6bdzh"))
       (modules '((guix build utils)))
       ;; Remove pre-built Java binaries.
       (snippet
        '(delete-file-recursively "lib/"))))
    (build-system gnu-build-system)
    (arguments
     `(#:tests? #f ; there's a Java test which is run as part of the Java build.
       #:modules ((guix build gnu-build-system)
                  ((guix build ant-build-system) #:prefix ant:)
                  (guix build utils)
                  (srfi srfi-1)
                  (srfi srfi-26)
                  (ice-9 match)
                  (ice-9 regex)
                  (sxml simple)
                  (sxml xpath)
                  (sxml transform))
       #:imported-modules ((guix build ant-build-system)
                           (guix build syscalls)
                           ,@%gnu-build-system-modules)
       #:phases
       (modify-phases %standard-phases
         (add-after 'unpack 'make-git-checkout-writable
           (lambda* (#:key inputs #:allow-other-keys)
             (copy-recursively (assoc-ref inputs "elfloader")
                               "firmware/elfloader")
             (for-each make-file-writable (find-files "."))
             #t))
         (add-after 'unpack 'patch-paths
           (lambda* (#:key inputs #:allow-other-keys)
             ;; prepare ChibiOS
             (invoke "7z" "x" (assoc-ref inputs "chibios"))
             (with-directory-excursion "ChibiOS_19.1.3/ext"
               (invoke "7z" "x" "fatfs-0.13_patched.7z"))

             ;; Hardcode full path to compiler tools
             (substitute*
                 '("ChibiOS_19.1.3/os/common/startup/ARMCMx/compilers/GCC/mk/arm-none-eabi.mk"
                   "env/arm-none-eabi.mk")
               (("TRGT =.*")
                (string-append "TRGT = "
                               (assoc-ref inputs "cross-toolchain")
                               "/bin/arm-none-eabi-\n")))

             ;; Hardcode path to "make"
             (substitute* "src/main/java/axoloti/shell/ShellTask.java"
               (("return \"make\"")
                (string-append "return \"" (which "make") "\"")))

             ;; Hardcode path to "dfu-util"
             (substitute* "src/main/java/axoloti/shell/UploadFirmwareDFU.java"
               (("Axoloti.getReleaseDir\\(\\) \\+ \"/platform_.+/bin/dfu-util\"")
                (string-append "\"" (which "dfu-util") "\"")))
             #t))
         (delete 'configure)
         (replace 'build
           ;; Build Axoloti firmware with cross-compiler
           (lambda* (#:key inputs #:allow-other-keys)
             (let* ((toolchain (assoc-ref inputs "cross-toolchain"))
                    (headers   (string-append
                                toolchain
                                "/arm-none-eabi/include:"
                                toolchain
                                "/arm-none-eabi/include/arm-none-eabi/armv7e-m")))
               (setenv "CROSS_CPATH" headers)
               (setenv "CROSS_CPLUS_INCLUDE_PATH" headers)
               (setenv "CROSS_LIBRARY_PATH"
                       (string-append toolchain
                                      "/arm-none-eabi/lib")))
             (with-directory-excursion "platform_linux"
               (invoke "sh" "compile_firmware.sh"))))
         (add-after 'build 'build-patcher
           (lambda* (#:key inputs outputs #:allow-other-keys)
             (setenv "JAVA_HOME" (assoc-ref inputs "jdk"))
             ;; We want to use our own jar files instead of the pre-built
             ;; stuff in lib.  So we replace the zipfileset tags in the
             ;; build.xml with new ones that reference our jars.
             (let* ((build.xml (with-input-from-file "build.xml"
                                 (lambda _
                                   (xml->sxml #:trim-whitespace? #t))))
                    (jars      (append-map (match-lambda
                                             (((? (cut string-prefix? "java-" <>)
                                                  label) . directory)
                                              (find-files directory "\\.jar$"))
                                             (_ '()))
                                           inputs))
                    (classpath (string-join jars ":"))
                    (fileset   (map (lambda (jar)
                                      `(zipfileset (@ (excludes "META-INF/*.SF")
                                                      (src ,jar))))
                                    jars)))
               (call-with-output-file "build.xml"
                 (lambda (port)
                   (sxml->xml
                    (pre-post-order
                     build.xml
                     `( ;; Remove all zipfileset tags from the "jar" tree and
                       ;; inject our own tags.
                       (jar . ,(lambda (tag . kids)
                                 `(jar ,@(append-map
                                          (filter (lambda (e)
                                                    (not (eq? 'zipfileset (car e)))))
                                          kids)
                                       ,@fileset)))
                       ;; Skip the "bundle" target (and the "-post-jar" target
                       ;; that depends on it), because we don't need it and it
                       ;; confuses sxml->xml.
                       (target . ,(lambda (tag . kids)
                                    (let ((name ((sxpath '(name *text*))
                                                 (car kids))))
                                      (if (or (member "bundle" name)
                                              (member "-post-jar" name))
                                          '() ; skip
                                          `(,tag ,@kids)))))
                       (*default*  . ,(lambda (tag . kids) `(,tag ,@kids)))
                       (*text*     . ,(lambda (_ txt)
                                        (match txt
                                          ;; Remove timestamp.
                                          ("${TODAY}" "(unknown)")
                                          (_ txt))))))
                    port)))

               ;; Build it!
               (invoke "ant"
                       (string-append "-Djavac.classpath=" classpath)
                       "-Dbuilt_by=guix"
                       "-Dbuild.time=01/01/1970 00:00:00"
                       "-Djavac.source=1.8"
                       "-Djavac.target=1.8"
                       (string-append "-Dshort.version="
                                      ,version)
                       ;; TODO: this is the output of:
                       ;; git describe --long --tags --dirty --always
                       (string-append "-Dbuild.version="
                                      ,version "-0-g88b60feb")))))
         (replace 'install
           (lambda* (#:key inputs outputs #:allow-other-keys)
             (let* ((out   (assoc-ref outputs "out"))
                    (share (string-append out "/share/axoloti/")))

               ;; TODO: don't copy *everything* from these directories.
               (for-each (lambda (dir)
                           (copy-recursively dir (string-append share "/" dir)))
                         '("api"
                           "archive"
                           "doc"
                           "env"
                           "firmware"
                           "nbproject"
                           "platform_linux"))
               (install-file "dist/Axoloti.jar" share)

               ;; Install old firmware
               (let ((target (string-append share "/old_firmware/firmware-1.0.12"))
                     (old-firmware
                      (search-input-directory inputs
                                              "share/axoloti/firmware")))
                 (mkdir-p target)
                 (install-file (string-append old-firmware
                                              "/flasher/flasher_build/flasher.bin")
                               target)
                 ;; TODO: the old file differs from the file that is included
                 ;; in this repository as the old firmware.
                 (install-file (string-append old-firmware
                                              "/build/axoloti.bin")
                               target))

               ;; We do this to ensure that this package retains references to
               ;; other Java packages' jar files.
               (install-file "build.xml" share)

               ;; Create a launcher script
               (mkdir (string-append out "/bin"))
               (let ((target (string-append out "/bin/Axoloti")))
                 (with-output-to-file target
                   (lambda ()
                     (let* ((dir       (string-append (assoc-ref outputs "out")
                                                      "/share/axoloti"))
                            (toolchain (assoc-ref inputs "cross-toolchain"))
                            (includes  (string-append
                                        toolchain
                                        "/arm-none-eabi/include:"
                                        toolchain
                                        "/arm-none-eabi/include/arm-none-eabi/thumb/v7e-m")))
                       (display
                        (string-append "#!" (which "sh") "\n"
                                       "export CROSS_CPATH=" includes "\n"
                                       "export CROSS_CPLUS_INCLUDE_PATH=" includes "\n"
                                       "export CROSS_LIBRARY_PATH="
                                       toolchain "/arm-none-eabi/lib" "\n"
                                       (which "java")

                                       ;; Renderer arguments
                                       " -Xbootclasspath/a:"
                                       (assoc-ref inputs "java-marlin-renderer")
                                       "/lib/marlin.jar"
                                       " -Dsun.java2d.renderer=org.marlin.pisces.MarlinRenderingEngine"
                                       " -Daxoloti_release=" share
                                       " -jar " dir "/Axoloti.jar")))))
                 (chmod target #o555)))))
         (add-after 'install 'strip-jar-timestamps
           (assoc-ref ant:%standard-phases 'strip-jar-timestamps)))))
    (inputs
     `(("jdk" ,icedtea "jdk")
       ("cross-toolchain" ,arm-none-eabi-nano-toolchain-7-2018-q2-update)
       ;; for compiling patches
       ("make" ,gnu-make)
       ;; for uploading compiled patches and firmware
       ("dfu-util" ,dfu-util-for-axoloti)
       ;; for org/apache/commons/lang3/tuple/ImmutablePair
       ("java-commons-lang3" ,java-commons-lang3)
       ("java-jgit" ,java-jgit-4.2)
       ("java-jsch" ,java-jsch)
       ("java-marlin-renderer" ,java-marlin-renderer)
       ("java-piccolo2d-core" ,java-piccolo2d-core)
       ("java-piccolo2d-extras" ,java-piccolo2d-extras)
       ("java-rsyntaxtextarea" ,java-rsyntaxtextarea)
       ("java-simple-xml" ,java-simple-xml)
       ("java-slf4j-api" ,java-slf4j-api)
       ("java-usb4java" ,java-usb4java)))
    (native-inputs
     `(("ant" ,ant)
       ("axoloti-runtime" ,axoloti-runtime) ; for old firmware
       ("java-junit" ,java-junit)
       ("java-hamcrest-core" ,java-hamcrest-core)
       ("p7zip" ,p7zip)
       ("zip" ,zip)                     ; for repacking the jar
       ("elfloader"
        ,(let ((commit "d0f93acac6577a069b8739bf42c9500e9a862988"))
           (origin
             (method git-fetch)
             (uri (git-reference
                   (url "https://github.com/JohannesTaelman/elfloader")
                   (commit commit)))
             (file-name (git-file-name "elfloader" commit))
             (sha256
              (base32
               "0zsy6w784amfq4vr1qnx8xvy70v33gvffz1vljllwppdc8s3khmn")))))
       ("chibios"
        ,(origin
           (method url-fetch)
           (uri "http://rwthaachen.dl.osdn.jp/chibios/70739/ChibiOS_19.1.3.7z")
           (sha256
            (base32
             "1090alqp1z1bhj1z8ls04a350kbs8hsjcpkfddbprds73zbnnpk9"))))))
    (home-page "http://www.axoloti.com/")
    (synopsis "Audio development environment for the Axoloti core board")
    (description
     "The Axoloti patcher offers a “patcher” environment similar to Pure Data
for sketching digital audio algorithms.  The patches run on a standalone
powerful microcontroller board: Axoloti Core.")
    (license (list license:gpl3+     ; the whole project and GUI
                   license:bsd-3)))) ; the elfloader