diff options
| author | Erich Eckner <git@eckner.net> | 2020-10-18 10:04:57 +0200 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2020-10-18 10:04:57 +0200 |
| commit | 12ae1ba84d190c70043892a999b89d817bcb0ce0 (patch) | |
| tree | 84d81c0f60b5e0198169b77467488925c0967252 | |
| parent | 770473bf1c6dd6e79db50fcd0efa608265bd6d67 (diff) | |
| download | clean-compile-mpost-master.tar.xz | |
| -rw-r--r-- | .gitignore | 1 | ||||
| -rw-r--r-- | Makefile | 53 | ||||
| -rwxr-xr-x | clean-compile-mpost.in (renamed from clean-compile-mpost) | 4 |
3 files changed, 57 insertions, 1 deletions
diff --git a/.gitignore b/.gitignore new file mode 100644 index 0000000..a9fed2d --- /dev/null +++ b/.gitignore @@ -0,0 +1 @@ +clean-compile-mpost diff --git a/Makefile b/Makefile new file mode 100644 index 0000000..80f76d8 --- /dev/null +++ b/Makefile @@ -0,0 +1,53 @@ +# +# clean-compile-mpost - compile metapost in a clean temporary directory +# +# Copyright (c) 2020 Erich Eckner <opensource at eckner dot net> +# +# This program is free software; you can redistribute it and/or modify +# it under the terms of the GNU General Public License as published by +# the Free Software Foundation; either version 2 of the License, or +# (at your option) any later version. +# +# This program is distributed in the hope that it will be useful, +# but WITHOUT ANY WARRANTY; without even the implied warranty of +# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the +# GNU General Public License for more details. +# +# You should have received a copy of the GNU General Public License +# along with this program; if not, write to the Free Software +# Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, +# USA. +# + +SHELL = /bin/bash +DESTDIR = +BINDIR = /usr/bin + +VERSION = 0.0 + +all: clean-compile-mpost + +%: %.in + sed " \ + s/#VERSION#/$(VERSION)/; \ + s@#SHELL#@$(SHELL)@; \ + " $< > $@ && \ + ( [[ "$@" = *.* ]] || chmod +x "$@" ) + +.PHONY: install dist clean + +install: all + install -D -m0755 -t $(DESTDIR)$(BINDIR) clean-compile-mpost + +clean: + git clean -x -d -f + +dist: clean + git status --porcelain 2> /dev/null | grep -q "\S" && (git add .; git commit -m"neue Version: $(VERSION)") || true + ! git tag -d v$(VERSION) 2> /dev/null + git tag v$(VERSION) + knock-knock || true + git push + git push --tags + +# End of file diff --git a/clean-compile-mpost b/clean-compile-mpost.in index 6eba233..d304f92 100755 --- a/clean-compile-mpost +++ b/clean-compile-mpost.in @@ -1,4 +1,6 @@ -#!/bin/bash +#!#SHELL# + +# Version #VERSION# # clean-compile-mpost source.mp target-dir/ additional-file1 additional-file2 ... |