Re: Guix related things in Germany at the end of October/start of November

2023-09-19 Thread Tobias Platen
On Sat, 2023-09-09 at 08:23 +0200, Matt wrote: > >   On Tue, 05 Sep 2023 19:28:09 +0200  Christopher Baines  wrote - > -- > >  > Is anyone else planning to attend these events, or otherwise > interested >  > in meeting up in Germany around these dates? > > I recently moved to Hamburg. 

Re: Branch (and team?) for mesa updates

2023-09-07 Thread Tobias Platen
On Sun, 2023-08-27 at 12:45 +0800, dan wrote: > Hi John, > > Aug 26, 2023 08:51:49 John Kehayias : > > > > > > Though at least (gnu packages gl) looks pretty > > reasonable to start for maybe a graphics team? Maybe with vulkan? > > > > I'm still not sure but I should probably propose something

Re: plasma desktop in guix

2023-07-26 Thread Tobias Platen
That looks good. Soon I'll try to get XRDesktop working on the Guix System, either with Gnome or with KDE. Still a long way to get it working on my Talos II. (I will have to upgrade my GPU to one from RED Semiconductor as the current one needs non-free firmware.) On Fri, 2023-07-21 at 20:30

Re: Blog post on the Full-Source Bootstrap

2023-04-26 Thread Tobias Platen
This looks good, I am interested in doing a port to the POWER ISA. Currently on my OrangeCrab I only have one small C program running, coldboot. Everything from the HDL to the BIOS should be Full-Source. https://git.libre-soc.org/?p=ls2.git;a=blob;f=coldboot/coldboot.c Tobias On Wed,

my first package: nearly finnished

2023-03-06 Thread Tobias Platen
I run guix lint which gave me two warnings, I fixed the rest my self: gnu/packages/speech.scm:342:12: sekai@0.6.0: 'pkg-config' should probably be a native input gnu/packages/speech.scm:332:12: sekai@0.6.0: the source file name should contain the package name Once done I will send an email to

Re: Hoping to donate/sell a Talos II motherboard

2023-03-06 Thread Tobias Platen
I would want to see running the Guix System on both POWER9 and the libre-soc. After I watched CPU tuning in GNU Guix[1], my first thaught was to add the SVP64 binutils to Guix as a second CPU variant. [1] https://fosdem.org/2023/schedule/event/cpu_tuning_gnu_guix/ Tobias On Wed,

Re: Guix, Nix flakes, and object capabilities

2023-03-06 Thread Tobias Platen
I recently saw that the SlimeVR server[1] has nix flakes, is there a way to convert this for guix? On Tue, 2023-02-28 at 22:13 -0500, Jonathan Frederickson wrote: > Hello Guix, > > I recently had a discussion in #spritely on Libera.Chat about Guix > and > Nix, and in particular a (relatively)

Guix Games Collection

2023-02-01 Thread Tobias Platen
I had submitted a talk for LibrePlanet called "Gaming on a Talos II - how I avoid using Steam". Unfortunately, there were so many high quality talks that it was impossible to fit them all in the program. So I will do a lightning talk [1], about my work in progress Guix Games Collection, a list of

Re: FOSDEM’s coming!

2023-01-23 Thread Tobias Platen
Am Montag, dem 23.01.2023 um 18:39 +0100 schrieb Ludovic Courtès: > The blog post is on-line now: > >   https://guix.gnu.org/en/blog/2023/meet-guix-at-fosdem-2023/ > > Thanks everyone.  This program is exciting! > > Ludo’. > Unfortunately I'll won't make it to Brussels this year, so I ask if

Re: GNU Guix 1.4.0 released

2023-01-14 Thread Tobias Platen
Hi, Currently I am testing that one on my ThinkPad X200 and on my Talos II. Tobias Alexandra On Thu, 2023-01-05 at 10:57 +0100, Simon Tournier wrote: > Hi Ludo, all, > > On Tue, 03 Jan 2023 at 10:08, Ludovic Courtès wrote: > > > In my experience though, a lot of the work is coordination:

Re: The Guix Days! (FOSDEM 2023)

