diff options
author | Alex Vong <alexvong1995@gmail.com> | 2018-05-24 00:32:51 +0800 |
---|---|---|
committer | Danny Milosavljevic <dannym@scratchpost.org> | 2018-10-18 14:59:55 +0200 |
commit | 33428d12672fefde745b313ce1f0c02ae9870e39 (patch) | |
tree | 9adfa3df3842fdb2048fc0b6265edba7ee7496a7 /gnu/packages/patches/grub-check-error-efibootmgr.patch | |
parent | 6662d65f96b948271eeaa0ba5c93d0e61663e7d3 (diff) | |
download | guix-patches-33428d12672fefde745b313ce1f0c02ae9870e39.tar guix-patches-33428d12672fefde745b313ce1f0c02ae9870e39.tar.gz |
gnu: javacc: Bootstrap from javacc-4 instead of bootstrap binary.
* gnu/packages/java.scm (javacc)[source](snippet): Delete bootstrap binary.
[arguments]: Set 'bootstrap-jar' path.
[native-inputs]: Add 'javacc-4'.
Diffstat (limited to 'gnu/packages/patches/grub-check-error-efibootmgr.patch')
0 files changed, 0 insertions, 0 deletions