Re: Time to merge core-updates!

Great news!

[PATCH] gnu: guix-0.11.0: Add guile-ssh to inputs.

* gnu/packages/package-management.scm (guile-ssh)[inputs]: Add guile-ssh. [arguments]: Add guile-ssh to GUILE_LOAD_PATH. --- gnu/packages/package-management.scm | 4 1 file changed, 4 insertions(+) diff --git a/gnu/packages/package-management.scm b/gnu/packages/package-management.scm in

[PATCH] gnu: flex: Update to 2.6.2.

* gnu/packages/flex.scm (flex): Update to 2.6.2. [native-inputs]: Add help2man. [origin]: Update uri to github. Remove CVE-2016-6354 patch. * gnu/packages/patches/flex-CVE-2016-6354.patch: Delete file. --- gnu/packages/flex.scm | 16 -- gnu/packages/patches/

Re: [PATCH] gnu: flex: Update to 2.6.2.

flex-2.6.2 introduces breaking changes, I expect a lot of packages breaking (unless the kde frameworks packages aren't a representative sample). I think we need to keep flex-2.6.1 for now and change all broken packages to flex-2.6.1 until they update...

Re: Preparing for 0.12.0

Hi Ludo! > How does that sound? Stupid question: Is staging the core-updates branch? I thought that the core-updates branch was already frozen, merged into master and ready for the next set of core updates? But it sounds good :) David

[PATCH 1/2] gnu: Add btrfs-progs/static.

* gnu/packages/linux.scm (btrfs-progs/static): New variable. --- gnu/packages/linux.scm | 30 ++ 1 file changed, 30 insertions(+) diff --git a/gnu/packages/linux.scm b/gnu/packages/linux.scm index a4639bd..8b6cce4 100644 --- a/gnu/packages/linux.scm +++ b/gnu/packages/

[PATCH 2/2] system: Add btrfs file system support.

* gnu/system/linux-initrd.scm (linux-modules, helper-packages): Add btrfs modules when a btrfs file-system is used. * gnu/build/file-systems.scm (check-file-system-irrecoverable-error, check-file-system-ext): New variables. (check-file-system): Support non ext file systems gracefully. --- gn

Re: [PATCH 2/2] system: Add btrfs file system support.

I looked at your improvement suggestion. One issue I'm thinking about: How to handle the return codes, since the fsck.vfat returns slightly different error codes than fsck.ext. For example fsck.vfat error code 2 is a usage error, which would cause an infinite reboot cycle if the passed device is m

Re: [PATCH 2/2] system: Add btrfs file system support.

> How to handle the return codes. This isn't a problem, the check-procedure can normalize the return codes. The confusing thing is this part: (else #~(system* (string-append "fsck." type) device) The default behavior should be to emit a warning to stderr and do nothing. I don't think this produc

Re: [PATCH] gnu: file-system-shepherd-service: Use mount-file-system.

> Perhaps somebody who already has a copy of qemu in their store could check > that > for me? I tested it and pushed...

[PATCH] system: Remove spec->file-system.

* gnu/system/file-systems.scm (spec->file-system): Remove variable. * gnu/system/linux-container.scm (container-script): Refactor. --- gnu/system/file-systems.scm| 11 --- gnu/system/linux-container.scm | 6 ++ 2 files changed, 2 insertions(+), 15 deletions(-) diff --git a/gnu/sy

Re: [PATCH] system: Remove spec->file-system.

The reason I'm suggesting to remove this function, is because it seems like any case one would want to use it, one should not be using it. There is a separation of gnu/system and gnu/build and a spec->file-system function encourages people to try using the in the build part. I think that it's a "c

[PATCH 1/9] gnu: Add ghc-hinotify.

/haskell.scm @@ -7,6 +7,7 @@ ;;; Copyright © 2016 ng0 ;;; Copyright © 2016 Efraim Flashner ;;; Copyright © 2015, 2016 Ricardo Wurmus +;;; Copyright © 2016 David Craven ;;; ;;; This file is part of GNU Guix. ;;; @@ -7994,4 +7995,24 @@ helper functions for Lists, Maybes, Tuples, Functions."

[PATCH 7/9] gnu: idris: Update to 0.12.3.