2023-01-14 Thread Tobias Platen
Hello,  Unfortunately I won't go to FOSDEM this year, so I will watch the live streams from home. Tobias Alexandra On Tue, 2023-01-03 at 22:10 +0100, Ludovic Courtès wrote: > Hello, > > Pjotr Prins skribis: > > > Just a heads up: we are excited to have Guix days and the FOSDEM > > devroom in

Re: Status of armhf-linux and powerpc64le-linux

2022-10-31 Thread Tobias Platen
On Fri, 2022-10-21 at 10:43 +0200, Ludovic Courtès wrote: > Moin! > > Mathieu Othacehe skribis: > > > > - armhf-linux is disabled on ci.guix due to improper > > > offloading > > >    setup (probably along the lines of > > >    ).  Should we try

Re: Updating minetest to 5.6.0?

2022-09-15 Thread Tobias Platen
I'm also working on a VR version of minetest, I'll plan to package that one too.

OpenVR in Guix

2022-09-15 Thread Tobias Platen
I saw that Guix includes OpenVR[1], which is kind of problematic, because there is no libre compatible runtime. I have a Valve Index, which I use without Steam[2], using the libre runtime Monado, which currently only supports OpenXR[3], but I plan to add a nonsteam OpenVR runtime to Monado. So I

My first package

2022-09-15 Thread Tobias Platen
Hello, I've created my first package for guix, the sekai speech synthesis toolkit which I use mainly for producing singing voice with lilypond. I'll also plan a talk at the gnu hackers meeting how I make Desktop Music using the Guix System. Two more packages will follow next. Tobias Alexandra

Re: secure boot

2022-08-20 Thread Tobias Platen
That would be interesting, even on a Talos II, which has owner controlled secure boot. There will be no need to sign with a Microsoft key as most UEFI implementations do. There are two Microsoft keys, one for Windows and one for all other OSes. On Sat, 2022-08-20 at 13:23 +0200, Antonio Carlos

Packaging DOS Games

2022-08-18 Thread Tobias Platen
I recently found dosdefender-ld31, a public domain DOS game, designed to run in dosbox. To build you only need gnu make and a version of gcc that targets i386-gnu or i386-gnu-linux.

Guix on my ROCKPro64 and on an old Android Tablet

2022-08-13 Thread Tobias Platen
Today I began building the Guix System for my ROCKPro64. I installed Guix on top of Debian and tried to build uboot, it works: guix build u-boot-rockpro64-rk3399 successfully built /gnu/store/g1d4kjgn9b46vqk9mwhd0kc2r6sfi7cz-u-boot- rockpro64-rk3399-2022.04.drv

Re: gnucash: missing Adwaita icon theme

2022-07-23 Thread Tobias Platen
I saw something similar with frescobaldi, tomorrow I'll check again.

glibc-2.33 fails to build on POWER9

2022-07-14 Thread Tobias Platen
I tried to build glibc-2.33 on my Talos II (no cross compile here), it fails because the compiler is likely outdated. checking if the target machine is at least POWER8... yes checking if the compiler supports -mno-gnu-attribute... yes checking if gcc compiles signbit with 128-bit floating point

Re: emacs-lilypond-mode should we?

2022-07-12 Thread Tobias Platen
On Mon, 2022-07-11 at 16:29 +0300, Efraim Flashner wrote: > On Mon, Jul 11, 2022 at 02:10:36AM -0500, jgart wrote: > > Hi, > > > > Should we package this mode separately from lilypond as emacs- > > lilypond-mode? > > > >

Re: Reminder: please add yourself to a team

2022-07-12 Thread Tobias Platen
On Wed, 2022-07-06 at 10:45 +0200, Ricardo Wurmus wrote: > lease take the time to add an entry for yourself to etc/teams.scm.in > in > the Guix repository.  Here’s an example commit: > >    >

Re: Ten Years of Guix: Call for contributions

2022-07-03 Thread Tobias Platen
On Fri, 2022-07-01 at 15:30 +0200, Ludovic Courtès wrote: > Hello Guix! > > The Ten Years of Guix  event in Paris, 16–18 September, is shaping > up, > and you can register! > >   https://10years.guix.gnu.org/ > > (There’s spam in the comment section of the registration form that we > can’t

