From 5769114042ec60274d48cb3794c00348ca22da66 Mon Sep 17 00:00:00 2001
From: Tom Willemsen
Date: Wed, 15 Aug 2012 00:24:32 +0200
Subject: Add Makefiles and others

---
 src/Makefile | 11 +++++++++++
 src/undone   |  4 ++++
 2 files changed, 15 insertions(+)
 create mode 100644 src/Makefile
 create mode 100755 src/undone

(limited to 'src')

diff --git a/src/Makefile b/src/Makefile
new file mode 100644
index 0000000..a02fb36
--- /dev/null
+++ b/src/Makefile
@@ -0,0 +1,11 @@
+DESTDIR ?= /usr/local
+
+.PHONY: install uninstall all
+
+all:
+
+install:
+	install -Dm 755 undone $(DESTDIR)/bin/undone
+
+uninstall:
+	rm -f $(DESTDIR)/bin/undone
diff --git a/src/undone b/src/undone
new file mode 100755
index 0000000..9b2cd13
--- /dev/null
+++ b/src/undone
@@ -0,0 +1,4 @@
+#!/bin/sh
+
+BOOT="((@ (undone main) main) (cdr (program-arguments)))"
+exec guile $GUILE_FLAGS -c "$BOOT" "$0" "$@"
-- 
cgit v1.3-2-g0d8e