initial commit

Signed-off-by: Mattias Andrée <maandree@kth.se>

1 files changed, 58 insertions, 0 deletions

diff --git a/Makefile b/Makefile
new file mode 100644
index 0000000..08898b5
--- /dev/null
+++ b/Makefile
@@ -0,0 +1,58 @@
+PREFIX = /usr/local
+EXEC_PREFIX = $(PREFIX)
+BINDIR = $(EXEC_PREFIX)/bin
+DATADIR = $(PREFIX)/share
+LICENSEDIR = $(DATADIR)/licenses
+
+PKGNAME = optimised-true
+
+LD_FLAGS = -s
+AS_FLAGS =
+CC_FLAGS = -nostdinc -ffreestanding
+MACHINE = $(shell uname -m)
+
+ifneq ($(shell test -d $(MACHINE) && echo 0 || echo 1),0)
+GENERIC = 1
+LD = $(CC)
+endif
+ifndef GENERIC
+LD_FLAGS += -nodefaultlibs -nostdlib
+endif
+
+
+all: true false
+
+true: true.o
+	$(LD) $(LD_FLAGS) -o $@ $^
+false: false.o
+	$(LD) $(LD_FLAGS) -o $@ $^
+
+ifdef GENERIC
+%.o: generic/%.c
+	$(CC) $(CC_FLAGS) -c -o $@ $^
+endif
+ifndef GENERIC
+%.o: $(MACHINE)/%.s
+	$(AS) $(AS_FLAGS) -o $@ $^
+endif
+
+install: true false
+	mkdir -p -- "$(DESTDIR)$(BINDIR)" "$(DESTDIR)$(LICENSEDIR)/$(PKGNAME)"
+	cp true false -- "$(DESTDIR)$(BINDIR)"
+	chmod 755 -- "$(DESTDIR)$(BINDIR)/true"
+	chmod 755 -- "$(DESTDIR)$(BINDIR)/false"
+	cp COPYING -- "$(DESTDIR)$(LICENSEDIR)/$(PKGNAME)"
+	chmod 644 -- "$(DESTDIR)$(LICENSEDIR)/$(PKGNAME)/COPYING"
+
+uninstall:
+	-rm -- "$(DESTDIR)$(BINDIR)/true"
+	-rm -- "$(DESTDIR)$(BINDIR)/false"
+	-rmdir -- "$(DESTDIR)$(BINDIR)"
+	-rm -- "$(DESTDIR)$(LICENSEDIR)/$(PKGNAME)/COPYING"
+	-rmdir "$(DESTDIR)$(LICENSEDIR)/$(PKGNAME)"
+
+clean:
+	-rm true.o true false.o false
+
+.PHONY: all clean install uninstall
+