+# Currently depends on gcc, because:
+# - the dependency tracking uses -MD in order to avoid needing an
+# explicit `make depend' step
+# - the definition of CFLAGS includes the gcc-specific flag
+# `-Wall'
+#
+# Currently depends on GNU make, because:
+# - the Makefile uses GNU ifdef / ifndef commands and GNU make `%'
+# pattern rules
+# - we use .PHONY
+
+prefix=/usr/local
+exec_prefix=$(prefix)
+bindir=$(exec_prefix)/bin
+INSTALL=install -c
+
+.PHONY: all install clean spotless topclean release
+
+ifdef RELEASE
+ifndef VERSION
+VERSION := $(RELEASE)
+endif
+else
+CFLAGS += -g
+endif
+
+ifeq (x$(VERSION)y,xy)
+RELDIR := halibut
+else
+RELDIR := halibut-$(VERSION)
+endif