From b9f5fc2200d4623b1bc54bd409f476960bbfc1df Mon Sep 17 00:00:00 2001 From: Jakob Odersky Date: Mon, 18 Jun 2012 19:04:01 +0200 Subject: adapt Makefile for debhelper --- Makefile | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/Makefile b/Makefile index 93d86bc..1d3f74f 100644 --- a/Makefile +++ b/Makefile @@ -12,8 +12,9 @@ clean: make clean -C src rm -rf target +dist-clean: clean + mkdirs: - mkdir -p target mkdir -p target/lib mkdir -p target/include @@ -38,6 +39,8 @@ uninstall-permissions: uninstall-rules groupdel k8055 install: compile + mkdir -p $(PREFIX)/lib + mkdir -p $(PREFIX)/include cp src/*.so $(PREFIX)/lib cp src/*.h $(PREFIX)/include -- cgit v1.2.3