aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--gnu/packages/bioinformatics.scm4
-rw-r--r--gnu/packages/patches/vsearch-unbundle-cityhash.patch6
2 files changed, 5 insertions, 5 deletions
diff --git a/gnu/packages/bioinformatics.scm b/gnu/packages/bioinformatics.scm
index 9954fcf20b..d9362ea4c6 100644
--- a/gnu/packages/bioinformatics.scm
+++ b/gnu/packages/bioinformatics.scm
@@ -6825,7 +6825,7 @@ SELECT or UPDATE queries to an end-point.")
(define-public vsearch
(package
(name "vsearch")
- (version "2.8.0")
+ (version "2.9.1")
(source
(origin
(method git-fetch)
@@ -6835,7 +6835,7 @@ SELECT or UPDATE queries to an end-point.")
(file-name (git-file-name name version))
(sha256
(base32
- "0lrw6n75gmqkxl053yi2pwwvnzwf1r79ypzxgv6m0kw6df5fwv6r"))
+ "0vhrpjfdf75ba04b24xknp41790cvcgwl0vgpy7qbzj5xh2521ss"))
(patches (search-patches "vsearch-unbundle-cityhash.patch"))
(snippet
'(begin
diff --git a/gnu/packages/patches/vsearch-unbundle-cityhash.patch b/gnu/packages/patches/vsearch-unbundle-cityhash.patch
index b1ecb1f063..2a2ab13a73 100644
--- a/gnu/packages/patches/vsearch-unbundle-cityhash.patch
+++ b/gnu/packages/patches/vsearch-unbundle-cityhash.patch
@@ -6,7 +6,7 @@ index e56a8a2..4adcc48 100644
if TARGET_PPC
AM_CXXFLAGS=-Wall -Wsign-compare -O3 -g -mcpu=power8
else
--AM_CXXFLAGS=-Wall -Wsign-compare -O3 -g
+-AM_CXXFLAGS=-Wall -Wsign-compare -O3 -g -march=x86-64 -mtune=generic
+AM_CXXFLAGS=-Wall -Wsign-compare -O3 -g -lcityhash
endif
@@ -39,7 +39,7 @@ index e56a8a2..4adcc48 100644
-
if TARGET_WIN
--libcityhash_a_CXXFLAGS = -Wall -Wno-sign-compare -O3 -g -D_MSC_VER
+-libcityhash_a_CXXFLAGS = $(AM_CXXFLAGS) -Wno-sign-compare -D_MSC_VER
-__top_builddir__bin_vsearch_LDFLAGS = -static
-__top_builddir__bin_vsearch_LDADD = libregex.a libcityhash.a libcpu_ssse3.a libcpu_sse2.a
+__top_builddir__bin_vsearch_LDFLAGS = -static -lcityhash
@@ -47,7 +47,7 @@ index e56a8a2..4adcc48 100644
else
--libcityhash_a_CXXFLAGS = -Wall -Wno-sign-compare -O3 -g
+-libcityhash_a_CXXFLAGS = $(AM_CXXFLAGS) -Wno-sign-compare
-
if TARGET_PPC
-__top_builddir__bin_vsearch_LDADD = libcityhash.a libcpu.a
021-11-20 00:38:55 +0100'>2021-11-20gnu: coq-gappa: Update home-page.Julien Lepiller * gnu/packages/coq.scm (coq-gappa)[home-page]: Update. 2021-11-20gnu: coq-flocq: Update home-page.Julien Lepiller * gnu/packages/coq.scm (coq-flocq)[home-page]: Update. 2021-11-18gnu: coq-stdpp: Adjust '#:make-flags'.zimoun * gnu/packages/coq.scm (coq-stdpp)[arguments]<#:make-flags>: Set install destination. <#:phases>: Remove replace 'install. Signed-off-by: Julien Lepiller <julien@lepiller.eu> 2021-11-18gnu: coq-equations: Adjust '#:make-flags'.zimoun * gnu/packages/coq.scm (coq-equations)[arguments]<#:make-flags>: Set install destination. <#:phases>: Remove replace 'install. Signed-off-by: Julien Lepiller <julien@lepiller.eu> 2021-11-18gnu: coq-autosubst: Adjust '#:make-flags'.zimoun * gnu/packages/coq.scm (coq-autosubst)[arguments]<#:make-flags>: Set install destination. <#:phases>: Remove replace 'install. Signed-off-by: Julien Lepiller <julien@lepiller.eu> 2021-11-18gnu: coq-mathcomp: Adjust '#:make-flags'.zimoun * gnu/packages/coq.scm (coq-mathcomp)[arguments]<#:make-flags>: Set install destination. <#:phases>: Remove replace 'install. Signed-off-by: Julien Lepiller <julien@lepiller.eu> 2021-11-18gnu: Add coq-semantics.zimoun * gnu/packages/coq.scm (coq-semantics): New variable. Signed-off-by: Julien Lepiller <julien@lepiller.eu> 2021-10-08gnu: coq: Add upstream-name.Julien Lepiller This prevents an error on inherited packages when running the updater. * gnu/packages/coq.scm (coq)[properties]: Add upstream-name. 2021-07-31gnu: coq: Update to 8.13.2.Julien Lepiller * gnu/packages/coq.scm (coq): Update to 8.13.2. (coq-ide-server, coq-ide): New packages. (coq-gappa): Update to 1.4.6. (coq-bignums): Update to 8.13.0. (coq-interval): Update to 1.3.0. (coq-equations): Update to 1.2.4. 2021-07-31gnu: coq-stdpp: Update to 1.5.0.Julien Lepiller * gnu/packages/coq.scm (coq-stdpp): Update to 1.5.0. 2021-06-13gnu: proof-general: Update to 4.4-0.bc86736.Xinglu Chen There hasn’t been a new release since 2016 and there has been more than 450 new commits since then. * gnu/packages/coq.scm (proof-general): Update to 4.4-0.bc86736. [arguments]<#:make-flags>: Set ELISP_START. <#:phases>: Remove ‘coq-prog’ procedure which was unused; don’t run ‘substitute*’ on bin/proofgeneral since it no longer exists. Don’t end phases with #t, this will be unnecessary once the ‘core-updates’ branch is merged. [home-page]: Remove trailing whitesapce. Signed-off-by: Ludovic Courtès <ludo@gnu.org>