[pve-jslint.git] / src / Makefile

DESTDIR=
PACKAGE ?= pve-jslint

rhinoed_jslint.js: jslint.js rhino.js
	cat jslint.js rhino.js >$@.tmp
	mv $@.tmp $@

.PHONY: install clean
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

clean:
	rm -f rhinoed_jslint.js
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
43ca2f23	8	.PHONY: install clean
db222213 TL	9	install: rhinoed_jslint.js jslint
	10	install -d -m 0755 ${DESTDIR}/usr/share/${PACKAGE}
	11	install -m 0644 rhinoed_jslint.js ${DESTDIR}/usr/share/${PACKAGE}/rhinoed_jslint.js
	12	install -d -m 0755 ${DESTDIR}/usr/bin
	13	install -m 0755 jslint ${DESTDIR}/usr/bin
43ca2f23 TL	14
	15	clean:
	16	rm -f rhinoed_jslint.js