* gnu/packages/haskell.scm (idris): Update to 0.12.3. [origin]: Remove snippet. [inputs]: Add ghc-aeson, ghc-async, ghc-fsnotify, ghc-regex-tdfa, ghc-tasty-golden, ghc-tasty-rerun and ghc-terminal-size. [arguments]: Disable tests. --- gnu/packages/haskell.scm | 45 -

[PATCH 3/9] gnu: Add ghc-tasty-rerun.

* gnu/packages/haskell.scm (ghc-tasty-rerun): New variable. --- gnu/packages/haskell.scm | 29 + 1 file changed, 29 insertions(+) diff --git a/gnu/packages/haskell.scm b/gnu/packages/haskell.scm index b2f28f6..ed2ade1 100644 --- a/gnu/packages/haskell.scm +++ b/gnu/pac

[PATCH 5/9] gnu: Add ghc-terminal-size.

* gnu/packages/haskell.scm (ghc-terminal-size): New variable. --- gnu/packages/haskell.scm | 19 +++ 1 file changed, 19 insertions(+) diff --git a/gnu/packages/haskell.scm b/gnu/packages/haskell.scm index c5d586d..c9d8234 100644 --- a/gnu/packages/haskell.scm +++ b/gnu/packages/ha

[PATCH 4/9] gnu: Add ghc-ieee754.

* gnu/packages/haskell.scm (ghc-ieee754): New variable. --- gnu/packages/haskell.scm | 20 1 file changed, 20 insertions(+) diff --git a/gnu/packages/haskell.scm b/gnu/packages/haskell.scm index ed2ade1..c5d586d 100644 --- a/gnu/packages/haskell.scm +++ b/gnu/packages/haskell

[PATCH 2/9] gnu: Add ghc-fsnotify.

* gnu/packages/haskell.scm (ghc-fsnotify): New variable. --- gnu/packages/haskell.scm | 28 1 file changed, 28 insertions(+) diff --git a/gnu/packages/haskell.scm b/gnu/packages/haskell.scm index cbcce17..b2f28f6 100644 --- a/gnu/packages/haskell.scm +++ b/gnu/package

[PATCH 6/9] gnu: ghc-trifecta: Update to 1.6.

* gnu/packages/haskell.scm (ghc-trifecta): Update to 1.6. [inputs]: Add ghc-doctest and ghc-quickcheck. [arguments]: Enable tests. --- gnu/packages/haskell.scm | 34 -- 1 file changed, 16 insertions(+), 18 deletions(-) diff --git a/gnu/packages/haskell.scm b/gn

[PATCH 8/9] gnu: coq: Update to 8.5pl2.

* gnu/packages/ocaml.scm (coq): Update to 8.5pl2. [arguments]: Configure script takes single hyphen arguments. --- gnu/packages/ocaml.scm | 40 +--- 1 file changed, 21 insertions(+), 19 deletions(-) diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm

[PATCH 9/9] gnu: Add ocaml-menhir.

* gnu/packages/ocaml.scm (ocaml-menhir): New variable. --- gnu/packages/ocaml.scm | 30 ++ 1 file changed, 30 insertions(+) diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm index b9b3d4a..e93e730 100644 --- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.

[PATCH] file-systems: Refactor to include check-procedure.

/linux-boot.scm: Adjust check-file-system arguments. * gnu/services/base.scm: Likewise. * gnu/system/linux-initrd.scm (base-initrd): Remove e2fsck/static from helper-packages. Co-authored-by: David Craven --- gnu/build/file-systems.scm | 52 +++-- gnu/build

Re: [PATCH 2/2] system: Add btrfs file system support.

The nice thing about having the check procedure be part of the is that it can be overridden. I'm not sure what use cases there are yet. One I can think of is that btrfs device scan is only required when using a multi-device configuration like raid. So I don't know if we want to run it by default a

Re: [PATCH 7/9] gnu: idris: Update to 0.12.3.

> Why do we need to skip the tests? First idris is not found, then after adding dist/build/idris to PATH, the idris libraries aren't found. So I set IDRIS_LIBRARY_PATH to libs. Then the idris runtime system isn't found, so I added rts to C_INCLUDE_PATH and LIBRARY_PATH. Half of the tests still fai

Re: [PATCH 1/2] gnu: Add btrfs-progs/static.

