diff Makefile.in @ 3431:a7c772aa106f

Move mk-dist script functionality into Makefile. * mk-dist: Delete. * binary-dist-rules.mk: New file. * Makefile.in: Include binary-dist-rules.mk. (STRIP_DIST_FILES, STABLE_BUILD, DATE): New variables. * configure.ac: New option --disable-strip-dist-files. * makeinst-script.sh: Require output file as second argument.
author John W. Eaton <jwe@octave.org>
date Thu, 16 Jan 2014 18:03:14 -0500
parents 6cf5d50556d4
children 9fcc72373e24
line wrap: on
line diff
--- a/Makefile.in	Thu Jan 16 14:09:19 2014 -0500
+++ b/Makefile.in	Thu Jan 16 18:03:14 2014 -0500
@@ -3,6 +3,12 @@
 
 PWD := $(shell pwd)
 
+STRIP_DIST_FILES := @STRIP_DIST_FILES@
+
+STABLE_BUILD := no
+
+DATE := $(shell date +%Y-%m-%d-%H-%M)
+
 ## Configuration variables.
 
 # Set the following configuration variables with a configure script?
@@ -740,3 +746,5 @@
 	mkdir $(distdir)
 	$(TAR) cf - $(DIST_FILES) | ( cd $(distdir) ; $(TAR) xpf - )
 	$(TAR) czf $(distdir).tar.gz $(distdir)
+
+include binary-dist-rules.mk