Leo Famulari writes:
FYI, the latest stable Linux release (4.17.7) is not suitable
for i386
(i686-linux) systems. Quoting Greg Kroah-Hartman:
"NOTE, this kernel release is broken for i386 systems. If you
are
running such a machine, do NOT update to this release, you will
not be
able to
Orians, Jeremiah (DTMB) writes:
Ricardo, we love you dearly but please for the love of all that
is holy;
Get back to that vacation! *cracks whip* Burnout is a real thing
and believe me when I say bootstrapping is a marathon
In spite of making noise, burn out is such a terrible killer of
Ludovic Courtès writes:
Hello,
Mark H Weaver skribis:
Efraim Flashner writes:
It sounds like adding Qt to hplip adds plenty of GUI goodies.
Could we
leave hplip as-is and have sane-backends depend on a Qt-less
hplip-minimal or hplip-nogui, since it shouldn't need any GUI
from hplip?
g
because they did not read the documentation.
Brett Gilio
bre...@posteo.net | b...@member.fsf.org
Free Software -- Free Society!
On 07/12/2018 11:01 AM, Ludovic Courtès wrote:
Hi Chris,
Thanks for your feedback (and apologies for the hiccups!).
Chris Marusich skribis:
Thank you for your
Hi all.
I am still fairly new to the concept of packaging for Guix. I
also, from
time to time, enjoy hacking on GNOME components. One of the
components
that I am currently lacking is tracker-sparql-2.0. I am pretty
certain
this is due to the tracker package being out-of-date. Do you all
have
Leo Famulari writes:
On Wed, Oct 10, 2018 at 03:56:42PM -0500, Brett Gilio wrote:
1) The description is virtually null, because I am not quite
sure I
understand fully what to put there. The documentation helped,
but it
still feels ambiguous to this specific project.
The description
I was wondering if there has been any discussion on introducing a
way to
flag out-of-date packages either through the guix package website
or
using a guix package flag. I, personally, come from an
Arch/Parabola
background, and such a feature was usually a good way to alert the
community of
Leo Famulari writes:
On Thu, Oct 11, 2018 at 04:33:31PM -0500, Brett Gilio wrote:
Thank you for your feedback on the description. As for whether
or not
the application works, yes. I click on "Add stations to
library". It
takes a few seconds for it to populate, but I am eventua
Hi all,
Two questions here.
1) Has anybody already started taking to try and upgrade Mono to latest?
If not, I will give it a go.
2) Have we started any packaging on .NET Core, would like to know to
prevent redundancy in work.
Best,
--
Brett M. Gilio
Free Software Foundation, Member
ems (cons (file-system
(device (file-system-label "my-root"))
(mount-point "/")
(type "ext4"))
%base-file-systems))
(users (cons (user-account
(name "bre
Chris Marusich writes:
Hi Brett!
Welcome! I'm also curious about the situation with Rust. I'm
learning
Rust because I find it interesting, and I use GuixSD, so here my
two
interests (Rust and Guix) overlap.
Brett Gilio writes:
Hi all, I am curious about the status of providing rustup
Efraim Flashner writes:
> On Tue, Oct 23, 2018 at 01:51:21AM -0500, Brett Gilio wrote:
>> Hi all,
>>
>> I am trying to customize my the default gnome-package which gets
>> installed with the gnome-desktop-service.
>>
>> My strategy here has been
Efraim Flashner writes:
> On Tue, Oct 23, 2018 at 01:04:05PM -0500, Brett Gilio wrote:
>>
>> Efraim Flashner writes:
>>
>> > On Tue, Oct 23, 2018 at 01:51:21AM -0500, Brett Gilio wrote:
>> >> Hi all,
>> >>
>> >> I am trying to
.
>
> That being said it would certainly be nice to have packages for it in Guix.
>
> On October 24, 2018 10:03:29 PM GMT+09:00, l...@gnu.org wrote:
>>Hello!
>>
>>Brett Gilio skribis:
>>
>>> Two questions here.
>>>
>>> 1) Has anybod
Ludovic Courtès writes:
> Hi!
>
> Brett Gilio skribis:
>
>> I am trying to customize my the default gnome-package which gets
>> installed with the gnome-desktop-service.
>
> On this topic, don’t miss Chris’s excellent tutorial:
>
>
> https://gnu.org/s
Hi all,
I notice that in February 2017 "Alex . ter . weele" attempted to package
Leiningen for Guix. I was wondering if anybody has a latest attempt at
that. I wouldn't mind picking up on it and seeing if we can't get it
added.
--
Brett M. Gilio
Free Software Foundation, Member
Mark H Weaver writes:
> Hi Brett,
>
> Brett Gilio writes:
>> Hydra seems to be (at least in part) working on my end. I noticed Berlin
>> went down, though, when I was tracking a bug.
>
> Hydra.gnu.org has been offline since about 6 days ago, so there's no
> w
Ludovic Courtès writes:
> Hello Guix!
>
> We have created a new mailing list for announcements: releases, build
> farm news, security advisories, incompatibilities, etc.
>
> https://lists.gnu.org/mailman/listinfo/info-guix
>
> This is going to be low-traffic, with posts by the developers in
Ali Nourmohammadi writes:
> Hi thereI'm working on a project that want to build a guix based operating
> system.For the first issue my job is to run lxqt on guix with openbox window
> manager.After searching alot i failed in my job.So my last hope is on you to
> help me with that.As i said i
Chris Marusich writes:
> Hi Brett,
>
> Brett Gilio writes:
>
>> (define-public gnome-custom
>> (package (inherit gnome)
>> (name "gnome-custom")
>> (inputs (alist-delete "nautilus" (package-inputs gnome)
>
> The
Clément Lassieur writes:
> Hi,
>
> Berlin returns 502, there are about 1000 builds (triggered by the Qt
> update) that weren't built. If Hydra is still down too, there's
> currently no way to upgrade Guix without rebuilding the world.
>
> Cheers,
> Clément
Hydra seems to be (at least in part)
swedebugia writes:
> On 2018-11-10 17:01, swedebugia wrote:
>> Hi
>>
>> I like this firewall, has anybody started packaging it?
>>
>> If not I'm going to try.
>>
> Where should it be? In networking.scm or python.scm?
>
> We have no other firewall packages judging from my emacs-guix regex
and
realized that I do not think I had heard anything further on the
progress of updating GNOME since it is carrying many out-dated packages.
Anybody have any further thoughts?
Brett Gilio
Ricardo Wurmus writes:
> Hey Guix,
>
> today we finally succeeded in attaching an external storage array to the
> server known as berlin.guixsd.org. I relocated the /gnu/store directory
> from the local 1TB disk to the external storage. The result is that we
> now have 36TB of free space on
Hi all. I am attempting to package the dotnet packages for Guix.
One of
the build dependencies is LLDB. Is it not packaged with clang or
llvm?
What is our procedure for dealing with LLDB or is it simply
needing
packaged?
--
Brett M. Gilio
Free Software Foundation, Member
Ricardo Wurmus writes:
Ludovic Courtès writes:
In fact, I see that Ricardo upgraded Tracker in
‘wip-gnome-updates’:
https://git.savannah.gnu.org/cgit/guix.git/commit/?h=wip-gnome-upgrades=dd9110df3ad1efaf5cf716f6be5b710b5d348400
Ricardo, do you think we could cherry-pick it on
Hi all,
In my time using GuixSD I have had some relative success in not
only
learning the environment, but also getting some of my peers to
switch.
As with Guix still being very much a growing project, we all know
the
excitement and struggle that comes with the repository lacking
some
Hi all, I am curious about the status of providing rustup
toolchain
management and cargo for guix. I work often in rust, and these
tools are
pretty essential. I might be interested in helping with the
packaging
here, but I would like to know what the Guix community has on this
so
far.
Best
Hi all,
My name is Brett Gilio, I am a research scientist and hobbyist
developer coming from Parabola.
I am trying out GuixSD, and will probably be around in the IRC
group and
mailing list a bit more. I look forward to engaging with you all.
Best
--
Brett M. Gilio
Free Software Foundation
Hi, all. I am attempting to install cabal-install to my guix
profile. I
am getting a build error.
build of
/gnu/store/4rh26abgx8k0vkwsf57n4igp1mcrsfqg-cabal-install-1.22.6.0.drv
failed
I tried to look at the build log indicated in the error, but it is
not
parsing any unicode characters.
Hi all,
I have just attempted by first complete Guix packaging. I am
submitting
it here for criticism. Here are a few things I am missing, or is
not
working for me on my end.
1) The description is virtually null, because I am not quite sure
I
understand fully what to put there. The
Tobias Geerinckx-Rice writes:
Brett,
Brett Gilio wrote:
Hi all, I am working on packaging the internet radio streaming
application, gradio.
Things seem to be going well, except during build-time I am
getting
FileNotFoundError: [Errno 2] No such file or directory:
'glib-compile-resources
Hi all, I am working on packaging the internet radio streaming
application, gradio.
Things seem to be going well, except during build-time I am
getting
FileNotFoundError: [Errno 2] No such file or directory:
'glib-compile-resources': 'glib-compile-resources'
Any thoughts as to where this
Hi all,
I am beginning my attempt to package QtCreator. My approach, thus
far,
has been to look over the build documentation for the project in
question, and then incrementally change the Scheme definition for
the
package. Usually, this works out pretty well, but here I am
running into
a
Cecilia Ortmann writes:
Hi everyone!
My name is Cecilia, I'm from Buenos Aires, Argentina, and I'm
applying for
an Outreachy Internship, for the period December 2018 to March
2019.
I'm interesting in making contributions to GNU Guix. I'll be
glad to
receive any instructions or
Ludovic Courtès writes:
Hello Brett,
To complete what Nils wrote, Tracker is indeed lagging behind on
master:
--8<---cut
here---start->8---
$ guix refresh tracker
gnu/packages/gnome.scm:5715:13: tracker would be upgraded from
1.12.3 to 2.0.4
Björn Höfling writes:
On Mon, 08 Oct 2018 14:42:31 -0500
Brett Gilio wrote:
Ludovic Courtès writes:
> Hello Brett,
>
> To complete what Nils wrote, Tracker is indeed lagging behind
> on
> master:
>
> --8<---cut
> here---start-
Ricardo Wurmus writes:
The interesting part is right before this backtrace.
Thank you for the insight Ricardo. Here is the first iteration of
an
error and the backtrace.
/gnu/store/rbrandv7anzjxqkr40d7fkanzssslk4b-bash-minimal-4.4.19/bin/bash:
../../utils/g-ir-merge/g-ir-merge:
On 09/25/2018 12:32 AM, Chris Marusich wrote:
Hi Guix!
I recently submitted a Guix-themed talk proposal for SeaGL 2018 [1], a
local GNU/Linux conference that takes place in November here in Seattle,
and I'm happy to report that it was accepted! Here's the link:
"Everyday Use of GNU Guix"
On 09/25/2018 03:22 PM, Andreas Enge wrote:
So at least it is apparently possible to get a working binary with only
free sources.
Andreas
Hi Andreas,
Can you verify that the debian package is only working with free
sources, and not simply reiterating the misconception that the chromium
On 09/25/2018 12:41 AM, Chris Marusich wrote:
Brett Gilio writes:
Is it being recorded?
Yes, it will be recorded. The acceptance email said that this year, the
SeaGL organizers hope to record all talks (unless the speaker explicitly
requested not to be recorded, which I did not). So
Forwarded Message
Subject:FSDG status of chromium
Date: Tue, 25 Sep 2018 09:29:22 -0400
From: bill-auger
Organization: peers.community
To: guix-devel@gnu.org
regarding the recent proposal of introducing chromium into guix; i have
done a lot of research
Kyle Meyer writes:
> Hello,
>
> Ricardo Wurmus writes:
>
> [...]
>
>> However, after compiling and generating several .po and .texi
>>> files Magit takes almost a whole minute to open.
>>
>> That’s because it’s trying to colorize the diff of thousands of lines of
>> .po and .texi changes.
>
>
Hi all,
Just curious, do we have clang-tidy packaged somewhere? I have clang
installed and am not able to reference that binary in my exec path.
As far as I understand, it should be included in the default clang installation.
Best,
Brett Gilio
python importers?
Would we stop offering python2 substitutes on the build servers? There
are some other questions here that I think aren't getting addressed.
Brett Gilio
Mathieu Othacehe writes:
> Hey Ludo!
>
>> Other than that, something I hadn’t realized earlier (sorry for being
>> foolish!): the installer actually stops after the user account selection
>> and does nothing more, right? It doesn’t generate a config file nor
>> does it run ‘guix system init’,
rry about the noise.
I had a similar issue, I just substituted the hydra.gnu.org url rather
than the mirror, and it worked.
Best,
Brett Gilio
It will take a good deal of implementing a license
checker on the importer, as well as human verification to ensure that we
are maintaining a high ethical standard.
Brett Gilio
Hey all,
Happy guix birthday!
Quick question, why is the octave package split up into two different
public definitions, rather than just having the QtOctave-GUI being a
"gui" output, like it is for transmissionBT and some others?
Best,
Brett Gilio
lists.gnu.org/archive/html/guix-devel/2018-11/msg00410.html
>
> Happy birthday, and happy hacking! :-)
>
> Ludo’.
Happy birthday to the inception of the most advanced distribution of the
GNU system, to date. I want to thank Ludovic, Pierre, Ricardo, and so
many others who have been paramount in the inception of this project.
Brett Gilio
Ludovic Courtès writes:
> Hello!
>
> Pjotr Prins skribis:
>
>> On Fri, Nov 23, 2018 at 09:02:42AM +0100, Björn Höfling wrote:
>>> On Thu, 22 Nov 2018 23:16:47 -0600
>>> Brett Gilio wrote:
>
> [...]
>
>>> Anyway, it was a first trial, we
Alex Vong writes:
> n...@n0.is writes:
>
>> names for packages are (mostly) random, although in some
>> cases following classiifcations (see python-*, r-*, ...).
>>
> I am thinking that should we rename qtoctave to octave and octave to
> octave-cli (or octave-minimal)?
>
> Firstly, a new user
argue that we should be wanting to bring them to us,
but I also know how disuasive "a lack of convenience" can be to those
who are not as freedom and ethicality conscious as the rest of us.
Brett Gilio
st still time
> to apply for a lightning talk about your project(s).
>
> Alasdair
Bummer,
Did they provide any more feedback so that we can be more prepared next
year as more likely candidates?
Best,
Brett Gilio
and it wont make any difference, nor does adding those .po
and .texi files to gitignore (which magit seems to not realize because
it still shows them as unstaged changes). Does anybody else have
experience with this issue, it is literally only with our Guix
repository.
Best,
Brett Gilio
Danny Milosavljevic writes:
> Hi,
>
>> > Mono, for most distributions, seems to be bootstrapped with a prebuilt
>> > binary mono-lite. Due to this, I am unsure of how to make the first step
>> > in correctly repackaging Mono.
>>
>> Instead of adding a new binary mono-lite, can we reuse the
Ricardo Wurmus writes:
> Brett Gilio writes:
>
>> Although, there is a possible issue here that needs to be
>> addressed. Both Mono and Chicken produce a binary called `csi`. This is
>> a naming conflict, and I do not know the Guix-way for resol
and rather called by a
propagated/native input?
Anyways, a lot to unpack here. I'd appreciate any help I could get.
Best,
Brett Gilio
ons can also be set in environments using the --search-paths
flag. I know that is said in the documentation, but maybe it could be
highlighted somehow?
Brett Gilio
Pierre Neidhardt writes:
> That'd be awesome!
Maybe i'm jumping the gun here. But once I get a working raco importer,
would there be any objection to moving racket from scheme.scm to
racket.scm, and subsequently placing raco derived imports in
racket-xyz.scm?
Brett Gilio
irectory.fsf.org/wiki/Review:Chromium-REV-ID-1
Adonay, thank you for taking the initiative here! I think this is a
needed step forward.
Brett Gilio
Brett Gilio writes:
> Adonay Felipe Nogueira writes:
>
>> Em 16/02/2019 12:18, Julie Marchant escreveu:
>>> libre? The only argument I've seen on the matter is the way copyright
>>> works, but Chromium is under the Modified BSD License according to
>>> do
Efraim Flashner writes:
> I checked 'guix refresh -l python2' and I got a list of the python2-*
> packages which are leaf packages. I'm not suggesting that we right now
> get rid of them, but it seems to me something worth keeping an eye on.
>
> 'guix package -A ^python2- | wc -l' gave me 737
>
key is missing from
the server rendering the shell script unuseable without commenting out
the verification steps.
Thought I would pass this information along as it seemed important.
Brett Gilio
there is
yet to be a complete audit to identify the problems. We can not rely
solely on speculation, so lets get to the bottom of this once and for
all.
Brett Gilio
Hey all,
Has there been any discussion about creating a raco importer for Racket
packages? This might be something i'd be willing to look into if it is
both compliant with the needs of the upstream racket people, and if
others might use it.
Best,
Brett Gilio
Amin Bandali writes:
> Hi Ludo’, all,
>
> On 2019-04-15 2:56 PM, Ludovic Courtès wrote:
>
> [...]
>
>>
>> ‘guix pull’ already provides high-level “package news”, but I agree it’d
>> be nice to have a way to convey “system news” and perhaps free-form
>> messages like Debian’s change logs.
>>
>>
est
Brett Gilio
Ludovic Courtès writes:
> Hi Brett,
>
> Brett Gilio skribis:
>
>> Was there another ABI change to Guix? The last time this happened
>> emacs-guix began behaving improperly and spitting out unresolvable error
>> messages in the *Messages* buffer. This is happ
way to have emacs-guix be
rebuilt after these changes?
Best,
Brett Gilio
Ludovic Courtès writes:
> Hi Brett,
>
> Brett Gilio skribis:
>
>> Was there another ABI change to Guix? The last time this happened
>> emacs-guix began behaving improperly and spitting out unresolvable error
>> messages in the *Messages* buffer. This is happ
Greetings all!
I am continuing my prolific streak of trying to move as many things from
my channel to the main repository as possible.
Up next on the menu: the Mercury language and compiler.
http://mercurylang.org/
So here are a few issues I am wanting to get resolved with this package,
and I
Brett Gilio writes:
> Greetings all!
>
> I am continuing my prolific streak of trying to move as many things from
> my channel to the main repository as possible.
>
> Up next on the menu: the Mercury language and compiler.
> http://mercurylang.org/
>
> So here ar
Pierre Neidhardt writes:
> Update: I've been using --max-jobs=2 by default for about 2 weeks now,
> and it feels like a much smoother experience overall: faster downloads, faster
> builds.
>
> This is obviously a very dumb "optimization" but at least it serves to
> underline that Guix could
John Soo writes:
> Hey this is great!
>
> I’m a hobbyist too but I’m glad to see a formal methods community in Guix!
> I’ll be following.
>
> - John
Thank you for voicing your support John! Glad to see there is an
inspiring community following for this idea.
--
Brett M. Gilio
GNU Guix,
Jack Hill writes:
> I'm not a formal methods researcher, but merely a hobbyist who is
> interested in programming languages and type system. That said, I find
> this proposal intriguing, and would like to follow along, and perhaps
> help as I am able. At the very least, I hope to learn some new
zimoun writes:
> Hi,
>
> I am not a Programming Language Theory guy so I speak as a pure noob. :-)
> Well, I am working in University Paris 7 Diderot doing some scientific
> computing.
We are all noobs of formal methods next to Vladimir Voevodsky, and
Grothendiek. ;)
>> so this could be more
Julien Lepiller writes:
> I'm afraid OCaml is not bootstrappable. It uses a bytecode version of
> itself (using a bootstrapped bytecode interpreter written in C) to
> build itself. Fortunately this situation is being worked on by a phd
> student of Xavier Leroy (and nixOS user) :).
>
> The plan
Julien Lepiller writes:
> OCaml stuff can easily be imported with guix import opam. I know coq
> packages use a separate opam repository, so it would be nice if the
> importer could take an optional parameter to indicate a custom opam
> repository url. I'm not sure the coq repo is converted to
Dec 17, 2019 7:34:17 AM Kyle Meyer :
> G�bor Boskovits writes:
>
>
> > Konrad Hinsen ezt �rta (id?pont: 2019. dec.
> > 17., Ke 7:52):
> >
> [...]
>
> >
> > > How about a more drastic measure: deprecate "guix environment" and
> > > introduce a new subcommand with the desired new behaviour?
> >
getting paid (in a way) to play around with Guix.
I have so much I am looking forward to helping with, but for now I am going to
take a few days to rest and enjoy our little member of the GNU/Family, Matteo.
Thank you all again for the supportive messages, and I will respond ASAP!
Brett Gilio
Ricardo Wurmus writes:
> Hi Guix,
>
> does anyone know what’s holding up the Gnome upgrade? It’s sad to see
> the upgrade languish when it was almost ready for a merge into master.
>
> Are there any open issues? Any problems that need solving? I think
> this is a high priority item for Guix.
Hello Guix!
This is going to be a rather lengthy email proposing a new working group
(if that is indeed the proper name for this) in the GNU Guix
project. Just as there are other "working groups" for GNOME packages,
bootstrapping Rust & JVM, and bootstrapping the entirely of the GNU
Corelibs (GNU
I think you are correct. I likely made a mistake. We should revert the change.
Thanks!
Dec 16, 2019 9:13:31 AM Mathieu Othacehe :
>
> Hello Brett,
>
> I have a few remarks on the aforementioned commit.
>
>
> > + (list (string-append "-DCMAKE_CXX_FLAGS='-isystem "
> > + (assoc-ref
Brett Gilio writes:
> I think you are correct. I likely made a mistake. We should revert the change.
>
> Thanks!
>
> Dec 16, 2019 9:13:31 AM Mathieu Othacehe :
>
>>
>> Hello Brett,
>>
>> I have a few remarks on the aforementioned commit.
>>
&g
50/
> [2] https://www.gnu.org/software/guix
> [3] https://bootstrappable.org
> [4] https://github.com/oriansj/mes-m2
> [5] https://github.com/oriansj/m2-planet
> [6] https://github.com/schemeway/lalr-scm
> [7] https://www.cs.indiana.edu/chezscheme/syntax-case/old-psyntax.html
> [8] https://www.nongnu.org/nyacc
> [9] https://gitlab.com/janneke/tinycc
> [10]
> http://www.softwarepreservation.org/projects/LISP/book/LISP%201.5%20Programmers%20Manual.pdf
> [11] https://savannah.nongnu.org/projects/stage0
> [12] https://nlnet.nl/project/GNUMes
Fantastic work to everybody involved!
Brett Gilio
Tobias Geerinckx-Rice writes:
> Fellow Guix,
>
> The Guix sysadmins are considering buying shiny hardware for the
> ci.guix.gnu.org build farm, and it would be awesome if that included
> our first POWER9 machine(s)!
I was curious the other day looking at multiarch compilation using the
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA256
Amin Bandali writes:
> Hello Guix!
>
> Thank you Brett for taking initiative and putting this awesome proposal
> together on all our behalves, and to everyone else for chiming in and
> expressing your interest and support!
>
> To share some of my
Hey all,
Short message! I am trying to get our OCaml development system up to
shape, as it is currently lagging some versions behind. I have opened a
wip-ocaml4.09 branch for this work. Here are some of the things that
need work that I have identified.
-- The opam importer needs revised and
Jan 3, 2020 9:16:58 AM Ludovic Courtès :
> Independently of that, I’d like us to put out a new release within a few
> weeks!
>
> Ludo’.
+1.
--
Brett M. Gilio
GNU Guix, Contributor | GNU Project, Webmaster
[DFC0 C7F7 9EE6 0CA7 AE55 5E19 6722 43C4 A03F 0EEE]
Dec 30, 2019 3:34:22 PM Ludovic Courtès :
> Guix-HPC is “institutional”, that’s part of the reason behind this.
> Regarding gitlab.inria.fr, that’s because it used to be hosted at Inria.
> Also, is a channel developed
> by colleagues at Inria, so it’s more convenient to have it there.
Hey
Hey there, GNU Guix!
I just wanted to take a moment to wish all of us (religious,
irreligious, and of varying spiritual groups) a happy holidays! GNU Guix
has become a home to me as a programmer, and a growing researcher. I
have made GNU Guix a crucial part of my computing life, and I consider
so
Jan 4, 2020 4:20:12 PM Ludovic Courtès :
> Hola!
>
> guix-comm...@gnu.org skribis:
>
>
> > commit a06a4f918243dc784f9089d60690559b72a4e308
> > Author: Brett Gilio
> > Date: Fri Jan 3 20:15:44 2020 -0600
> >
> > Revert "
Ludovic Courtès writes:
> The domain name would have to be discussed with others (other
> maintainers in particular; perhaps a better choice would be
> formal-methods.guix.info or fm.guix.info, next to hpc.guix.info), but
> the idea sounds great to me!
That is, of course, reasonable that we
Ludovic Courtès writes:
> Hi!
>
> Julien Lepiller skribis:
>
>> I forgot to metion I have a small channel at
>> https://framagit.org/tyreunom/guix-coq-channel that keeps track of
>> every coq version since 8.6. I use it to test my coquille plugin on
>> every coq version that exists, but I'm
Ludovic Courtès writes:
> Hi!
>
> Julien Lepiller skribis:
>
>> I'm afraid OCaml is not bootstrappable. It uses a bytecode version of
>> itself (using a bootstrapped bytecode interpreter written in C) to
>> build itself. Fortunately this situation is being worked on by a phd
>> student of
Ludovic Courtès writes:
> For the record, I don’t work with the formal methods people at Inria,
> but we chat occasionally, and I’d be happy to draw their attention to
> this effort. :-)
I thought not, but I think this smells of potential for collaboration
maybe amongst a few there. I know
Mark H Weaver writes:
> Agreed, or perhaps 'emacs' itself should have been updated on a separate
> branch.
+1 for WIP-emacs branch in future.
Brett Gilio
---cut here---end--->8---
I did manage to find this relevant issue though:
https://github.com/ocaml/ocamlbuild/issues/300.
Any help would be appreciated.
Brett Gilio
Simon South writes:
> Am I right in thinking there is no way to specify dependencies among the
> outputs of a single package? To specify that a package's "out" output
> depends on its "lib" output, for instance.
>
> I ask because the Knot package (in gnu/package/dns.scm) builds a number
> of
1 - 100 of 112 matches
Mail list logo
