diff options
| author | Jakob Odersky <jodersky@gmail.com> | 2012-06-18 19:04:01 +0200 |
|---|---|---|
| committer | Jakob Odersky <jodersky@gmail.com> | 2012-06-18 19:04:01 +0200 |
| commit | b9f5fc2200d4623b1bc54bd409f476960bbfc1df (patch) | |
| tree | 22a2dd087ad1988aa2feb4455de24cba9c526d68 | |
| parent | c088db416427320ecd9ae8dbad4af32c7d986eb9 (diff) | |
| download | k8055-b9f5fc2200d4623b1bc54bd409f476960bbfc1df.tar.gz k8055-b9f5fc2200d4623b1bc54bd409f476960bbfc1df.tar.bz2 k8055-b9f5fc2200d4623b1bc54bd409f476960bbfc1df.zip | |
adapt Makefile for debhelper
| -rw-r--r-- | Makefile | 5 |
1 files changed, 4 insertions, 1 deletions
@@ -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 |