File no-timestamps.patch of Package swipl
diff -Nur swipl-7.4.1/packages/chr/chr_swi_bootstrap.pl new/packages/chr/chr_swi_bootstrap.pl
--- swipl-7.4.1/packages/chr/chr_swi_bootstrap.pl 2016-12-19 09:49:28.000000000 +0100
+++ new/packages/chr/chr_swi_bootstrap.pl 2017-03-17 22:40:25.317544418 +0100
@@ -147,7 +147,8 @@
%% SWI begin
format_date(Out) :-
- get_time(Now),
+ getenv("SOURCE_DATE_EPOCH", Time),
+ atom_number(Time, Now),
format_time(string(Date), '%+', Now),
format(Out, ' Date: ~s~n~n', [Date]).
%% SWI end
diff -Nur swipl-7.4.1/packages/jpl/src/java/Makefile.in new/packages/jpl/src/java/Makefile.in
--- swipl-7.4.1/packages/jpl/src/java/Makefile.in 2017-01-19 11:45:29.000000000 +0100
+++ new/packages/jpl/src/java/Makefile.in 2017-03-17 22:19:42.901397224 +0100
@@ -86,7 +86,7 @@
endif
$(JPLDOC): $(JPLJAVA)
- "$(JAVADOC)" $(JAVADOCFLAGS) -public -d $(JPLDOC) $(JPLJAVA)
+ "$(JAVADOC)" $(JAVADOCFLAGS) -notimestamp -public -d $(JPLDOC) $(JPLJAVA)
clean::
rm -f .class-senitel *~ org/jpl7/*.class org/jpl7/test/*.class org/jpl7/fli/*.class