> Add #:allowed-references () to make sure you get the desired effect. Isn't this a key of the gnu-build-system?

Re: [PATCH] system: Remove spec->file-system.

Hi Ludo, Ah yes, that makes sense. Thank you for explaining. I think I'm understanding the general design pattern better: Build side code that uses a record from gnu/system is a gexp in gnu/system. This gexp is passed to a function in gnu/build so that gnu/build itself doesn't need to import gnu/

Re: [PATCH 4/9] gnu: Add ghc-ieee754.

Hi Leo! > Same issue about the GitHub page appearing out of date, since it doesn't > seem to have a 0.7.8 release tag. So I checked the github pages and the version string was updated, so the url's are still up to date. I opened an issue regarding release tagging https://github.com/patperry/hs-ie

[PATCH 00/12] Rust build system v2.

Here are my cleaned up rust patches. They aren't too useful yet IMO. Patches 1-9 could be merged. rust-rand, cargo and the recursive importer are for reference in case someone wants to play with it. David Craven (12): upstream: Use a the first url from urls when find2 returns #f. build-s

[PATCH 02/12] build-system: Add cargo build system.

package management for GNU +;;; Copyright © 2013, 2014, 2015, 2016 Ludovic Courtès +;;; Copyright © 2013 Andreas Enge +;;; Copyright © 2013 Nikita Karetnikov +;;; Copyright © 2016 David Craven +;;; +;;; This file is part of GNU Guix. +;;; +;;; GNU Guix is free software; you can redistribute it and/or

[PATCH 01/12] upstream: Use a the first url from urls when find2 returns #f.

* guix/upstream.scm (package-update): Use a url from the list when the find2 procedure doesn't find a url sig-url pair. --- guix/upstream.scm | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/guix/upstream.scm b/guix/upstream.scm index 8685afd86..579942672 100644 --- a/guix/ups

[PATCH 07/12] gnu: Add rust bootstrap binaries.

/rust.scm new file mode 100644 index 0..34f87c689 --- /dev/null +++ b/gnu/packages/rust.scm @@ -0,0 +1,190 @@ +;;; GNU Guix --- Functional package management for GNU +;;; Copyright © 2016 David Craven +;;; +;;; This file is part of GNU Guix. +;;; +;;; GNU Guix is free software; you can redistribute

[PATCH 11/12] gnu: Add rust-rand.

* gnu/packages/rust.scm (rust-rand): New variable. --- gnu/packages/rust.scm | 19 +++ 1 file changed, 19 insertions(+) diff --git a/gnu/packages/rust.scm b/gnu/packages/rust.scm index acff15e6f..a64f72f03 100644 --- a/gnu/packages/rust.scm +++ b/gnu/packages/rust.scm @@ -289,3 +2

[PATCH 08/12] gnu: Add rustc.

* gnu/packages/rust.scm (rustc): New variable. Co-authored-by: Eric Le Bihan --- gnu/packages/rust.scm | 81 +++ 1 file changed, 81 insertions(+) diff --git a/gnu/packages/rust.scm b/gnu/packages/rust.scm index 34f87c689..8bbb5d116 100644 --- a/gn

[PATCH 03/12] import: utils: Add some utilities.

* gnu/import/utils.scm (json-fetch, maybe-inputs, maybe-native-inputs, package->definition): New variables. --- guix/import/utils.scm | 43 +++ 1 file changed, 43 insertions(+) diff --git a/guix/import/utils.scm b/guix/import/utils.scm index 057c2d9c7..e2

[PATCH 04/12] import: Add importer for rust crates.

Guix --- Functional package management for GNU +;;; Copyright © 2016 David Craven +;;; +;;; This file is part of GNU Guix. +;;; +;;; GNU Guix is free software; you can redistribute it and/or modify it +;;; under the terms of the GNU General Public License as published by +;;; the Free Software

[PATCH 06/12] gnu: llvm: Enable install utils.

* gnu/packages/llvm.scm (llvm)[arguments]: Add -DLLVM_INStALL_UTILS=ON to configure-flags. --- gnu/packages/llvm.scm | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/gnu/packages/llvm.scm b/gnu/packages/llvm.scm index 96679bf97..c425108c9 100644 --- a/gnu/packages/llvm.scm +

