diff options
Diffstat (limited to '')
| -rw-r--r-- | Makefile | 22 |
1 files changed, 22 insertions, 0 deletions
diff --git a/Makefile b/Makefile new file mode 100644 index 0000000..39463aa --- /dev/null +++ b/Makefile @@ -0,0 +1,22 @@ +PREFIX ?= /usr/local +EXEC_PREFIX ?= ${PREFIX} +BINDIR ?= ${EXEC_PREFIX}/bin +DATAROOTDIR ?= ${PREFIX}/share +MANDIR ?= ${DATAROOTDIR}/man +VALAC ?= valac + +weltschmerz: weltschmerz.vala terminal.vala config.vala resources.c + ${VALAC} --pkg posix --pkg gtk+-3.0 --pkg vte-2.91 --gresources resources.xml \ + weltschmerz.vala terminal.vala config.vala resources.c + +resources.c: resources.xml terminal.ui terminal.css + glib-compile-resources $< --target=$@ --generate-source + +install: weltschmerz weltschmerz.1 + install -D -m 755 -t '${DESTDIR}${BINDIR}' weltschmerz + install -D -m 644 -t '${DESTDIR}${MANDIR}/man1' weltschmerz.1 + +clean: + rm -f weltschmerz resources.c + +.PHONY: install clean |