Re: GMP GCC C++ Hurd cross-build failure on core-updates

2022-12-19 Thread Svante Signell
On Thu, 2022-12-15 at 12:17 +0100, Svante Signell wrote: > > Hi, > > The problem is probably that you need to add --enable-add-ons=libpthread to > configure when building first version of cross-glibc. This is to obtain weak > references when building libcstd++ of cross-gcc:

Re: GMP GCC C++ Hurd cross-build failure on core-updates

2022-12-15 Thread Svante Signell
On Thu, 2022-12-15 at 01:24 -0600, Nathan Dehnel wrote: > You could try seeing what they're doing here to cross-build > https://github.com/flavioc/cross-hurd > It worked last time I ran it (which was admittedly a while ago) Hi, The problem is probably that you need to add --enable-add-ons=libpthr

Re: GNU Guix 1.4.0rc1 available for testing!

2022-12-01 Thread Svante Signell
On Thu, 2022-12-01 at 10:17 +0100, Ludovic Courtès wrote: > Hello Guix! > > The first release candidate of the upcoming 1.4.0 release is now > available for testing: What about hurd?

Re: Regarding copyright assignment to FSF

2021-08-14 Thread Svante Signell
On Fri, 2021-08-13 at 18:23 +0200, Samuel Thibault wrote: > The GPLv2-only code is essentially the pfinet stack from Linux, for > which we don't have any assignment anyway. But again, this is getting > replaced by lwip. Hello. How to make lwip by default enabled instead of pfinet? Thanks :)

Re: What’s next?

2021-05-16 Thread Svante Signell
On Sat, 2021-05-15 at 19:47 +0200, Ludovic Courtès wrote: > Hello Guix! > > So, now that 1.3.0 is out the door, what’s next?! > > Here’s my wish list of things that look achievable within 4 to 6 > months > (I hope to help on some of these): What about Hurd?

Re: Hurd substitute availability (27.5%) and next steps?