Re: D Packages in Guix

2022-06-21 Thread Tobias Platen
On Tue, 2022-06-21 at 18:55 +0200, Tobias Platen wrote: > I had a look at Inochi2D[1], which is written in D. > D has its own packagemanager called dub, so a dub-importer will be > needed to build Inochi2D with guix > > [1] https://github.com/Inochi2D/inochi2d > > Tobias >

D Packages in Guix

2022-06-21 Thread Tobias Platen
I had a look at Inochi2D[1], which is written in D. D has its own packagemanager called dub, so a dub-importer will be needed to build Inochi2D with guix [1] https://github.com/Inochi2D/inochi2d Tobias

Packaging Godot games with Guix

2022-05-12 Thread Tobias Platen
Hello, I tried to package the game BeepSaber for Guix, which does not really use a build system. You just git clone the repository containing the game, then import the game into Godot by clicking import. When I just do cd /gnu/store/path-to-beepsaber && godot, the Godot engine is unable to import

Guix System on RockPro64

2022-05-03 Thread Tobias Platen
Hello, I had a look at the guix page, there is a latest version image for the PineBook Pro, which uses the same SoC. Unfortunately I was unable to find the reciepe to build that image. The guix page is currently down, I will try again tomorrow. Today I was able to install guix on top of Debian

Re: Let’s meet in person in Paris, Sept. 16–18!

2022-05-02 Thread Tobias Platen
I'm not sure, but most likely I want to participiate in this conference. Then I will present the Guix Gaming Service,  on which I am currently working and the proposed Guix Deck hardware. Tobias (alyx)

Re: Devicetree overlay (on Rock64)

2022-04-11 Thread Tobias Platen
I have a ROCKPro64 (Hexa-Core Rockchip RK3399, 4GB) which I plan to use for guix development too. I was already able to get PureOS in a chroot. Tobias

Fwd: [Libre-soc-dev] CLEAR, Open Source FPGA

2022-03-28 Thread Tobias Platen
If they succeed the free toolchain can be packaged in guix. --- Begin Message --- https://groupgets.com/campaigns/1003-clear-the-open-source-fpga-asic-by-chipignite please do share that widely, there are a few days to go before they reach 200. both the HDL and the toolchain are Libre, they

Re: announcement of minimal binary boot (mb2) with indirection table forth

2022-02-24 Thread Tobias Platen
On Wed, 2022-02-23 at 22:54 +0100, Stefan Karrmann wrote: > for octal keyboard input on x86: 32 octets (!) >   - for octal uninitialized serial input on x86: 34 octets >   - for octal initialized serial input on x86:   41 octets >   - for octal linux input on x86:    48

Re: Excessively energy-consuming software considered malware?

2022-02-20 Thread Tobias Platen
Yes, bitcoin could be considered malware. There is GNU Taler which is more efficent. Unfortunately Taler has not started yet, there is no working exchange at the moment. Tobias

Re: CWiid fails to build

2022-02-19 Thread Tobias Platen
nearly finnished: I get a make[1]: ldconfig: No such file or directory error when I try to compile my package.

CWiid fails to build

2022-02-19 Thread Tobias Platen
Hello, I added the CWiid package to guix, and now autoconf fails when building. I attached the logs and the package definition. Tobias starting phase `set-SOURCE-DATE-EPOCH' phase `set-SOURCE-DATE-EPOCH' succeeded after 0.0 seconds starting phase `set-paths' environment variable `PATH' set to

Planning to package Veloren in Guix

2022-02-12 Thread Tobias Platen
Hello, Today I released my prerecorded talk about Gaming on Guix[1], where I mentioned Veloren. So next I want to package Veloren, which is written in Rust. Tobias [1] https://tube.tchncs.de/w/wNhzvYHdSiiGNx8zFr3n7H

Re: cross compiling using qemu-user-static

2022-02-06 Thread Tobias Platen
is now fixed, I can now login from my laptop, and I also use two of my laptops USB ports for both networking and charging the battery. isengaara-openpandora:~$ uname -a Linux isengaara-openpandora 3.2.57 #982 Sun Apr 20 20:33:11 EEST 2014 armv7l GNU/Linux isengaara-openpandora:~$ ls /gnu/store/

cross compiling using qemu-user-static

2022-02-05 Thread Tobias Platen
Some time ago I was able to cross compile emacs to run on the OpenPandora[1] using guix. That seems to be broken: guix pack --target=armhf-linux-gnu openssh emacs libhandy guix pack: error: gnu/packages/emacs.scm:77:2: emacs@27.2: build system `glib-or-gtk' does not support cross builds So I