[PATCH 10/12] RECURSIVE IMPORTER wip

--- guix/import/crate.scm | 61 +++ 1 file changed, 61 insertions(+) diff --git a/guix/import/crate.scm b/guix/import/crate.scm index 45d5bf846..632c35f0a 100644 --- a/guix/import/crate.scm +++ b/guix/import/crate.scm @@ -156,3 +156,64 @@ VERSION, I

[PATCH 05/12] import: Add updater for rust crates.

* guix/import/crate.scm (crate-package?, latest-release, %crate-updater): New variables. * guix/scripts/refresh.scm (%updaters): Add crate updater. --- guix/import/crate.scm| 36 +++- guix/scripts/refresh.scm | 3 ++- 2 files changed, 37 insertions(+), 2 dele

[PATCH 09/12] gnu: Add rust-libc.

* gnu/packages/rust.scm (rust-libc): New variable. --- gnu/packages/rust.scm | 20 1 file changed, 20 insertions(+) diff --git a/gnu/packages/rust.scm b/gnu/packages/rust.scm index 8bbb5d116..acff15e6f 100644 --- a/gnu/packages/rust.scm +++ b/gnu/packages/rust.scm @@ -27,6 +2

[PATCH 12/12] gnu: Add cargo.

* gnu/packages/rust.scm (cargo): New variable. --- gnu/packages/rust.scm | 42 ++ 1 file changed, 42 insertions(+) diff --git a/gnu/packages/rust.scm b/gnu/packages/rust.scm index a64f72f03..dfe0db60e 100644 --- a/gnu/packages/rust.scm +++ b/gnu/packages/ru

Re: [PATCH 1/7] build-system: Add cargo build system.

Hi Ludo! > Given the work that has gone into these Rust patches, I think it would > be nice to apply them and possibly document any shortcoming or future > work items. I went over all your previous emails and fixed your previous comments. Those aren't part of the new patch series yet... In summa

Re: [PATCH 1/7] build-system: Add cargo build system.

> Hmm why is there a second one? ‘gnu-build-system’ already provides gcc > and gcc:lib as implicit inputs, so maybe it’s just a matter of removing > ‘gcc’ from Rust’s ‘inputs’? So we do have an implicit gcc:lib package as an input. But I have to patchelf the rustc binaries and libraries so I need

Re: [PATCH 03/12] import: utils: Add some utilities.

> IIRC there was an argument against adding ‘json-fetch’ in this module > earlier this year, because that would make Guile-JSON mandatory. Yep. This is a mistake. I thought that you suggested using http-fetch to avoid pulling in guile-json, but that was because of the temporary file thing. I think

Re: [PATCH 01/12] upstream: Use a the first url from urls when find2 returns #f.

> Thanks, and sorry for taking long for just one line! No problem. That's what code reviews are for... I removed my change and inserted (display urls) (display signature-urls) (display url) (display signature-url) here are the results: urls: (https://crates.io/api/v1

Re: [PATCH 1/7] build-system: Add cargo build system.

> Would that help? Awesome! Thank you. The bootstrapping solution turned out much better. I added the #:system argument to rustc-bootstrap and cargo-bootstrap and moved the gcc -> cc symlink into rust-bootstrap, so that we get a native toolchain. We can build rustc on i686 and x86_64 using the sa

Re: [PATCH 1/2] import: json: Silence json-fetch output.

I think this commit broke the pypi tests.

[PATCH] utils: file-extension should work with urls.

* guix/utils.scm (file-extension): Detect the lack of file extensions in urls. --- guix/utils.scm | 8 ++-- 1 file changed, 6 insertions(+), 2 deletions(-) diff --git a/guix/utils.scm b/guix/utils.scm index 06f49daca..2bae2eb60 100644 --- a/guix/utils.scm +++ b/guix/utils.scm @@ -24,6 +24,7

Re: [PATCH] utils: file-extension should work with urls.

This patch causes a test failure. Any ideas on how to do it better? I'll push the rust stuff in the meantime, since there is nothing technically wrong with the updater itself. test-name: /*.narinfo for a compressed file location: /home/dvc/guix/tests/publish.scm:218 source: + (test-equal + "/*.n

Re: [PATCH] utils: file-extension should work with urls.

