* 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).