gnu-build-system should set DESTDIR

2014-02-10 Thread John Darrington
Per recent discussions:

I think the make install target in gnu-build-system should set DESTDIR to / 
(or /.)
Rationale:

Many upstream makefiles (eg: 

https://git.gnome.org/browse/gnome-themes-standard/tree/themes/HighContrast/icons/Makefile.am)
 

assume that when DESTDIR is unset (or is ) then the package is being 
installed in a live system:

if test -z $(DESTDIR); then \
echo Updating Gtk icon cache.; \
$(gtk_update_icon_cache); \
else \
echo *** Icon cache not updated.  After (un)install, run 
this:; \
echo ***   $(gtk_update_icon_cache); \
fi

I have noticed that a number of packages in /nix/store/ have their own version 
of icon-theme.cache leading to warnings when doing guix package --install

So we need to set DESTDIR to *something* and to arrange for some kind of 
post-install hook to update
the cache.  The same goes for top level info nodes.

J'



-- 
PGP Public key ID: 1024D/2DE827B3 
fingerprint = 8797 A26D 0854 2EAB 0285  A290 8A67 719C 2DE8 27B3
See http://sks-keyservers.net or any PGP keyserver for public key.




Re: gnu-build-system should set DESTDIR

2014-02-10 Thread Ludovic Courtès
John Darrington j...@darrington.wattle.id.au skribis:

 I think the make install target in gnu-build-system should set DESTDIR to / 
 (or /.)
 Rationale:

 Many upstream makefiles (eg: 

 https://git.gnome.org/browse/gnome-themes-standard/tree/themes/HighContrast/icons/Makefile.am)
  

We’re talking about GNOME makefiles only, I think.  The snippet below is
clearly a hack IMO.

 assume that when DESTDIR is unset (or is ) then the package is being 
 installed in a live system:

 if test -z $(DESTDIR); then \
   echo Updating Gtk icon cache.; \
   $(gtk_update_icon_cache); \
 else \
   echo *** Icon cache not updated.  After (un)install, run 
 this:; \
   echo ***   $(gtk_update_icon_cache); \
 fi

 I have noticed that a number of packages in /nix/store/ have their own 
 version 
 of icon-theme.cache leading to warnings when doing guix package --install

 So we need to set DESTDIR to *something* and to arrange for some kind of 
 post-install hook to update
 the cache.  The same goes for top level info nodes.

What about this: we add a GNOME build system doing a few things, such as
handling schemas [0] and setting DESTDIR if that’s a common idiom.

WDYT?

The post-install hook is definitely on the to-do list, but it needs a
bit of thought.

Thanks,
Ludo’.

[0] http://lists.gnu.org/archive/html/guix-devel/2013-10/msg00171.html



Re: gnu-build-system should set DESTDIR

2014-02-10 Thread Sree Harsha Totakura
On 02/10/2014 09:19 AM, John Darrington wrote:
 I think the make install target in gnu-build-system should set DESTDIR to / 
 (or /.)
 Rationale:

Setting DESTDIR will then make the install target to install files in
the chroot dir (most likely to /usr/local/ or the prefix dir inside
chroot) inside the chroot.  But the intention is to install into a
directory given by the --prefix variable to `configure'.

Sree



Re: gnu-build-system should set DESTDIR

2014-02-10 Thread John Darrington
On Mon, Feb 10, 2014 at 01:58:35PM +0100, Sree Harsha Totakura wrote:
 On 02/10/2014 09:19 AM, John Darrington wrote:
  I think the make install target in gnu-build-system should set DESTDIR 
to / (or /.)
 
 Setting DESTDIR will then make the install target to install files in
 the chroot dir (most likely to /usr/local/ or the prefix dir inside
 chroot) inside the chroot.  But the intention is to install into a
 directory given by the --prefix variable to `configure'.
 
 Sree

Files are installed into $DESTDIR$prefix  so setting DESTDIR to / will not 
break this.

J'



-- 
PGP Public key ID: 1024D/2DE827B3 
fingerprint = 8797 A26D 0854 2EAB 0285  A290 8A67 719C 2DE8 27B3
See http://sks-keyservers.net or any PGP keyserver for public key.




Re: gnu-build-system should set DESTDIR

2014-02-10 Thread John Darrington
On Mon, Feb 10, 2014 at 01:56:49PM +0100, Ludovic Court??s wrote:
 
 We???re talking about GNOME makefiles only, I think.  The snippet below is
 clearly a hack IMO.

Two non-gnome packages which also do this include gnubik and pspp
 
J'

-- 
PGP Public key ID: 1024D/2DE827B3 
fingerprint = 8797 A26D 0854 2EAB 0285  A290 8A67 719C 2DE8 27B3
See http://sks-keyservers.net or any PGP keyserver for public key.



signature.asc
Description: Digital signature


Re: [PATCH] gnu: texinfo: Make version 4.13a available

2014-02-10 Thread Ludovic Courtès
Mark H Weaver m...@netris.org skribis:

 This patch adds texinfo-4.13a back to Guix, as an alternative to
 texinfo-5.2.

 The motivation is that building Guile's manual using texinfo-4.13a takes
 about 6 seconds on my Yeeloong, compared with about 12 *minutes* using
 texinfo-5.2.

Ouch.  My laptop is faster, but yeah, I sympathize.  :-)

I wonder about the environmental footprint of the switch to Texinfo 5.

 From ea307b2af2d995b4f37c27e52f5d259131d27fe8 Mon Sep 17 00:00:00 2001
 From: Mark H Weaver m...@netris.org
 Date: Mon, 10 Feb 2014 02:04:38 -0500
 Subject: [PATCH] gnu: texinfo: Make version 4.13a available.

 * gnu/packages/texinfo.scm (texinfo-4): New variable.

OK to commit.

Thanks,
Ludo’.



Re: gnu-build-system should set DESTDIR

2014-02-10 Thread John Darrington
On Mon, Feb 10, 2014 at 05:09:10PM +0100, Ludovic Court??s wrote:
 John Darrington j...@darrington.wattle.id.au skribis:
 
  On Mon, Feb 10, 2014 at 01:56:49PM +0100, Ludovic Court??s wrote:
   
   We???re talking about GNOME makefiles only, I think.  The snippet 
below is
   clearly a hack IMO.
 
  Two non-gnome packages which also do this include gnubik and pspp
 
 They do what?  Their recipes don???t fiddle with DESTDIR, do they?
 
No.  No package should ever change the value of DESTDIR.

They simply update the icon cache iff $DESTDIR =   

J'

-- 
PGP Public key ID: 1024D/2DE827B3 
fingerprint = 8797 A26D 0854 2EAB 0285  A290 8A67 719C 2DE8 27B3
See http://sks-keyservers.net or any PGP keyserver for public key.



signature.asc
Description: Digital signature


Re: [PATCH 1/2] gnu: gnunet: Remove Gstreamer dependency.

2014-02-10 Thread Ludovic Courtès
I’ve reported the bug at
https://bugzilla.gnome.org/show_bug.cgi?id=724073 and temporarily
disabled tests in the meantime.

Ludo’.



Re: [PATCH] gnu: gnunet: Add GNUnet-0.10.0.

2014-02-10 Thread Ludovic Courtès
Sree Harsha Totakura sreehar...@totakura.in skribis:

 * gnunet/packages/gnunet.scm (gnunet): New variable.
 * gnu/package/patches/gnunet-fix-scheduler.patch: New file.
 * gnu/package/patches/gnunet-fix-tests.patch: New file.
 * gnu-system.am (dist_patch_DATA): Add the above two patch files.

 Co-authored-by: Andreas Enge andr...@enge.fr

Applied.

However, gnurl fails to build for me:

--8---cut here---start-8---
TESTDONE: 365 tests out of 366 reported OK: 99%
TESTFAIL: These test cases failed: 172 
TESTDONE: 911 tests were considered during 140 seconds.
Makefile:723: recipe for target 'quiet-test' failed
make[1]: *** [quiet-test] Error 1
make[1]: Leaving directory 
'/tmp/nix-build-gnurl-7.34.0.drv-0/gnurl-7.34.0/tests'
Makefile:1069: recipe for target 'test' failed
--8---cut here---end---8---

Ideas?

Thanks,
Ludo’.



Re: [PATCH] gnu: gnunet: Add GNUnet-0.10.0.

2014-02-10 Thread Andreas Enge
Hello,

On Mon, Feb 10, 2014 at 11:15:30PM +0100, Ludovic Courtès wrote:
 Sree Harsha Totakura sreehar...@totakura.in skribis:
 
  * gnunet/packages/gnunet.scm (gnunet): New variable.
  * gnu/package/patches/gnunet-fix-scheduler.patch: New file.
  * gnu/package/patches/gnunet-fix-tests.patch: New file.
  * gnu-system.am (dist_patch_DATA): Add the above two patch files.
 
  Co-authored-by: Andreas Enge andr...@enge.fr
 
 Applied.
 
 However, gnurl fails to build for me:

see my message from February 5:
   https://lists.gnu.org/archive/html/guix-devel/2014-02/msg00057.html
To summarise, I do not know what happens.

Please do not push the patch yet, as said in that message, I have the patch
in a branch with a few small modifications.

Andreas