Re: Desktops on non-x86_64 systems

2021-11-27 Thread Tobias Platen
On Sat, 2021-11-27 at 19:43 -0800, John Soo wrote: > Hi Guix, > > I had the same thought as Maxim. In my quest for arm support for ghc, > I thought about using a cross-compiled version. Is this possible or > even desirable?  I think for rust and ghc it would be very helpful - > if somewhat less

Re: Guix packaging meetup: Saturday 27 November

2021-11-27 Thread Tobias Platen
I'm interested in joining that packaging meetup, since I have been using Guix for some years, and want to package some software that I have written and already packaged for Debian. Tobias Alexandra On Thu, 2021-11-25 at 22:01 +0100, Tobias Geerinckx-Rice wrote: > Hi jgart, > > Thank you for the

XFCE on Guix System shows rootfs twice no USB flash drives

2021-11-07 Thread Tobias Platen
Hello, I installed the GNU Guix System 1.3.0 on my Laptop using the XFCE desktop. I can mount USB flashdevices using udiskctl and once mounted they show up in thunar. But before mounting they do not show in thunar. This behaviour is different from other GNU/Linux distros. I think a package is

Re: Time for a request-for-comments process?

2021-10-28 Thread Tobias Platen
GNUnet has something similar called the GANA (GNUnet Assigned Numbers Authority) https://git.gnunet.org/gana.git/ On Thu, 2021-10-28 at 12:33 +0200, Bengt Richter wrote: > Hi Zimoun, Ludo, > > On +2021-10-28 10:42:02 +0200, zimoun wrote: > > Hi Ludo, > > > > On Wed, 27 Oct 2021 at 23:22,

Re: I just got my pinephone.

2021-10-02 Thread Tobias Platen
I ordered my Librem 5 about one year ago and I'm still waiting for it. Since backorder shipping resumes October 2021, I expect to get mine in Q4 2021. On Sat, 2021-10-02 at 09:04 -0400, Christine Lemmer-Webber wrote: > jbra...@dismail.de writes: > > > October 1, 2021 6:56 PM, "Christine

Guix pull fails on my Talos II

2021-07-02 Thread Tobias Platen
ot;; host version: "1.3.0"; pull-version: 1). Please report it by email to . -- Tobias Platen

Re: Libre GPU/VPU/SOC updates/OFF TOPIC

2021-07-02 Thread Tobias Platen
re-SOC port we can start with a Talos II or BlackBird. -- Tobias Platen

Re: bug#47615: [PATCH 0/9] Add 32-bit powerpc support

2021-05-31 Thread Tobias Platen
t a prominent > >> warning for these. > > [...] > > > The problem then becomes whoever tinkers with it will have to keep > > either a custom guix.m4 for their guix package or a custom guix package > > with "--with-courage" as a configure-flag. > &

Re: Please review blog post draft: powerpc64le-linux support

2021-04-10 Thread Tobias Platen
On Fri, 09 Apr 2021 00:59:44 +0200 Léo Le Bouter wrote: > On Thu, 2021-04-08 at 09:37 -0700, Chris Marusich wrote: > > They also say in that Twitter thread: "We have been putting together > > our > > systems from blob-free components only (sans NIC as is known and > > being > > actively worked),

Re: I've rebased wip-ppc64le onto core-updates

2021-03-01 Thread Tobias Platen
s SVP64, and also plans to extend the POWER ISA to support GPU like instructions. Since I work mostly on the libre-soc I will have less time to contribute to the GUIx project. The relevant bug report to GUIX is https://bugs.libre-soc.org/show_bug.cgi?id=602 -- Tobias Platen