> guix/utils.scm (file-extension): Detect the lack of file extensions in urls. This is so stupid. Just to cover up some other stupidity I did earlier that day.

Re: [PATCH] utils: file-extension should work with urls.

Fixed yesterdays stupidity with 6976c68158e9c6bb264ca48041da5be1c24521cf

[PATCH 1/2] gnu: idris: Update to 0.99.

(files '("idris/libs") (home-page "http://www.idris-lang.org";) (synopsis "General purpose language with full dependent types") (description "Idris is a general purpose language with full dependent diff --git a/gnu/packages/p

[PATCH 2/2] gnu: Add idris-lightyear.

* gnu/packages/haskell.scm (idris-lightyear): New variable. --- gnu/packages/haskell.scm | 46 ++ 1 file changed, 46 insertions(+) diff --git a/gnu/packages/haskell.scm b/gnu/packages/haskell.scm index 2f75c6c37..54fdba72f 100644 --- a/gnu/packages/hask

Re: ‘guix refresh’ broken on master?

Ah there does seem to be a problem. First this hunk is in the wrong patch: diff --git a/guix/scripts/refresh.scm b/guix/scripts/refresh.scm index f8fb3f80c..72f51cbff 100644 --- a/guix/scripts/refresh.scm +++ b/guix/scripts/refresh.scm @@ -39,6 +39,7 @@ %kernel.org-upd

Re: Graphical GuixSD Installer

> Would it make sense to add a check for it at configure time and > conditionally compile and install the modules only if 'guile-ncurses' is > found, like what is done for 'guile-json'? Doesn't this just complicate things? How about decoupling things instead? Put the installer in a separate repo a

Re: Graphical GuixSD Installer

> Err ... How would they manage to do that before anything has been installed? guix-install would be a package added to the installation-os derivation in gnu/system/install.scm, no?

Re: Graphical GuixSD Installer

I assume that the main reason for people not wanting to add dependencies is because it complicates bootstrapping guix for new platforms (which I don't understand well enough yet). I don't think that you can build a gnu system that doesn't rely on ncurses or an alternative implementation. guile-ncur

Re: Graphical GuixSD Installer

Well anyway, I've stated my opinion. I'll withdraw from further discussion on this topic. If someone has a solution to the guix refresh problem from http://lists.gnu.org/archive/html/guix-devel/2016-12/msg00638.html, let me know.

Re: ‘guix refresh’ broken on master?

> This is because your installation lacks Guile-JSON, probably. Fixed in > commit 99ec0cb397453802788e7095724dcfbca3ca1723. Ah that was easier than expected.

Re: guix system seems not to respect ./pre-inst-env

I think you have to do something like this: (define guix-local (package (inherit guix) (source (local-file "path to guix local"))) (define guix-service-local (guix-service (guix-configuration (authorize-key? #t) (guix guix-local))) and add guix-service-local to your installer. HTH

Re: How to boot GuixSD in LXD

Hi David, I'm not familiar with LXD, so it might be helpful if you could share more details of how you created the LXD image. > Now when I attempt to launch the image, LXD fails when it tries to start > /sbin/init and can't find it. I understand that GuixSD uses Shepherd > instead of init. What

Re: [PATCH 1/2] gnu: idris: Update to 0.99.

> The conventional thing would be to use “lib/idris” (just like we have > “lib/perl5”, “lib/python2.7”, “lib/guile”, etc.) Could you make this > change? you're right, much better. thank you. > If you haven’t done it yet, I encourage you to submit it upstream: it > looks like there’s no reason no

Re: rust: cargo build-system: how to handle libraries

> We run (or this is the default) cargo with `--bin`, which is > necessary for everything which needs to be compiled and features > a Cargo.toml. All crates have a Cargo.toml file. The interesting crates are the ones with a Cargo.lock file. > To "build" libraries, we have to explicitly tell cargo

Re: rust: cargo build-system: how to handle libraries

> Of course I meant Cargo.lock, not Cargo.toml ... so I know what I > have to search for, and this makes it a bit easier than the > previous search. See cargo workspaces: https://github.com/rust-lang/libc/blob/master/Cargo.toml https://github.com/rust-lang/rfcs/blob/master/text/1525-cargo-workspac

Re: rust: Crate Dependencies

> What does the error message mean? How to fix it? Hard to tell from that description. Using the recursive importer is not supported - use at your own risk ;) There is a reason why it's not in master... While Makefiles and the C standard are defined, the rust language and the Cargo.toml files are

Re: rust: Crate Dependencies

Hi Danny, > How does rustc find the (Rust) dependencies when building a package in > cargo-build-system? You should be able to override the default rust or cargo version by passing #:rustc or/and #:cargo as arguments to the build-system. See guix/build-system/cargo.scm. > I read that there are

Re: [PATCH] gnu: rustc: Update to 1.14.0.

Thanks! Pushed as b9542563375fbd5f25bb77fd476b762916b63bd1.

[PATCH 2/2] build-system: cargo: Use correct cargo.

* gnu/packages/rust.scm (cargo-bootstrap): Make private. * guix/build-system/cargo.scm (default-cargo): Use cargo. * guix/build/cargo-build-system.scm (install): Pass correct path to --root. --- gnu/packages/rust.scm | 4 +--- guix/build-system/cargo.scm | 3 +-- guix/build/car

[PATCH 1/2] gnu: Add cargo.

* gnu/packages/rust.scm (cargo): New variable. --- gnu/packages/rust.scm | 55 +++ 1 file changed, 55 insertions(+) diff --git a/gnu/packages/rust.scm b/gnu/packages/rust.scm index 8aa867317..c6c4f3171 100644 --- a/gnu/packages/rust.scm +++ b/gnu/pa

Re: rust: Crate Dependencies

> Same here for libc crate after the update, but I guess that's > because cargo is currently packaged and used from the bootstrap > rust, which is dated one version before the actual rustc you can > use now, so 0.13.0 cargo and 0.14.0 rustc. I submitted some experimental patches to the ML which fi

riscv cross toolchain - C_INCLUDE_PATH

Hi guix, I'm trying to build a riscv cross toolchain. Why do I have to reset C_INCLUDE_PATH to get glibc to build? It seems to me that all the cross packages shouldn't be in the C_INCLUDE_PATH. Some insight would be greatly appreciated. export C_INCLUDE_PATH="/gnu/store/sjg2km4jy29wbwpisaab8z0jl

Re: [PATCH 1/2] gnu: Add cargo.

> What does "vendored dependencies" mean? Are there dependencies included > in this tarball which are not managed via Guix? Rust crates are included as source in the vendor subfolder. It uses the cargo vendor subcommand [0] for building cargo offline. I don't think that people want this merged, I

Re: [PATCH 1/2] gnu: Add cargo.

> I understand that this is some sort of mechanism to enable cargo to build > things > offline, but is it appropriate to put all of those other packages' > source into the "cargo" package that is going to be built by Guix? I > haven't been following the Cargo/Rust in Guix discussion thread, so it

Re: [PATCH 02/12] build-system: Add cargo build system.

Yes this is a bug. Before modifying Cargo.toml we should chmod +w. Thank you for reporting it. The home-page issue in the importer also needs fixing. I expressed being against deduplicating the inputs because I think that that is subject to change in the future.

Re: Guix build side - including modules (guix hash), (guix gcrypt): How to provide shared library?

> how can I use (guix hash) on the build side? It requires the libgcrypt shared > library and that's not available on the build side... Depends. For a one off package I'd add it to native-inputs. Otherwise you can create a new build-system that wraps the gnu-build-system and extend the gnu-build-

Re: Creating a docker image with Guix

> What do you think? Gross? Cool!

Re: Getting rid of "source file .. newer than compiled" messages

> How can I get rid of these? By running make. It speeds up subsequent builds, so I find it a good idea to run make when I get too many of these.

Re: Guix build side - including modules (guix hash), (guix gcrypt): How to provide shared library?

I find it useful to look at the generated drv (/gnu/store/asr76labrpqq0kcg64yni0sqsxj0d30y-rust-gtk-0.1.1.drv) and build script (/gnu/store/hash-rust-gtk-0.1.1.builder) and see if those make sense. Sounds like a hard problem dough. Good luck! :) I notice you haven't rebased yet, I added a couple

[PATCH 6/7] gnu: Add idris-bifunctors.

* gnu/packages/haskell.scm (idris-bifunctors): New variable. --- gnu/packages/haskell.scm | 24 1 file changed, 24 insertions(+) diff --git a/gnu/packages/haskell.scm b/gnu/packages/haskell.scm index bc6d6d4b1..4fb6032bf 100644 --- a/gnu/packages/haskell.scm +++ b/gnu/pac

[PATCH 3/7] gnu: idris: Update to 0.99.

/packages/haskell.scm +++ b/gnu/packages/haskell.scm @@ -7,7 +7,7 @@ ;;; Copyright © 2016 ng0 ;;; Copyright © 2016 Efraim Flashner ;;; Copyright © 2015, 2016 Ricardo Wurmus -;;; Copyright © 2016 David Craven +;;; Copyright © 2016, 2017 David Craven ;;; ;;; This file is part of GNU Guix

[PATCH 1/7] git-download: Add some helpers.

* guix/git-download.scm (git-version, git-file-name): New variables. --- guix/git-download.scm | 10 +- 1 file changed, 9 insertions(+), 1 deletion(-) diff --git a/guix/git-download.scm b/guix/git-download.scm index 81d1d4fbf..c453aaa6d 100644 --- a/guix/git-download.scm +++ b/guix/git-do

[PATCH 5/7] gnu: Add idris-wl-pprint.

* gnu/packages/haskell.scm (idris-wl-pprint): New variable. --- gnu/packages/haskell.scm | 25 + 1 file changed, 25 insertions(+) diff --git a/gnu/packages/haskell.scm b/gnu/packages/haskell.scm index 2e31c0dbb..bc6d6d4b1 100644 --- a/gnu/packages/haskell.scm +++ b/gnu/pac

[PATCH 2/7] gnu: Order module imports in (gnu packages haskell) alphabetically.

* gnu/packages/haskell.scm: Order module imports alphabetically. --- gnu/packages/haskell.scm | 32 1 file changed, 16 insertions(+), 16 deletions(-) diff --git a/gnu/packages/haskell.scm b/gnu/packages/haskell.scm index 8e5927a00..b4f225160 100644 --- a/gnu/packa

[PATCH 4/7] gnu: Add idris-lightyear.

* gnu/packages/haskell.scm (idris-lightyear, idris-default-arguments): New variables. --- gnu/packages/haskell.scm | 71 1 file changed, 71 insertions(+) diff --git a/gnu/packages/haskell.scm b/gnu/packages/haskell.scm index c55386e2f..2e31c0dbb

[PATCH 7/7] gnu: Add idris-lens.

* gnu/packages/haskell.scm (idris-lens): New variable. --- gnu/packages/haskell.scm | 26 ++ 1 file changed, 26 insertions(+) diff --git a/gnu/packages/haskell.scm b/gnu/packages/haskell.scm index 4fb6032bf..a88f0aa48 100644 --- a/gnu/packages/haskell.scm +++ b/gnu/package

[PATCH 2/4] gnu: Add ocaml-zarith.

/packages/ocaml.scm @@ -7,6 +7,7 @@ ;;; Copyright © 2016 Jan Nieuwenhuizen ;;; Copyright © 2016 Efraim Flashner ;;; Copyright © 2016 Julien Lepiller +;;; Copyright © 2016 David Craven ;;; ;;; This file is part of GNU Guix. ;;; @@ -46,6 +47,7 @@ #:use-module (gnu packages perl) #:use

[PATCH 4/4] gnu: ocaml-findlib: Update to 1.7.1.

* gnu/packages/ocaml.scm (ocaml-findlib)[arguments]: Move ocaml-findlib-make-install.patch to phase and set ldconf="ignore" in findlib.conf.in. * gnu/local.mk (dist_patch_DATA): Remove old patch. --- gnu/local.mk | 1 - gnu/packages/ocaml.scm

[PATCH 3/4] gnu: Reorder imports in (gnu packages ocaml).

* gnu/packages/ocaml.scm: Reorder imports alphabetically. --- gnu/packages/ocaml.scm | 34 +- 1 file changed, 17 insertions(+), 17 deletions(-) diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm index f6b79f75c..f962be8d4 100644 --- a/gnu/packages/ocaml.s

[PATCH 1/4] gnu: Use 'license:' prefix in (gnu packages ocaml).

* gnu/packages/ocaml.scm (ocaml, opam, camlp4, camlp5, hevea, coq, proof-general, ocaml-menhir, lablgtk, unison, ocaml-findlib)[license]: Add prefix. --- gnu/packages/ocaml.scm | 24 1 file changed, 12 insertions(+), 12 deletions(-) diff --git a/gnu/packages/ocaml.scm

Re: [PATCH] gnu: glibc-hurd: Disable werror.

LGTM. Does it need to go into core-updates?

Re: [PATCH] guix: build: make-bootstrap: Copy libpthread_nonshared.a to the new system.

>(define %libc-object-files-rx "^(crt.*|ld.*|lib(c|m|dl|rt|pthread|nsl|\ > -util).*\\.so(\\..*)?|lib(machuser|hurduser).so.*|libc(rt|)_nonshared\\.a)$") > +util).*\\.so(\\..*)?|lib(machuser|hurduser).so.*|(libc(rt|)|libpthread)\ > +_nonshared\\.a)$") Adding libpthread_nonshared.a increases the

Re: [PATCH] guix: build: make-bootstrap: Copy libpthread_nonshared.a to the new system.

Hi Manolis, I don't think anyone can argue with that. Thank you for fixing my ignorance of the issue. LGTM. David

Re: cargo-build-system: cargo-build-flags: --cfg=unix in package recipe

> Aha! It can - if one uses propagated-inputs in the package recipes. I think > the importer should propagate inputs if the current package is > Rust-source-only. Otherwise packages further down the dependency graph > (further to the clients) won't compile later. One of the ideas behind the [re

Re: WIP patch: build-system: cargo: Make lots and lots of rust packages work

> For it to work, you also have to back out the (cons "src" outputs) (in > ./guix/build-system/cargo.scm) and the (assoc-ref outputs "src") (in > guix/build/cargo-build-system.scm) starting from current master. Can you elaborate on why you think it's a bad idea to separate the source from the bi

Re: [PATCH 4/7] gnu: Add idris-lightyear.

> IMO you can push this patch as is and provide an ‘idris-build-system’ > later on, or do the latter first. Either way is fine with me as long as > we don’t wait until there are ten users of ‘idris-default-arguments’. > WDYT? Regarding that, I think it's harder than it should be to add new build

Deleting merged wip branches

Hi guix! I'm looking at some of the branches called wip- and it seems to me that some have already been merged into master. I think it would be good to clean them up. Two examples would be these: origin/wip-environment-profiles origin/wip-pam-elogind

Re: cargo-build-system: cargo-build-flags: --cfg=unix in package recipe

> Unfortunately due to technical reassons I can't give you > view/read access to the branch, so if there's something terribly > wrong/missing you will be able to comment on the weekend or in > the following week. For me it seems to work. Looking forward to seeing your ideas/solution!

Re: [PATCH 4/7] gnu: Add idris-lightyear.

> Regarding that, I think it's harder than it should be to add new build > systems at the moment. I think that adding a new build system requires > a substantial amount of boiler plate. Actually I withdraw this statement. Except copying the guile-for-build procedure into every build-system, there

Re: [PATCH 4/7] gnu: Add idris-lightyear.

> I’m not sure what a ‘phase-build-system’ would look like, if not like > ‘gnu-build-system’, but it’s an interesting idea to explore. I think you are right, it would look exactly like the gnu-build-system. I think my issue wasn't technical but psychological. It feels like other build-systems aren

Re: [PATCH 00/96] ocaml-build-system and packages

> Hi, it's a bit late for christmas, so let's call this ocamlismas ;). > > Here are ~100 patches that: > > - Add an ocaml-build-system > - Change the ocaml compiler, camlp4 and findlib to work nicely with it > - A lot of packages (all dependencies of bap, and bap itself). > > I took one patch from

Re: [PATCH 44/96] gnu: Add ocaml-fileutils

home-page should be above synopsis by convention. > +(version "0.5.1") > +(home-page "http://ocaml-fileutils.forge.ocamlcore.org/";) > +(source (ocaml-forge-origin name version 1651 > + "0g6zx2rcvacklxyli19ixcf6ich9ipxsps4k3jz98f5zlaab0a7g")) > +(build-system ocaml-bui

<    1   2   3   4   5   6   7   8   9   10   >