blob: a569be40b8b8b30da52d4e409d7c6d8ae52bd474 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
|
From 27eb23c1844029ee64907500bd8aa87097ffcd32 Mon Sep 17 00:00:00 2001
From: hasufell <hasufell@hasufell.de>
Date: Sun, 18 May 2014 18:46:24 +0200
Subject: [PATCH] Allow to control LIBDIR
Some distributions have lib32/lib64 and need to control
the destination properly.
---
Makefile.in | 8 +++++---
1 file changed, 5 insertions(+), 3 deletions(-)
diff --git a/Makefile.in b/Makefile.in
index c16f838..b6ea4c9 100644
--- a/Makefile.in
+++ b/Makefile.in
@@ -4,6 +4,8 @@ else
$(DLPATH):=$(DLPATH_ADD)
endif
+LIBDIR=lib
+
QUIET_CC = @echo ' ' CC ' ' $@;
QUIET_CXX = @echo ' ' CXX ' ' $@;
QUIET_AR = @echo ' ' AR ' ' $@;
@@ -169,13 +171,13 @@ else
endif
install: library
- mkdir -p $(DESTDIR)$(PREFIX)/lib
+ mkdir -p $(DESTDIR)$(PREFIX)/$(LIBDIR)
mkdir -p $(DESTDIR)$(PREFIX)/include/flint
$(AT)if [ "$(FLINT_SHARED)" -eq "1" ]; then \
- cp $(FLINT_LIB) $(DESTDIR)$(PREFIX)/lib; \
+ cp $(FLINT_LIB) $(DESTDIR)$(PREFIX)/$(LIBDIR); \
fi
$(AT)if [ "$(FLINT_STATIC)" -eq "1" ]; then \
- cp libflint.a $(DESTDIR)$(PREFIX)/lib; \
+ cp libflint.a $(DESTDIR)$(PREFIX)/$(LIBDIR); \
fi
cp $(HEADERS) $(DESTDIR)$(PREFIX)/include/flint
$(AT)if [ ! -z $(EXT_HEADERS) ]; then \
--
1.9.3
|
GitWeb
