diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2015-11-25 09:46:40 +0100 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2015-11-25 11:59:54 +0100 |
| commit | b6094b1f0a6760b9f5296364cf5edb8a2e64953c (patch) | |
| tree | b35b0b9f8cfc83c193018f06207c3ef31938f7df /gnu/packages/dico.scm | |
| parent | 39570137e5a7f4d1ca2ba78d189c107caebd5b6c (diff) | |
| download | patches-b6094b1f0a6760b9f5296364cf5edb8a2e64953c.tar patches-b6094b1f0a6760b9f5296364cf5edb8a2e64953c.tar.gz | |
gnu: dico: Sort entries in .a files deterministically.
* gnu/packages/patches/dico-libtool-deterministic.patch: New file.
* gnu/packages/dico.scm (dico)[source]: Use it.
[arguments]: Add #:make-flags.
* gnu-system.am (dist_patch_DATA): Add the patch.
Diffstat (limited to 'gnu/packages/dico.scm')
| -rw-r--r-- | gnu/packages/dico.scm | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/gnu/packages/dico.scm b/gnu/packages/dico.scm index 372c090c6f..317eeeebea 100644 --- a/gnu/packages/dico.scm +++ b/gnu/packages/dico.scm @@ -43,11 +43,14 @@ (sha256 (base32 "04pjks075x20d19l623mj50bw64g8i41s63z4kzzqcbg9qg96x64")) - (patches (list (search-patch "cpio-gets-undeclared.patch"))))) + (patches (map search-patch + '("cpio-gets-undeclared.patch" + "dico-libtool-deterministic.patch"))))) (build-system gnu-build-system) (arguments '(#:configure-flags (list (string-append "--with-guile-site-dir=" %output "/share/guile/site/2.0")) + #:make-flags '("V=1") #:phases (modify-phases %standard-phases (add-before 'check 'silence-guile (lambda _ |