Music Production on Guix System

2021-01-17 Thread Tobias Platen
-utauly [2] https://www.qtau.de/ -- Tobias Platen

Re: GNU Guix 1.2.0rc1 available for testing!

2020-11-25 Thread Tobias Platen
One this patch is in, I think we’re ready for either an RC2 or the real > > thing. > > Pushed to 1.2.0 and master. Thanks Florian for all the testing! > > No objections to make the rc2 the final one. > > Thanks, > > Mathieu > -- Tobias Platen

Re: Guix now compiles on my Talos II, but download fails

2020-11-14 Thread Tobias Platen
On Mon, 9 Nov 2020 22:13:52 +0100 Tobias Platen wrote: > I checked out the wip-ppc branch which I compiled on my Talos II. Guix now runs and is able to download files and put them in the store. ./pre-inst-env guix download https://ftp.gnu.org/gnu/guix/guix-1.1.0.tar.gz works, but ot

Re: Guix now compiles on my Talos II

2020-11-14 Thread Tobias Platen
ls > "You can have whatever you want, as long as you help enough other people get > what they want." - Zig Ziglar -- Tobias Platen

Working Guix on 64 bit PowerPC.

2020-11-10 Thread Tobias Platen
' for system 'powerpc64-linux' [user@staticvoid guix]$ cat /proc/cpuinfo processor : 0 cpu : POWER9, altivec supported clock : 2154.00MHz revision: 2.2 (pvr 004e 1202) -- Tobias Platen

Guix now compiles on my Talos II

2020-11-09 Thread Tobias Platen
I checked out the wip-ppc branch which I compiled on my Talos II. -- Tobias Platen

Re: Porting Guix to RISCV

2020-11-03 Thread Tobias Platen
[user@staticvoid ~]$ arch ppc64 [user@staticvoid ~]$ /gnu/store/mizksigsqgn3h4mvignqg8j8hjlwrbg3-hello-2.10/bin/hello Hello, world! [user@staticvoid ~]$ -- Tobias Platen

Re: Porting Guix to RISCV

2020-11-01 Thread Tobias Platen
:) > > > live well, > vagrant The libre-soc also supports riscv userspace, but its primary architectrue is the POWER ISA. Therefore I propose to port guix to the POWER architecture too. Tobias -- Tobias Platen

Crosscompiling C++ for powerpc64le fails

2019-05-28 Thread Tobias Platen
Hello, Im trying to cross compile basic GNU software such as bash and coreutils for powerpc. When building mpfr the build fails using the message above. I guess I have to specify the include paths for glibc to the configure script, since headers won't be found in /usr/include Tobias

Re: GNU Guix 1.0.0 released

2019-05-05 Thread Tobias Platen
Am 02.05.2019 um 14:12 schrieb Ludovic Courtès: > We are thrilled to announce the release of GNU Guix 1.0.0! > > This 1.0 release is a major milestone for Guix. It represents 7 years > of hard work with more than 40,000 commits by 260 people, 19 releases, > and an equally amazing amount of

Re: Guix on Purism's Librems?

2019-04-19 Thread Tobias Platen
Am 18.04.2019 um 04:44 schrieb Katherine Cox-Buday: > Hey all, > > I brought this up in IRC tonight, and I thought I'd cast a net on the > mailing list to collect experiences. I am considering purchasing a > Librem laptop, and I was curious how Guix runs on it. Would anyone who > has these

Failure to build powerpc64le-linux glibc

2019-03-27 Thread Tobias Platen
Hello, I have tried to cross compile the bootstrap binaries for ppc64le using ./pre-inst-env guix build --target=powerpc64le-linux bootstrap-tarballs but the build failed again, it seems that this is a known bug that affects other architectures.

Re: Patch adding POWER9 cross compile support

2019-03-13 Thread Tobias Platen
I had to work on the core-updates branch, or in the past on the wip-gcc7 branch. I mentioned this some month ago. The current branch has an outdated gcc version. On 03/12/2019 03:10 PM, Ludovic Courtès wrote: Hi! Efraim Flashner skribis: On Sun, Mar 10, 2019 at 09:20:04PM +0100, Tobias

