Re: [PATCH] gnu: webkitgtk: Fix compilation on x86_64.

[David Hashe]

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 <address@hidden> wrote:

David Hashe <address@hidden> skribis:

> From 65ea73868e3374d56793cde163172ad9749fe3af Mon Sep 17 00:00:00 2001
> From: David Hashe <address@hidden>
> 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’.

0001-gnu-webkitgtk-Remove-unnecessary-make-flag.patch
Description: Text Data