From db222213ce3a99f771a04c52ddb5ad688f6d8325 Mon Sep 17 00:00:00 2001 From: Thomas Lamprecht Date: Thu, 23 May 2019 14:04:42 +0200 Subject: [PATCH] followup: commit src Makefile Signed-off-by: Thomas Lamprecht --- src/Makefile | 12 ++++++++++++ 1 file changed, 12 insertions(+) create mode 100644 src/Makefile diff --git a/src/Makefile b/src/Makefile new file mode 100644 index 0000000..dad409a --- /dev/null +++ b/src/Makefile @@ -0,0 +1,12 @@ +DESTDIR= +PACKAGE ?= pve-jslint + +rhinoed_jslint.js: jslint.js rhino.js + cat jslint.js rhino.js >$@.tmp + mv $@.tmp $@ + +install: rhinoed_jslint.js jslint + install -d -m 0755 ${DESTDIR}/usr/share/${PACKAGE} + install -m 0644 rhinoed_jslint.js ${DESTDIR}/usr/share/${PACKAGE}/rhinoed_jslint.js + install -d -m 0755 ${DESTDIR}/usr/bin + install -m 0755 jslint ${DESTDIR}/usr/bin