Re: Patch adding POWER9 cross compile support

2019-03-10 Thread Tobias Platen
01379.html Tobias On 03/10/2019 06:27 PM, Ludovic Courtès wrote: Hi Tobias, Tobias Platen skribis: On 03/06/2019 02:54 PM, Ludovic Courtès wrote: + ,@(if (string-prefix? "powerpc9-" target) + ;; On POWER9 we n

Re: Patch adding POWER9 cross compile support

2019-03-06 Thread Tobias Platen
On 03/06/2019 02:54 PM, Ludovic Courtès wrote: + ,@(if (string-prefix? "powerpc9-" target) + ;; On POWER9 we need this because XXX. + '("--with-long-double-128") +

Re: Patch adding POWER9 cross compile support

2019-02-28 Thread Tobias Platen
In the next step I will try to build the bootstrap binaries. On 02/27/2019 10:24 PM, Jonathan Brielmaier wrote: On 2/27/19 7:29 PM, Tobias Platen wrote: I succesfully crosscompiled GNU Hello and all its dependencies including glibc for POWER9. Without my patch glibc will fail to build. I am

Patch adding POWER9 cross compile support

2019-02-27 Thread Tobias Platen
I succesfully crosscompiled GNU Hello and all its dependencies including glibc for POWER9. Without my patch glibc will fail to build. I am using the core-updates branch, since the default branch uses an outdated version of GCC. Tobias diff --git a/gnu/packages/cross-base.scm

Re: Trying to crosscompile for POWER9

2018-10-20 Thread Tobias Platen
It is the same error in both cases. the binary128 type is not avialable in gcc, but requires for glibc to build. Im now trying out the GCC 7 branch On 10/20/2018 08:31 PM, Efraim Flashner wrote: On Sat, Oct 20, 2018 at 05:05:35PM +0200, Tobias Platen wrote: On 10/16/2018 08:24 PM, Efraim

Re: Trying to crosscompile for POWER9

2018-10-20 Thread Tobias Platen
On 10/16/2018 08:24 PM, Efraim Flashner wrote: On Tue, Oct 16, 2018 at 08:08:27PM +0200, Tobias Platen wrote: Hello, When I try to compile GUIX for POWER9 an old version of GCC is used. How do I use the gcc version used for cross compiling. ./pre-inst-env guix build --target=powerpc64le

Trying to crosscompile for POWER9

2018-10-16 Thread Tobias Platen
Hello, When I try to compile GUIX for POWER9 an old version of GCC is used. How do I use the gcc version used for cross compiling. ./pre-inst-env guix build --target=powerpc64le-linux hello checking if powerpc64le-linux-gcc supports binary128 floating point type... no checking if the target

Re: Terrible Docs: Whats the qemu image password?

2018-07-08 Thread Tobias Platen
The username is root, and there is no password Tobias On 08.07.2018 07:04, Tommy Lane wrote: So, what’s the qemu image password and username? Thanks, -Tommy

Re: Have GPGPU support in guix?

2018-04-25 Thread Tobias Platen
require blobs for power management and instruction scheduling. Tobias Platen -- Ricardo

Re: Scope of support for Guix on other distros

2017-10-03 Thread Tobias Platen
On 02.10.2017 20:52, Christopher Allan Webber wrote: > ng0 writes: > >> Christopher Allan Webber transcribed 0.6K bytes: >>> Konrad Hinsen writes: >>> On 02/10/2017 11:18, David Seaward wrote: > To what extent is support for other distros a priority for the Guix > project? In

How to add library dependency to guix build

2016-08-31 Thread Tobias Platen
Hello, I tried to package a speech syntesizer framework called WORLD for Guix, which I had earlier packaged for Trisquel. The guix build process does not find , even if I declared a dependency on libsndfile. Tobias Platen warning: failed to install locale: Invalid argument The following package

New to GNU Guix packaging

2016-04-17 Thread Tobias Platen
, and indirectly to Debian derivates such as Ubuntu and Trisquel, I decided to go with GNU Guix instead. How do I get started in packaging. [1] http://ongakunix.isengaara.de/ongakunix/ Tobias Platen