unofficial mirror of guile-user@gnu.org 
 help / color / mirror / Atom feed
* 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).