Skip to content

Commit 4408b21

Browse files
authored
debian: provide libre.so and libre.so.0 (#236)
1 parent 18ba584 commit 4408b21

File tree

3 files changed

+8
-3
lines changed

3 files changed

+8
-3
lines changed

debian/libre-dev.files

+1
Original file line numberDiff line numberDiff line change
@@ -1,3 +1,4 @@
11
usr/include
22
usr/lib/libre.a
3+
usr/lib/libre.so
34
usr/share/re

debian/libre.files

+1-1
Original file line numberDiff line numberDiff line change
@@ -1 +1 @@
1-
/usr/lib/libre.so
1+
/usr/lib/libre.so.*

debian/rules

+6-2
Original file line numberDiff line numberDiff line change
@@ -28,7 +28,8 @@ build-stamp: configure-stamp
2828
# Add here commands to compile the package.
2929
$(MAKE) RELEASE=1 \
3030
EXTRA_CFLAGS=$(EXTRA_CFLAGS) \
31-
EXTRA_LFLAGS=$(EXTRA_LFLAGS)
31+
EXTRA_LFLAGS=$(EXTRA_LFLAGS) \
32+
LIB_SUFFIX=.so.0
3233

3334
touch $@
3435

@@ -50,7 +51,10 @@ install: build
5051

5152
# Add here commands to install the package into debian/tmp
5253
mkdir $(CURDIR)/debian/tmp
53-
$(MAKE) install DESTDIR=$(CURDIR)/debian/tmp
54+
$(MAKE) install DESTDIR=$(CURDIR)/debian/tmp \
55+
LIB_SUFFIX=.so.0
56+
57+
cd $(CURDIR)/debian/tmp/usr/lib && ln -s -f libre.so.0 libre.so
5458

5559
dh_movefiles
5660

0 commit comments

Comments
 (0)