aboutsummaryrefslogtreecommitdiff
Taken from the Debian package.

From 7be4a19b76d98260cf95040a47935f854a4ba7a4 Mon Sep 17 00:00:00 2001
From: Valentin Rusu <kde@rusu.info>
Date: Sat, 17 Dec 2011 13:47:58 +0100
Subject: [PATCH] Fix .pc file by adding clucene-shared library

---
 src/core/libclucene-core.pc.cmake |    2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

--- a/src/core/libclucene-core.pc.cmake
+++ b/src/core/libclucene-core.pc.cmake
@@ -6,6 +6,6 @@ includedir=${prefix}/include:${prefix}/i
 Name: libclucene
 Description: CLucene - a C++ search engine, ported from the popular Apache Lucene
 Version: @CLUCENE_VERSION_MAJOR@.@CLUCENE_VERSION_MINOR@.@CLUCENE_VERSION_REVISION@.@CLUCENE_VERSION_PATCH@
-Libs: -L${prefix}/@LIB_DESTINATION@/ -lclucene-core
+Libs: -L${prefix}/@LIB_DESTINATION@/ -lclucene-core -lclucene-shared
 Cflags: -I${prefix}/include -I${prefix}/include/CLucene/ext
 ~
ommit/gnu/packages/coq.scm?id=5bd5d6ef2d42367398176aea87fe6a1fe61ab198'>gnu: proof-general: Update to 4.4....* gnu/packages/coq.scm (proof-general): Update to 4.4. [source]: Change to GIT-FETCH. [arguments]: Remove obsolete substitutions. Signed-off-by: Marius Bakke <mbakke@fastmail.com> John Soo 2020-03-05gnu: coq-mathcomp: Update home page URI....* gnu/packages/coq.scm (coq-mathcomp)[home-page]: Update URI. Björn Höfling 2020-01-07gnu: coq-stdpp: Reword comment....* gnu/packages/coq.scm (coq-stdpp)[arguments]: Reword comment about tests being executed during build phase, to read more fluently. Brett Gilio 2020-01-07gnu: coq-stdpp: Update to 1.2.1....* gnu/packages/coq.scm (coq-stdpp): Update to 1.2.1. [arguments]: Remove redundant COQLIB variable. Brett Gilio 2020-01-07gnu: coq-bignums: Fix comment spacing....* gnu/packages/coq.scm (coq-bignums)[arguments]: Fix comment spacing after disabling test phase. Brett Gilio 2020-01-07gnu: coq-bignums: Update to 8.10.0....* gnu/packages/coq.scm (coq-bignums): Update to 8.10.0. Brett Gilio 2020-01-06gnu: coq-equations: Update to 1.2.1....* gnu/packages/coq.scm (coq-equations): Update to 1.2.1. [arguments]: Replace configure phase to run configure shell script. Remove redundant COQLIB. Brett Gilio 2020-01-06gnu: coq-interval: Update to 3.4.1....* gnu/packages/coq.scm (coq-interval): Update to 3.4.1. [source]: Use GIT-FETCH and GIT-FILE-NAME. [native-inputs]: Add autoconf and automake for remake. Brett Gilio 2020-01-06gnu: coq-coquelicot: Truncate home-page....* gnu/packages/coq.scm (coq-coquelicot)[home-page]: Truncate home-page. Brett Gilio 2020-01-06gnu: coq-coquelicot: Update to 3.0.3....* gnu/packages/coq.scm (coq-coquelicot): Update to 3.0.3. [source]: Use GIT-FETCH and GIT-FILE-NAME. [native-inputs]: Add autoconf and automake. Brett Gilio 2020-01-06gnu: coq-gappa: Use HTTPS home page URI....* gnu/packages/coq.scm (coq-gappa)[home-page]: Use HTTPS URI. Brett Gilio 2020-01-06gnu: coq-gappa: Update to 1.4.2....* gnu/packages/coq.scm (coq-gappa): Update to 1.4.2. [source]: Use GIT-FETCH and GIT-FILE-NAME. [native-inputs]: Add autoconf and automake for remake, as well as campl5 for parsing. [propagated-inputs]: coq-gabba now depends on coq-flocq. [arguments]: Temporarily disable check chase until error resolution is identified. Brett Gilio 2020-01-06gnu: coq-flocq: Use HTTPS home page URI....* gnu/packages/coq.scm (coq-flocq)[home-page]: Use HTTPS URI. Brett Gilio 2020-01-06gnu: coq-flocq: Update to 3.2.0....* gnu/packages/coq.scm (coq-flocq): Update to 3.2.0. [source]: Use GIT-FETCH and GIT-FILE-NAME. [native-inputs]: Add autoconf and automake for remake. [arguments]: Add remove-failing-examples phase to work around union error. Brett Gilio 2020-01-06gnu: coq: Reword several comments....* gnu/packages/coq.scm (coq): Reword several comments to improve readability. Brett Gilio 2020-01-06gnu: coq: Update to 8.10.2....* gnu/packages/coq.scm (coq): Update to 8.10.2. [inputs]: Replace lablgtk with lablgtk3. [arguments]: Remove remove-lablgtk-references phase, as it no longer appears to be necessary. Brett Gilio 2020-01-05gnu: coq-mathcomp: Update to 1.10.0....* gnu/packages/coq.scm (coq-mathcomp): Update to 1.10.0. [arguments]: Modify comment about tests. Remove redundant setting of COQLIB environment variable. Brett Gilio 2019-12-12gnu: coq: Split coqide....* gnu/packages/coq.scm (coq)[outputs]: Add "ide" output. Julien Lepiller 2019-11-25gnu: coq-bignums: Don't use unstable tarball....* gnu/pacakges/coq.scm (coq-bignums)[source]: Download using git-fetch. Efraim Flashner