diff options
author | Manos Pitsidianakis <el13635@mail.ntua.gr> | 2020-01-31 02:47:10 +0200 |
---|---|---|
committer | Manos Pitsidianakis <el13635@mail.ntua.gr> | 2020-02-04 02:55:45 +0200 |
commit | bb80de91aee1fd2953ba142693076188e64223a5 (patch) | |
tree | ae84e88551b919c41c4306ed2dab8c7fe650d7fa /debian/patches | |
parent | cd1ed5ef405deeaf55b60aa2d871145308271478 (diff) |
Makefile: add debian/ and deb-dist target to build *.deb package
Diffstat (limited to 'debian/patches')
-rw-r--r-- | debian/patches/fix-prefix-for-debian.patch | 14 | ||||
-rw-r--r-- | debian/patches/series | 1 |
2 files changed, 15 insertions, 0 deletions
diff --git a/debian/patches/fix-prefix-for-debian.patch b/debian/patches/fix-prefix-for-debian.patch new file mode 100644 index 00000000..19d0aae4 --- /dev/null +++ b/debian/patches/fix-prefix-for-debian.patch @@ -0,0 +1,14 @@ +Description: Fix PREFIX env var in Makefile for use in Debian +Author: Manos Pitsidianakis <epilys@nessuent.xyz> +Last-Update: 2020-01-30 +--- a/Makefile ++++ b/Makefile +@@ -18,7 +18,7 @@ + # along with meli. If not, see <http://www.gnu.org/licenses/>. + + # Options +-PREFIX ?= /usr/local ++PREFIX ?= /usr + BINDIR ?= ${PREFIX}/bin + MANDIR ?= ${PREFIX}/share/man + diff --git a/debian/patches/series b/debian/patches/series new file mode 100644 index 00000000..8c73ddcc --- /dev/null +++ b/debian/patches/series @@ -0,0 +1 @@ +fix-prefix-for-debian.patch |