* Installing Guile 3 on ArchLinux @ 2022-04-01 9:26 Jérémy Korwin-Zmijowski 2022-04-01 10:28 ` Daniel Tornabene ` (2 more replies) 0 siblings, 3 replies; 4+ messages in thread From: Jérémy Korwin-Zmijowski @ 2022-04-01 9:26 UTC (permalink / raw) To: guile-user [-- Attachment #1.1.1: Type: text/plain, Size: 280 bytes --] Dear Guilers, I am updating the installation page of https://jeko.frama.io and I am wondering how one can install Guile 3 on Archlinux. If anyone has a suggestion, let me know ! -- Jérémy Korwin-Zmijowski GPG: 036B 4D54 B7B4 D6C8 DA62 2746 700F 5E0C CBB2 E2D1 [-- Attachment #1.1.2: OpenPGP public key --] [-- Type: application/pgp-keys, Size: 2525 bytes --] [-- Attachment #2: OpenPGP digital signature --] [-- Type: application/pgp-signature, Size: 665 bytes --] ^ permalink raw reply [flat|nested] 4+ messages in thread
* Re: Installing Guile 3 on ArchLinux 2022-04-01 9:26 Installing Guile 3 on ArchLinux Jérémy Korwin-Zmijowski @ 2022-04-01 10:28 ` Daniel Tornabene 2022-04-01 11:43 ` james 2022-04-01 11:49 ` Leo Butler 2 siblings, 0 replies; 4+ messages in thread From: Daniel Tornabene @ 2022-04-01 10:28 UTC (permalink / raw) To: Jérémy Korwin-Zmijowski; +Cc: guile-user you should be able to get it thru the AUR? I believe? I've used manjaro for years because I'm lazy but given that its arch I would imagine getting it installed is as simple as modifying the pkg scripts to point to the right versions of dependencies etc. On Fri, Apr 1, 2022 at 4:54 AM Jérémy Korwin-Zmijowski < jeremy@korwin-zmijowski.fr> wrote: > Dear Guilers, > > I am updating the installation page of https://jeko.frama.io and I am > wondering how one can install Guile 3 on Archlinux. If anyone has a > suggestion, let me know ! > > -- > Jérémy Korwin-Zmijowski > > GPG: 036B 4D54 B7B4 D6C8 DA62 2746 700F 5E0C CBB2 E2D1 > > ^ permalink raw reply [flat|nested] 4+ messages in thread
* Re: Installing Guile 3 on ArchLinux 2022-04-01 9:26 Installing Guile 3 on ArchLinux Jérémy Korwin-Zmijowski 2022-04-01 10:28 ` Daniel Tornabene @ 2022-04-01 11:43 ` james 2022-04-01 11:49 ` Leo Butler 2 siblings, 0 replies; 4+ messages in thread From: james @ 2022-04-01 11:43 UTC (permalink / raw) To: Jérémy Korwin-Zmijowski; +Cc: guile-user On 22/04/01 11:26am, Jérémy Korwin-Zmijowski wrote: > Dear Guilers, > > I am updating the installation page of https://jeko.frama.io and I am > wondering how one can install Guile 3 on Archlinux. If anyone has a > suggestion, let me know ! > > -- > Jérémy Korwin-Zmijowski > > GPG: 036B 4D54 B7B4 D6C8 DA62 2746 700F 5E0C CBB2 E2D1 > Hi, It is available on the AUR: https://aur.archlinux.org/packages/guile3 . You could direct your users to use an AUR helper, or install it manually using the usual commands. Hope that helps. ^ permalink raw reply [flat|nested] 4+ messages in thread
* Re: Installing Guile 3 on ArchLinux 2022-04-01 9:26 Installing Guile 3 on ArchLinux Jérémy Korwin-Zmijowski 2022-04-01 10:28 ` Daniel Tornabene 2022-04-01 11:43 ` james @ 2022-04-01 11:49 ` Leo Butler 2 siblings, 0 replies; 4+ messages in thread From: Leo Butler @ 2022-04-01 11:49 UTC (permalink / raw) To: Jérémy Korwin-Zmijowski; +Cc: guile-user How about: L : [-.056165357653364,.7048726499160467, 0.0,-.704872649916047,.0561653576533636]; printf(true,"~{~17,14,,'0,f~%~}",L); -0.05616535765336 0.70487264991605 0.00000000000000 -0.70487264991605 0.05616535765336 To decompose the control string: ~{ ... ~} iterates over the list L; ~17,14,,'0,f prints a field with width 17, with 14 digits to the right of the decimal, uses the default scale factor, pads the right by 0 and uses the default to pad the left (a space). See http://www.lispworks.com/documentation/HyperSpec/Body/22_cc.htm Leo Jérémy Korwin-Zmijowski <jeremy@korwin-zmijowski.fr> writes: > Dear Guilers, > > I am updating the installation page of https://jeko.frama.io and I am > wondering how one can install Guile 3 on Archlinux. If anyone has a > suggestion, let me know ! ^ permalink raw reply [flat|nested] 4+ messages in thread
end of thread, other threads:[~2022-04-01 11:49 UTC | newest] Thread overview: 4+ messages (download: mbox.gz / follow: Atom feed) -- links below jump to the message on this page -- 2022-04-01 9:26 Installing Guile 3 on ArchLinux Jérémy Korwin-Zmijowski 2022-04-01 10:28 ` Daniel Tornabene 2022-04-01 11:43 ` james 2022-04-01 11:49 ` Leo Butler
This is a public inbox, see mirroring instructions for how to clone and mirror all data and code used for this inbox; as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).