On 16/12/2019 23:09, Ludovic Courtès wrote:
So in a more algorithmic manner:
1. if ad-hoc and inputs-of is present at the same invocation: fail
hard. (With an error like incompatible options present)
2. if only ad-hoc is present, then print a deprecation warning (yes,
we could make this suspenda
Hello Guix,
I have been working on a recursive importer that uses semantic
versioning over on #38408. It relies on guile-semver. I'm not exactly
sure how to add guile-semver as a dependency to guix. But I'm also not
sure that I should. Importers will probably not be used by the majority
of end user
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, Con
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 t
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 i
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 of
Julien Lepiller writes:
> 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 sure there are other use cases
> :)
>
Nice! N
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 op
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
Greetings,
On Sun, 15 Dec 2019, Brett Gilio wrote:
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, a
Marius Bakke writes:
> Andreas Enge writes:
>
>> I gave it a try, dropped the patches, then the phase use-code-for-new-poppler
>> fails for texlive-bin; maybe these poppler phases can be dropped, but I am
>> not quite familiar with them.
>
> The 'use-code-for-new-poppler' phase needs to be rewri
Marius Bakke writes:
> Wrt the other TeX packages, I think %texlive-tag and %texlive-revision
> from (guix build-system texlive) needs to be bumped, and all the hashes
> changed accordingly.
Yes, that’s pretty much it. It’s a little tedious as so many hashes
will be invalidated at once.
Ther
Hello,
Gábor Boskovits skribis:
> So in a more algorithmic manner:
> 1. if ad-hoc and inputs-of is present at the same invocation: fail
> hard. (With an error like incompatible options present)
> 2. if only ad-hoc is present, then print a deprecation warning (yes,
> we could make this suspendabl
Hi all,
I submitted my patches this morning in #38640. Thanks for the continued work
on the rust build system. I like rust tools quite a lot.
- John
On Mon, Dec 16, 2019 at 03:33:24PM +0100, Pierre Neidhardt wrote:
> As usual I've learned a lot from this great read!
Indeed. I am also very interested in the time machine :). Try and do
that with Ansible.
Pj.
Andreas Enge writes:
> I gave it a try, dropped the patches, then the phase use-code-for-new-poppler
> fails for texlive-bin; maybe these poppler phases can be dropped, but I am
> not quite familiar with them.
The 'use-code-for-new-poppler' phase needs to be rewritten along these
lines (for both
Le 16 décembre 2019 20:46:28 GMT+01:00, zimoun a
écrit :
>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.
>
>
>On Mon, 16 Dec 2019 at 02:00, Brett Gilio wrote:
>
>> so this could
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.
>>
>>
>> > + (list (string-append "-DCMAKE_CXX_FLAGS='-
I gave it a try, dropped the patches, then the phase use-code-for-new-poppler
fails for texlive-bin; maybe these poppler phases can be dropped, but I am
not quite familiar with them.
Andreas
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.
On Mon, 16 Dec 2019 at 02:00, Brett Gilio wrote:
> so this could be more of a chance to see bigger institutions begin to
> adopt Guix
As Andreas pointed out, the Guix days are an unconference. That is, it
gets organized on the spot so we have ample time to discuss important
topics and hack.
Even so, we would like to invite a few short presentations (15
minutes) for the two mornings. We are not looking for introductory
talks, but
On Sun, Dec 15, 2019 at 02:51:20AM +0100, zimoun wrote:
> Hi Andreas,
>
>
> > First question: do we want?
>
> Pjotr: yes
> Andreas: no
>
> That's why I raised the question. :-)
>
>
> In summary:
> - it seems complicated to stream in live because of the ICAB network.
> - we could still recor
Hello,
On Sat, Dec 14, 2019 at 08:06:19PM +0100, Marius Bakke wrote:
> Ricardo, do you think you'll have time for a TeX Live 2019 update in the
> coming weeks? If not, could you outline the required changes for
> enterprising Guix contributors?
before your mail I had already tried to update the
Hi Andreas,
> First question: do we want?
Pjotr: yes
Andreas: no
That's why I raised the question. :-)
In summary:
- it seems complicated to stream in live because of the ICAB network.
- we could still record chunks and upload them a bit later.
Other opinions / answers to the question: do
On Thu, Dec 12, 2019 at 06:57:27PM +0100, zimoun wrote:
> Previously, we discussed on the possibility to video stream chunks of
> these 2 days.
Honestly, I do not think it is a good idea for an "un-conference".
These two days are more devoted to hacking, hands-on activities and
spontaneous working
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 %build-in
Am 16.12.19 um 18:09 schrieb mike.ros...@gmail.com:
> I'm currently brushing up my latest qtwebengine build. Will resubmit
> this patch. I will also see if I can inherit qtsvg again to put this
> back on par with other module packages. From there I'll put a simple
> test example together demonstrat
Hartmut Goebel writes:
> Am 16.12.19 um 16:45 schrieb mike.ros...@gmail.com:
>> The problem is also not readily obvious until you
>> try to use qtwebengine in a library or a program. Which will causes
>> locale and translation path issues.
>
> If the only issue with qtwebengine are locale and tra
You mean for the offending commit?
--
Pierre Neidhardt
https://ambrevar.xyz/
signature.asc
Description: PGP signature
Am 16.12.19 um 16:45 schrieb mike.ros...@gmail.com:
> The problem is also not readily obvious until you
> try to use qtwebengine in a library or a program. Which will causes
> locale and translation path issues.
If the only issue with qtwebengine are locale and translation, I suggest
to accept the
Hartmut Goebel writes:
> Hi,
>
> I'm glad to see there already has been some effort on this. I'll comment
> on the issue.
>
> Am 16.12.19 um 15:13 schrieb mike.ros...@gmail.com:
>> This new monolithic package stills suffers from the same issue as my
>> modular qtwebengine. In that there are many
Pierre Neidhardt writes:
> It works now, however it does not detect the breakage introduced by the
> aforementioned commit.
“guix pull” also worked for me.
--
Ricardo
Hi,
I'm glad to see there already has been some effort on this. I'll comment
on the issue.
Am 16.12.19 um 15:13 schrieb mike.ros...@gmail.com:
> This new monolithic package stills suffers from the same issue as my
> modular qtwebengine. In that there are many in tree third party
> dependencies. I
Pierre Neidhardt writes:
> Mike, can you give some details (maybe one example) on how to replace the
> third-party dependencies? What is holding it back?
>
> I could give it a go if need be.
I have not tackled this problem yet. I've mainly been focused on get the
package to build. I've fixed th
Hello Brett,
I have a few remarks on the aforementioned commit.
> + (list (string-append "-DCMAKE_CXX_FLAGS='-isystem "
> +(assoc-ref %build-inputs "gcc")
> +"/include/c++'"
Why is this needed? The following snippet in clang-fro
As usual I've learned a lot from this great read!
Out of curiosity, why is "janneke" spelled without a capital? :)
--
Pierre Neidhardt
https://ambrevar.xyz/
signature.asc
Description: PGP signature
Hi,
in light of bug#38576 I filed, I’d like to get some guidance on when to pull in
dependencies. The package in question is r-irkernel, which is essentially an R
package bridging between Jupyter and R. However, it would never be “imported”
by the user like other R packages. Instead Jupyter execut
Pierre Neidhardt writes:
> Mike Rosset had it working in a patch that's still waiting on the tracker.
> It has at least one issue as far as I get it. Mike also made an
> all-in-one "Qt" package that does not suffer from this issue, a bit like
> our texlive mega-package.
>
> I'm all for adding it
Mike, can you give some details (maybe one example) on how to replace the
third-party dependencies? What is holding it back?
I could give it a go if need be.
--
Pierre Neidhardt
https://ambrevar.xyz/
signature.asc
Description: PGP signature
Hello Guix!
Some of us were lucky enough to be in Marrakesh a couple of weeks ago
for the Reproducible Builds Summit. You can read about some of what we
discussed and hacked on here:
https://guix.gnu.org/blog/2019/reproducible-builds-summit-5th-edition/
Feedback welcome!
Ludo’.
signature.a
Mike Rosset had it working in a patch that's still waiting on the tracker.
It has at least one issue as far as I get it. Mike also made an
all-in-one "Qt" package that does not suffer from this issue, a bit like
our texlive mega-package.
I'm all for adding it to master.
--
Pierre Neidhardt
http
It works now, however it does not detect the breakage introduced by the
aforementioned commit.
--
Pierre Neidhardt
https://ambrevar.xyz/
signature.asc
Description: PGP signature
Hi Guix!
Looks like we need to package qtwebengine, as more and more packages
require it.
qtwebengine includes a copy of chromium.
Any volunteers?
--
Regards
Hartmut Goebel
| Hartmut Goebel | h.goe...@crazy-compilers.com |
| www.crazy-compilers.com | compilers which you
Hello,
Probably many admins / DevOps are heavily using Ansible. I also use this
solution to configure systems and services (on Debian and CentOS).
I would like to transfer infrastructure to the Guix System and some questions
arose:
- is there any way to combine Ansible and GuixOps?
- is there a
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 sure there are other use cases :)
Le 16 décembre 2019 01:59:59 GMT+01:00, Brett Gilio a écrit
:
>Hello Guix!
>
> ...
>
>What follows is proposals for some of the work to be done by this
>working group:
>
>-- A lot of proof assistants are based on dialects of ML. Most of these
> use SMLnj or MLton for their work. To date there i
46 matches
Mail list logo
