Oops! I tried it with just LIB_INSTALL_DIR, and you are correct. I've
attached a patch fixing that.
David
On Tue, May 5, 2015 at 3:05 PM, Ludovic Courtès <l...@gnu.org> wrote:
> David Hashe <david.ha...@dhashe.com> skribis:
>
> > From 65ea73868e3374d56793cde163172ad9749fe3af Mon Sep 17 00:00:00 2001
> > From: David Hashe <david.ha...@dhashe.com>
> > Date: Tue, 5 May 2015 01:48:28 -0500
> > Subject: [PATCH] gnu: webkitgtk: Fix compilation on x86_64.
> >
> > * gnu/packages/webkit.scm (webkitgtk): Move library install path from
> lib64 to
> > lib.
>
> Applied.
>
> [...]
>
> > - #:configure-flags '("-DPORT=GTK")))
> > + #:configure-flags (list
> > + "-DPORT=GTK"
> > + (string-append ; uses lib64 by default
> > + "-DLIB_INSTALL_DIR="
> > + (assoc-ref %outputs "out") "/lib"))
> > + #:make-flags '("lib=lib"))) ; uses lib64 by default
>
> Do you know if both are actually needed? I would expect LIB_INSTALL_DIR
> to be sufficient.
>
> Thank you!
>
> Ludo’.
>
From 3caa6372614cbbf39d06a8d1741958e1bb92be9a Mon Sep 17 00:00:00 2001
From: David Hashe <david.ha...@dhashe.com>
Date: Tue, 5 May 2015 23:49:55 -0500
Subject: [PATCH] gnu: webkitgtk: Remove unnecessary make flag.
* gnu/packages/webkit.scm (webkitgtk): Remove make-flags.
---
gnu/packages/webkit.scm | 3 +--
1 file changed, 1 insertion(+), 2 deletions(-)
diff --git a/gnu/packages/webkit.scm b/gnu/packages/webkit.scm
index 873428c..9692ab0 100644
--- a/gnu/packages/webkit.scm
+++ b/gnu/packages/webkit.scm
@@ -55,7 +55,6 @@
(base32
"1zv030ryfwwp57yzlpr9bgpxcmc64izsxk2vsyd4kjhns9cl88bx"))))
(build-system cmake-build-system)
(arguments
'(#:tests? #f ; no tests
#:build-type "Release" ; turn off debugging symbols to save space
@@ -63,8 +62,7 @@
"-DPORT=GTK"
(string-append ; uses lib64 by default
"-DLIB_INSTALL_DIR="
- (assoc-ref %outputs "out") "/lib"))
- #:make-flags '("lib=lib"))) ; uses lib64 by default
+ (assoc-ref %outputs "out") "/lib"))))
(native-inputs
`(("bison" ,bison)
("gettext" ,gnu-gettext)
--
1.9.1
