---

yaml
---
r: 1763
b: refs/heads/master
c: 5e0ef2a
h: refs/heads/master
i:
  1761: cba4422
  1759: 32b1047
v: v3

Author: graydon

[refs]

@@ -1,2 +1,2 @@
 ---
-refs/heads/master: 68d76c21c540afba3e76b177100c1d0787c9311c
+refs/heads/master: 5e0ef2a0f2593e48f47be60f44f2e3c9c6bfd3aa

trunk/Makefile.in

@@ -927,13 +927,66 @@ PKG_VER  = $(shell date +"%Y-%m-%d")-snap
 PKG_DIR = $(PKG_NAME)-$(PKG_VER)
 PKG_TAR = $(PKG_DIR).tar.gz
 
+PKG_3RDPARTY := rt/valgrind.h rt/memcheck.h \
+                rt/isaac/rand.h rt/isaac/standard.h \
+                rt/uthash/uthash.h rt/uthash/utlist.h \
+                rt/bigint/bigint.h rt/bigint/bigint_int.cpp \
+                rt/bigint/bigint_ext.cpp rt/bigint/low_primes.h
+
+PKG_FILES :=\
+    $(wildcard $(S)src/etc/*.*)                \
+    $(S)LICENSE.txt $(S)README                 \
+    $(S)configure $(S)Makefile.in              \
+    $(addprefix $(S)src/,                      \
+      README boot/README comp/README           \
+      $(filter-out $(GENERATED), $(BOOT_MLS))  \
+      $(RUNTIME_CS) $(RUNTIME_HDR)             \
+      $(LLVMEXT_CS) $(LLVMEXT_HDR)             \
+      $(PKG_3RDPARTY))                         \
+    $(COMPILER_INPUTS)                         \
+    $(STDLIB_INPUTS)                           \
+    $(ALL_TEST_INPUTS)                         \
+    $(GENERATED)
+
+dist: $(PKG_TAR)
+
+$(PKG_TAR):
+	@$(call E, making dist dir)
+	$(Q)rm -Rf dist
+	$(Q)mkdir -p dist/$(PKG_DIR)
+	$(Q)tar -c $(PKG_FILES) | tar -x -C dist/$(PKG_DIR)
+	$(Q)tar -czf $(PKG_TAR) -C dist $(PKG_DIR)
+	$(Q)rm -Rf dist
+
+distcheck: $(PKG_TAR)
+	$(Q)tar -c $(PKG_FILES) | tar -x -C dist/$(PKG_DIR)
+	@$(call E, configuring in dist/$(PKG_DIR)-build)
+	$(Q)mkdir -p dist/build
+	$(Q)cd dist/$(PKG_DIR)-build && ../$(PKG_DIR)/configure
+	@$(call E, making 'check' in dist/$(PKG_DIR)-build)
+	$(Q)make -C dist/$(PKG_DIR)-build check
+	@$(call E, making 'clean' in dist/$(PKG_DIR)-build)
+	$(Q)make -C dist/$(PKG_DIR)-build clean
+	$(Q)rm -Rf dist
+	@echo
+	@echo -----------------------------------------------
+	@echo $(PKG_TAR) ready for distribution
+	@echo -----------------------------------------------
+
 
 ######################################################################
 # Cleanup
 ######################################################################
 
 .PHONY: clean
 
+tidy:
+	@$(call E, check: formatting)
+	$(Q)python $(S)src/etc/tidy.py \
+      $(filter-out $(GENERATED) \
+        $(addprefix $(S)src/, $(LLVMEXT_CS) $(LLVMEXT_HDR) $(PKG_3RDPARTY)) \
+        $(S)src/etc/%, $(PKG_FILES))
+
 clean:
 	@$(call E, cleaning)
 	$(Q)rm -f $(RUNTIME_OBJS)