diff options
author | rsiddharth <s@ricketyspace.net> | 2016-07-07 23:28:15 +0000 |
---|---|---|
committer | rsiddharth <s@ricketyspace.net> | 2016-07-07 23:28:15 +0000 |
commit | a327ca15a039115f860bf09c2fe600cf3c5d943c (patch) | |
tree | 660aedcd746a7241b71b7b1cd8c338a79f89a7a6 | |
parent | e3b1bd01e32bbdd83cdedce1a66e7ca1cca6491a (diff) |
add Makefile
-rw-r--r-- | Makefile | 26 |
1 files changed, 26 insertions, 0 deletions
diff --git a/Makefile b/Makefile new file mode 100644 index 0000000..7e05c8b --- /dev/null +++ b/Makefile @@ -0,0 +1,26 @@ +#!/usr/bin/make +# license: gnu gpl version 3 or higher. +# copyright 2016 rsiddharth <s@ricketyspace.net> + +guile=$(shell which guile) +bin=$(HOME)/.bin +git_difme=$(bin)/git-difme +git_difme_src=git-difme.scm + +nothing: + @echo "Give me something to make. " +.PHONY: nothing + +git-difme: $(git_difme) +.PHONY: git-difme + +$(git_difme): $(git_difme_src) + @mkdir -p $(bin) + @touch $@ + @echo "#!"$(guile)" \\ \n-e main -s\n!#" > $@ + @cat $< >> $@ + @chmod +x $@ + + @echo "Script at" $@ + @echo "Add" $(bin) "to PATH" + |