diff options
author | Thomas Voss <mail@thomasvoss.com> | 2023-08-12 14:57:09 +0200 |
---|---|---|
committer | Thomas Voss <mail@thomasvoss.com> | 2023-08-12 14:57:09 +0200 |
commit | c5240658cd621132a55f4f1ad60be2593aee28f8 (patch) | |
tree | 01964b44646559ace71d765e72d9ee3bbe05157f | |
parent | 2a186158ed5996c2c8cc0280a362500fa3b854ff (diff) |
Add a Makefile
-rw-r--r-- | Makefile | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/Makefile b/Makefile new file mode 100644 index 0000000..aaea0d8 --- /dev/null +++ b/Makefile @@ -0,0 +1,15 @@ +.POSIX: + +PREFIX = /usr/local +DPREFIX = ${DESTDIR}${PREFIX} + +target = target/release/mmv + +all: ${target} +${target}: src/main.rs + cargo build --release + +install: + mkdir -p ${DPREFIX}/bin ${DPREFIX}/share/man/man1 + cp ${target} ${DPREFIX}/bin + cp mmv.1 ${DPREFIX}/share/man/man1 |