2021-03-09 Thread Svante Signell
On Mon, 2021-03-08 at 22:47 +, Christopher Baines wrote: > Vincent Legoll writes: > > > often I'll be unable to SSH in > > > > Couldn't you get a console from a virtual serial port from the VM ? > > Maybe, I also want to look at getting the serial port output logged > to a file (if that's e

Re: `guix build hello' now succeeds on the Hurd

2020-03-06 Thread Svante Signell
Congratulations!! On Fri, 2020-03-06 at 11:15 +0100, Jan Nieuwenhuizen wrote: > Hi Guix! > > The situation on the Hurd starts to look pretty good > > janneke@debian:~/src/guix$ ./pre-inst-env guix build hello --no-offload > /gnu/store/a2sylb94rm1b6qxcp5mqvgiyx9szipz7-hello-2.10 > jan

Re: Hurd bootstrap breaks guix building binutils-boot0@2.34

2020-02-29 Thread Svante Signell
Hello, I did build the bootstrap binaries some time ago. They were corrupt. As well as the pre-built ones that were available at http://berlin.guix.gnu.org/guix/bootstrap/i586-gnu/20190508 Down-grading from guile-2.2 to guile-2.0 did not improve the situation. Now I have a project to cross-buil

Re: [Proposal] The Formal Methods in GNU Guix Working Group

2020-02-12 Thread Svante Signell
On Wed, 2020-02-12 at 15:16 +0100, zimoun wrote: > Dear, > > On Wed, 12 Feb 2020 at 13:03, Orians, Jeremiah (DTMB) > wrote: > > > We also have a scheme bootstrappable from nothing written in C > > https://github.com/oriansj/mes-m2 > > https://github.com/oriansj/mescc-tools-seed > > The term "no

Re: (Really) Free Software future

2019-10-15 Thread Svante Signell
On Mon, 2019-10-14 at 22:41 -0400, Richard Stallman wrote: > > If systemD is be hard to replace, that is a kind of lock-in. But it > isn't _vendor_ lock-in. systemD, like most free software packages, > is not tied to any particular vendor. Indeed, the usual concept of > "vendor" for free softwa

Re: (Really) Free Software future

2019-10-14 Thread Svante Signell
On Mon, 2019-10-14 at 12:13 -0400, Paul Smith wrote: > On Mon, 2019-10-14 at 12:07 +0200, Svante Signell wrote: > > Perhaps we should divide free software into two groups: 1) Really > > free software where Freedom 1 applies and 2) not-so-free software > > where Freedom 1 d

(Really) Free Software future Was: Re: Proposal to remove the off-topic, ...

2019-10-14 Thread Svante Signell
On Sun, 2019-10-13 at 21:44 -0400, Richard Stallman wrote: > [[[ To any NSA and FBI agents reading my email: please consider]]] > [[[ whether defending the US Constitution against all enemies,]]] > [[[ foreign or domestic, requires you to follow Snowden's example.]]] > > Indeed, gnu-system-discuss

Re: Joint statement on the GNU Project

2019-10-10 Thread Svante Signell
On Fri, 2019-10-11 at 03:11 +0530, Arun Isaac wrote: > > For what it is worth, I have some personal answers to some of these > > questions here: > > > > https://wingolog.org/archives/2019/10/08/thoughts-on-rms-and-gnu > > I largely agree with the thoughts you have expressed in this blog > post.

Re: 'core-updates' Q4 2019

2019-10-10 Thread Svante Signell
On Thu, 2019-10-10 at 16:32 +0200, Ludovic Courtès wrote: > Hi! > > Mathieu, I guess you can go ahead and rename ‘core-updates-next’ to > ‘core-updates’ if nobody’s done it yet. > > Let’s get the ball rolling! What's the status of the GNU/Hurd port with this core-updates release, better or worse

Re: Joint statement on the GNU Project

2019-10-10 Thread Svante Signell
On Thu, 2019-10-10 at 19:22 +, Jean Louis wrote: > > > > Your problem is that you published this statement to guix-devel. If > > you don't mind, I'll forward your mail to gnu-system-discuss, which > > is the appropriate mailing list. > > I don't mind. Sorry Jean Louis, I was addressing Ludo

Re: Joint statement on the GNU Project

2019-10-10 Thread Svante Signell
On Thu, 2019-10-10 at 16:29 +0200, Ludovic Courtès wrote: > Hi Jean-Louis, > You’ve made your point now; I see you’ve even set up a web page to > collect hatred messages against me. > > I ask you to stop using the Guix mailing lists for this now. I will > propose to the Guix maintainers to put y

Re: Ricardo, here is kind question to provide facts on your statements about RMS

2019-10-09 Thread Svante Signell
Dear Guix, and other people signing that statement. cc: RMS I do also have problems with your campaign against RMS. Publishing such a statement as a blog entry for Guix is very inappropriate. Especially in the context of the recent defaming campaign on him personally on social media, making him to

Summary Re: Need help: ... GNU/Hurd ...

2019-09-24 Thread Svante Signell
On Sun, 2019-09-22 at 10:45 +0200, Svante Signell wrote: > > > Replacing the cross-built versions with dynamically built native versions of > > xz > > and guile-2.0, I did come further, but need help interpreting the log file, > > attached: make-boot0-4.2.1.drv.gz. Wher

Need help: Re: Status update+patches:Re: I managed to ... GNU/Hurd ...

2019-09-22 Thread Svante Signell
On Sat, 2019-09-21 at 18:47 +0200, Svante Signell wrote: > On Sat, 2019-09-21 at 13:26 +0200, Svante Signell wrote: > > > Extracting bash, mkdir, tar, xz and guile and run them with --version shows > > that at least xz and guile are corrupt: > > > > gnu/packages/b

Re: Status update+patches:Re: I managed to build guix natively on Debian GNU/Hurd , what's next?

2019-09-21 Thread Svante Signell
On Sat, 2019-09-21 at 13:26 +0200, Svante Signell wrote: > Extracting bash, mkdir, tar, xz and guile and run them with --version shows > that at least xz and guile are corrupt: > > gnu/packages/bootstrap/i586-gnu/xz --version > gnu/packages/bootstrap/i586-gnu/xz: Error creating a

Re: Status update+patches:Re: I managed to build guix natively on Debian GNU/Hurd , what's next?

2019-09-21 Thread Svante Signell
On Fri, 2019-09-20 at 21:12 +0200, Jonathan Brielmaier wrote: > On 20.09.19 20:48, Svante Signell wrote: > If I got your situation correctly you need to do the following steps. > > 1. Obtain the guix git repo > git clone https://git.savannah.gnu.org/git/guix.git > cd guix/ >

Re: Status update+patches:Re: I managed to build guix natively on Debian GNU/Hurd , what's next?

2019-09-21 Thread Svante Signell
On Sat, 2019-09-21 at 00:18 +0200, Ricardo Wurmus wrote: > Svante Signell writes: > > > ./pre-inst-env guix build --target=i586-pc-gnu bootstrap-tarballs 2>&1 | tee > > ../bootstrap-tarballs-i586-pc-gnu.log > > > > Build took around two days, and the l

Re: Status update+patches:Re: I managed to build guix natively on Debian GNU/Hurd , what's next?

2019-09-20 Thread Svante Signell
On Fri, 2019-09-20 at 19:49 +0200, Svante Signell wrote: > On Fri, 2019-09-20 at 19:03 +0200, Ricardo Wurmus wrote: > > Svante Signell writes: > > > > > On a GNU/Linux amd64 qemu image: > > > > > > > > > dpkg -S /usr/share/guile/site/2.2 >

Re: Status update+patches:Re: I managed to build guix natively on Debian GNU/Hurd , what's next?

2019-09-20 Thread Svante Signell
On Fri, 2019-09-20 at 19:03 +0200, Ricardo Wurmus wrote: > Svante Signell writes: > > > On a GNU/Linux amd64 qemu image: > > > > > > dpkg -S /usr/share/guile/site/2.2 > > guile-sqlite3, guile-gcrypt, guile-bytestructures, guile-ssh, guile-json: > > /

Re: Status update+patches:Re: I managed to build guix natively on Debian GNU/Hurd , what's next?

2019-09-20 Thread Svante Signell
On Tue, 2019-09-10 at 10:10 +0200, Svante Signell wrote: > On Sun, 2019-09-08 at 22:55 +0200, Ludovic Courtès wrote: > > Hi, > > > > Ricardo Wurmus skribis: > > > > > I believe the problem is in Guix, which lets the builds for i586-gnu use > > > G

Re: Status update+patches:Re: I managed to build guix natively on Debian GNU/Hurd , what's next?

2019-09-10 Thread Svante Signell
On Sun, 2019-09-08 at 22:55 +0200, Ludovic Courtès wrote: > Hi, > > Ricardo Wurmus skribis: > > > I believe the problem is in Guix, which lets the builds for i586-gnu use > > Guile 2.2, but generates scripts for Guile 2.0. We probably need to > > change it use Guile 2.0 there as it is done for

Re: Status update+patches:Re: I managed to build guix natively on Debian GNU/Hurd , what's next?

2019-09-04 Thread Svante Signell
On Wed, 2019-09-04 at 09:52 +0200, Ricardo Wurmus wrote: > Svante Signell writes: > > > On Wed, 2019-09-04 at 06:31 +0200, Svante Signell wrote: > > > unpacking bootstrap Guile to '/gnu/store/ncp3yhr6c38kqvgb8c967vnhly59yf1m- > > > guile-bootstrap-2.0'

Re: Status update+patches:Re: I managed to build guix natively on Debian GNU/Hurd , what's next?

2019-09-03 Thread Svante Signell
On Wed, 2019-09-04 at 06:31 +0200, Svante Signell wrote: > > unpacking bootstrap Guile to '/gnu/store/ncp3yhr6c38kqvgb8c967vnhly59yf1m- > guile-bootstrap-2.0'... This stuff comes from gnu/packages/bootstrap.scm #!~a export GUILE_SYSTEM_PATH=~a/share/guile/2.0 export GUILE_SYST

Re: Status update+patches:Re: I managed to build guix natively on Debian GNU/Hurd , what's next?

2019-09-03 Thread Svante Signell
On Wed, 2019-09-04 at 00:01 +0200, Ricardo Wurmus wrote: > Svante Signell writes: > > Did you copy this from Debian and moved it into the store? That’s a > very bad idea. Sorry, my fault. I was tired and worked on different boxes and Linux+Hurd VMs. The status is now that .

Re: Status update+patches:Re: I managed to build guix natively on Debian GNU/Hurd , what's next?

2019-09-03 Thread Svante Signell
On Tue, 2019-09-03 at 23:26 +0200, Ricardo Wurmus wrote: > > What are the contents of /gnu/store/alzim8hg6zqvs9s33frh7m9z211lryk3- > bootstrap-binaries-0/bin/tar? Something strange: # ls -l /gnu/store/alzim8hg6zqvs9s33frh7m9z211lryk3-bootstrap-binaries- 0/bin/tar -r-xr-xr-x 2 root root 445560 J

Re: Status update+patches:Re: I managed to build guix natively on Debian GNU/Hurd , what's next?

2019-09-03 Thread Svante Signell
On Tue, 2019-09-03 at 16:34 +0200, Svante Signell wrote: > > > How can I rebuild from scratch to watch the output on the console? Seems to be to wipe out /gnu/store and /var/{guix,log} > This time bash crashed... Took a screen shot of the qemu console. I have to > replace

Re: Status update+patches:Re: I managed to build guix natively on Debian GNU/Hurd , what's next?

2019-09-03 Thread Svante Signell
On Tue, 2019-09-03 at 15:56 +0200, Svante Signell wrote: > I did not look at the console, but found out similar crashes there. How did > you get the output to the client terminal instead of the qemu console (not > possible to cut and paste from that)? I have now tested both the staticall

Re: Status update+patches:Re: I managed to build guix natively on Debian GNU/Hurd , what's next?

2019-09-03 Thread Svante Signell
On Tue, 2019-09-03 at 14:58 +0200, Ricardo Wurmus wrote: > Hi Svante, > > This looks very much like the tar segfault I encountered when I last > played with the Hurd port. > > My notes say this: > > --8<---cut here---start->8--- > - tar fails to run when build

Status update+patches:Re: I managed to build guix natively on Debian GNU/Hurd , what's next?

2019-09-03 Thread Svante Signell
On Sun, 2019-09-01 at 20:01 +0200, Svante Signell wrote: ... I think it is time to wrap up a little now on the Hurd port. Attached are patches I made. Save for some indentation misses. gnu_local.mk.diffguix_scripts_perform-download.scm.diff gnu_packages_bootstrap.scm.diff

Re: I managed to build guix natively on Debian GNU/Hurd , what's next?

2019-09-01 Thread Svante Signell
On Sun, 2019-09-01 at 15:28 +0200, Svante Signell wrote: > On Sun, 2019-09-01 at 11:11 +0200, Svante Signell wrote: > And btw: info guix speaks Spanish as default :( Must be a bug! I've come a little further: Extracting the files from the cross-built files "bash mkdir tar

Re: I managed to build guix natively on Debian GNU/Hurd , what's next?

2019-09-01 Thread Svante Signell
On Sun, 2019-09-01 at 11:11 +0200, Svante Signell wrote: > On Sat, 2019-08-31 at 19:27 +0200, Svante Signell wrote: > > I have some further guix/guile questions when building and running guix on > GHU/Hurd natively > > On the GNU/Hurd image: > download and unpack guix-1

Re: I managed to build guix natively on Debian GNU/Hurd , what's next?

2019-09-01 Thread Svante Signell
On Sat, 2019-08-31 at 19:27 +0200, Svante Signell wrote: I have some further guix/guile questions when building and running guix on GHU/Hurd natively On the GNU/Hurd image: download and unpack guix-1.0.1.tar.gz cd guix-1.0.1 1) When building guix from source ./configure --with-courage --prefix

Re: I managed to build guix natively on Debian GNU/Hurd , what's next?

2019-08-31 Thread Svante Signell
On Sat, 2019-08-31 at 14:12 +0200, Ricardo Wurmus wrote: > Svante Signell writes: > > > > > which g++ > > /home/guest/.guix-profile/bin/g++ > > This is not the GCC that’s used by Guix to build things. See also that > during the build GCC 5.5.0 is used, no

Re: I managed to build guix natively on Debian GNU/Hurd , what's next?

2019-08-31 Thread Svante Signell
On Sat, 2019-08-31 at 10:13 +0200, Julien Lepiller wrote: > > On Sat, 2019-08-31 at 00:17 +0200, Ricardo Wurmus wrote: > > > Svante Signell writes: > > > > > > > Sorry but the tarballs have files like ./bin/tar Where to unpack > > them, on the native Hu

Re: I managed to build guix natively on Debian GNU/Hurd , what's next?

2019-08-31 Thread Svante Signell
On Sat, 2019-08-31 at 00:17 +0200, Ricardo Wurmus wrote: > Svante Signell writes: > > > On Fri, 2019-08-30 at 23:30 +0200, Ricardo Wurmus wrote: > > > Svante Signell writes: > > > > > > > Where to install the bootstrap-binaries: Natively in GNU/Hurd,

Re: I managed to build guix natively on Debian GNU/Hurd , what's next?

2019-08-30 Thread Svante Signell
On Fri, 2019-08-30 at 23:30 +0200, Ricardo Wurmus wrote: > Svante Signell writes: > > > Where to install the bootstrap-binaries: Natively in GNU/Hurd, which already > > hase.g. /bin/tar from the tar package or within Guix on amd64? But > > installing > > tar to /bin

Re: I managed to build guix natively on Debian GNU/Hurd , what's next?

2019-08-30 Thread Svante Signell
On Fri, 2019-08-30 at 20:25 +0200, Svante Signell wrote: > On Fri, 2019-08-30 at 19:14 +0200, Julien Lepiller wrote: > > > a écrit : > > > > > Thanks I'll try to install them. It seems like gcc is a little old, do > > > you have > > > notes somewh

Re: I managed to build guix natively on Debian GNU/Hurd , what's next?

2019-08-30 Thread Svante Signell
On Fri, 2019-08-30 at 19:14 +0200, Julien Lepiller wrote: > > a écrit : > > > Thanks I'll try to install them. It seems like gcc is a little old, do > > you have > > notes somewhere on how these cross-built packages were created? > > > I assume they can be built them within guix e.g. on GNU/Linux

Re: I managed to build guix natively on Debian GNU/Hurd , what's next?

2019-08-30 Thread Svante Signell
On Fri, 2019-08-30 at 01:36 +0200, Ricardo Wurmus wrote: > Hi Svante, > > Here’s what I wrote about this on IRC: > > --8<---cut here---start->8--- > [12:36:12] gnu_srs: get a Debian GNU/Hurd, then build the Guix > dependencies from source. > [12:36:2

Re: I managed to build guix natively on Debian GNU/Hurd , what's next?

2019-08-29 Thread Svante Signell
On Thu, 2019-08-29 at 21:25 +0200, Svante Signell wrote: > Hello, > > After a lot of quirks I managed to get guix built natively on Debian > GNU/Hurd. What to do next? I managed to start the guix-daemon. Next seems to be the bootstrap binaries: guix build hello guix build: error: co

I managed to build guix natively on Debian GNU/Hurd , what's next?

2019-08-29 Thread Svante Signell
Hello, After a lot of quirks I managed to get guix built natively on Debian GNU/Hurd. What to do next? Thanks!

Re: Guix beyond 1.0: let’s have a roadmap!

2019-06-27 Thread Svante Signell
On Thu, 2019-06-27 at 18:05 +0200, Ludovic Courtès wrote: > Hello Guix! > > People rightfully suggested having some sort of a roadmap for what’s > next. Many of us certainly have specific ideas in mind, but having > that written down can certainly clarify what this project is about to > newcomers

Re: Hurd status?

2019-04-14 Thread Svante Signell
On Sat, 2019-04-13 at 21:03 +, Rene wrote: > Hello, > > Only to share the status of the tests I have done: > > * Currently I run Guix (v0.14.0) on Debian/Hurd which takes > approximately 2 days to compile and generate the Hurd binaries > through `guix system init ..`. > > * There are some de

Hurd status?

2019-04-13 Thread Svante Signell
Hello, I've followed this list for some time now, but not subscribed until now. I know Manolis Ragkousis has been working on making GNU/Hurd running under Guix and Shepherd. What is the current status? How much work is needed to be fully supported? And which are the current problems? What about a

Re: An April 1 joke? Re: [PATCH] gnu: Add systemd.

2018-04-04 Thread Svante Signell
Sorry, I'm not subscribed to this list. Hopefully this reply comes in correct thread order. > Hi, > > > And the same happens again: He does not condemn systemd, calling it Free > > Software due to the GPL license. In my opinion systemd is violating one of  > > the 4 > > freeedoms of GPL: Freedom

Re: An April 1 joke? Re: [PATCH] gnu: Add systemd.

2018-04-04 Thread Svante Signell
On Mon, 2018-04-02 at 10:38 -0400, Leo Famulari wrote: > On Mon, Apr 02, 2018 at 11:42:16AM +0200, Svante Signell wrote: > > Hi, > > Hi and welcome to the Guix community... Thanks! > > Seeing this on April 1st I really hope it is a joke. If not I'm not > > ever

An April 1 joke? Re: [PATCH] gnu: Add systemd.

2018-04-02 Thread Svante Signell
Hi, Seeing this on April 1st I really hope it is a joke. If not I'm not ever going to support GNU software or anything GNU related any more. You should be ashamed of yourselves. Do you regularly upgrade the elogind packages by Gentoo,  https://wiki. gentoo.org/wiki/Elogind originally created by A

Re: boot the Hurd with Guix

2018-01-08 Thread Svante Signell
On Mon, 2018-01-08 at 11:20 +0100, Svante Signell wrote: > On Mon, 2018-01-08 at 11:13 +0100, Ludovic Courtès wrote: > > This must come from the lack of /proc/self/exe. > > /proc/self/exe is supported in glibc for Hurd since 2.24-18. Are you using an > earlier version? And o

Re: boot the Hurd with Guix

2018-01-08 Thread Svante Signell
On Mon, 2018-01-08 at 11:13 +0100, Ludovic Courtès wrote: > Hi rennes, > > rennes skribis: > > >   1) Manually run : > >    > > '/gnu/store/6fgz3s8fjva40hsdvs2hs0f5p4bw12jc-guile-static-stripped- > > 2.2.2/bin/guile   > > --version' > > > >   Output: > > > > guile: warning: failed to insta

Re: GSoC: Manolis to work on Guix port to GNU/Hurd

2015-04-30 Thread Svante Signell
On Thu, 2015-04-30 at 11:27 +0300, Manolis Ragkousis wrote: > Hey Andreas :D > > On 30 Apr 2015 00:53, "Andreas Enge" wrote: > > > Not to mention that github is not exactly popular in the free > software > > community, see "service as a software substitute", or > > > https://www.gnu.org/philoso

Re: GSoC: Manolis to work on Guix port to GNU/Hurd

2015-04-29 Thread Svante Signell
On Wed, 2015-04-29 at 21:40 +0200, Ludovic Courtès wrote: > Hello! > So please welcome Manolis again. :-) Manolis, welcome. Any contribution to GNU/Hurd is appreciated, especially the packaging :)