1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
|
Description: Set prefix to /usr instead of /usr/local
Author: Matthias Geiger <werdahias@debian.org>
Forwarded: no
Last-Update: 2025-08-17
---
This patch header follows DEP-3: http://dep.debian.net/deps/dep3/
--- a/Makefile
+++ b/Makefile
@@ -32,7 +32,7 @@
PKG_CONFIG_PATH := /usr/local/lib/pkgconfig:/usr/local/share/pkgconfig:$(PKG_CONFIG_PATH)
endif
else
- PREFIX ?= /usr/local
+ PREFIX ?= /usr
PKG_CONFIG_PATH := /usr/lib/x86_64-linux-gnu/pkgconfig:/usr/lib/pkgconfig:/usr/share/pkgconfig:$(PKG_CONFIG_PATH)
endif
|
