| 1 | diff -u -r ../ne-3.1.1/makefile ./makefile |
| 2 | --- ../ne-3.1.1/makefile 2017-06-04 22:43:12.000000000 +0200 |
| 3 | +++ ./makefile 2017-06-06 09:45:51.221176799 +0200 |
| 4 | @@ -8,10 +8,12 @@ |
| 5 | # and installed under the $(PREFIX) hierarchy. You can even use "make install PREFIX=$HOME/<dir>" |
| 6 | # to install ne locally into the directory <dir>. |
| 7 | |
| 8 | -PREFIX=/usr/local |
| 9 | +PREFIX?=/usr/local |
| 10 | |
| 11 | PROGRAM = ne |
| 12 | |
| 13 | +STRIP?=strip |
| 14 | + |
| 15 | ifeq ($(OS), Windows_NT) |
| 16 | OS := Windows |
| 17 | else |
| 18 | @@ -20,7 +22,7 @@ |
| 19 | |
| 20 | |
| 21 | build: docs |
| 22 | - ( cd src; make clean; make NE_GLOBAL_DIR=$(PREFIX)/share/ne; strip ne ) |
| 23 | + ( cd src; make clean; make NE_GLOBAL_DIR=$(PREFIX)/share/ne; $(STRIP) ne ) |
| 24 | |
| 25 | docs: |
| 26 | ( cd doc; make ) |