[pve-jslint.git] / src / Makefile

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
Commit	Line	Data
db222213 TL	1	DESTDIR=
	2	PACKAGE ?= pve-jslint
	3
	4	rhinoed_jslint.js: jslint.js rhino.js
	5	cat jslint.js rhino.js >$@.tmp
	6	mv $@.tmp $@
	7
	8	install: rhinoed_jslint.js jslint
	9	install -d -m 0755 ${DESTDIR}/usr/share/${PACKAGE}
	10	install -m 0644 rhinoed_jslint.js ${DESTDIR}/usr/share/${PACKAGE}/rhinoed_jslint.js
	11	install -d -m 0755 ${DESTDIR}/usr/bin
	12	install -m 0755 jslint ${DESTDIR}/usr/bin