summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorErich Eckner <git@eckner.net>2020-10-18 10:04:57 +0200
committerErich Eckner <git@eckner.net>2020-10-18 10:04:57 +0200
commit12ae1ba84d190c70043892a999b89d817bcb0ce0 (patch)
tree84d81c0f60b5e0198169b77467488925c0967252
parent770473bf1c6dd6e79db50fcd0efa608265bd6d67 (diff)
downloadclean-compile-mpost-master.tar.xz
Makefile newHEADv0.0master
-rw-r--r--.gitignore1
-rw-r--r--Makefile53
-rwxr-xr-xclean-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 ...