__date__ und __time__ und source_date_epoch?

[Bauform B. (bauformb)]

Mahlzeit!

Der gcc¹ kann ja --date-- und --time-- entsprechend der Environment 
Variable SOURCE_DATE_EPOCH setzen. So weit so gut, solange ein Programm 
aus den Quellen komplett neu gebaut wird. Mit Makefile und mehreren *.c 
funktioniert das nur zufällig, weil die Datei mit diesen Variablen 
selten geändert und übersetzt wird. Dann funktioniert auch die 
Empfehlung² nicht, eine RTC erstmalig zu stellen. Außerdem sieht man in 
dem Beitrag, wie mega umständlich das ist. Und evt. ist nicht klar, ob 
man UTC oder localtime bekommt.

Mit CFLAGS += SOURCE_DATE_EPOCH=$(SOURCE_DATE_EPOCH) entfällt der 
Umstand, man bekommt die UNIX-Sekunden direkt als Konstante. Aber 
trotzdem muss die entsprechende Quelldatei jedes Mal übersetzt werden. 
So geht's also auch nicht.

Wie kann man so eine Konstante per Makefile dem Linker übergeben? Oder 
wie macht "man" das?

2) Beitrag "Re: Datum und Uhrzeit auf Mikrocontroller"
1) https://gcc.gnu.org/onlinedocs/cpp/Environment-Variables.html

[Harald K. (kirnbichler)]

Bauform B. schrieb:
> Wie kann man so eine Konstante per Makefile dem Linker übergeben?

Pack sie in ein C-Sourcefile, und sorge dafür, daß das bei jedem 
make-Aufruf neu übersetzt wird.

version.o: version.c

version.o:   .FORCE

.FORCE:

(siehe 
https://stackoverflow.com/questions/7643838/how-to-force-make-to-always-rebuild-a-file)

[Bauform B. (bauformb)]

Danke, das ist auch ein netter Trick. Aber für diesen Zweck ist das 
alles ein Krampf. Wenn SOURCE_DATE_EPOCH nicht definiert ist, setzt der 
gcc (vorschriftsmäßig) die aktuelle Uhrzeit ein, noch dazu die lokale. 
Dazu kommt der Umweg über mühsame Dekodierung von mühsam erzeugtem Text.

Diese beiden Präprozessor-Konstanten sind für etwas anderes gedacht. Es 
ist toll, dass der gcc auch Leute unterstützt, die diese Konstanten 
brauchen. Aber eigentlich will man doch nur eine einzige Zahl.

Mein Problem für heute war: -Wl,-defsym=SOURCE_DATE_EPOCH=$(UTC) benutze 
ich für die Cortex-M und früher ging es auch auf dem PC. AMD mit ihrem 
64-Bit Befehlssatz ist schuld, dass auf dem PC per Default PIC erzeugt 
wird. Deshalb geht -defsym nicht mehr ganz so einfach.

Jetzt schreibe ich sinngemäß:

SDE := $(shell stat -L -c %Y $(PROJECT)/src/*/*.c | sort | tail -1)
-Wl,-defsym=S_D_E_BASE=0 \
-Wl,-defsym=S_D_E=$(SDE)

extern char S_D_E_BASE, S_D_E;
time_t source_date_epoch = (time_t)(&S_D_E - &S_D_E_BASE);

OK, es gibt keinen Schönheitspreis, aber es ist doch völlig legal? Gibt 
es irgend welche Einwände?

[Rick (rick)]

Bauform B. schrieb:
> Und evt. ist nicht klar, ob
> man UTC oder localtime bekommt.
Warum verwendest Du nicht date?

date +%d.%m.%Y_%H:%M

Und muß es der Linker sein? In solchen Fallen erstelle ich mir per 
Skript eine passende Quelltextdatei.

[Bauform B. (bauformb)]

Rick schrieb:
> Warum verwendest Du nicht date?date +%d.%m.%Y_%H:%M

Wenn schon, dann date +%s. Dein Format muss ich ja auch wieder mühsam 
auseinander fieseln. Aber hier geht es eben nicht um die aktuelle Zeit, 
sondern um die Zeit der letzten Änderung der Quellen. Der entscheidende 
Unterschied: man kann das Programm später neu bauen und bekommt Bit für 
Bit das gleiche Binary.

https://reproducible-builds.org

> Und muß es der Linker sein? In solchen Fallen erstelle ich mir per
> Skript eine passende Quelltextdatei.

Ja, mit Haralds FORCE-Trick geht das auch. Aber auch in dem Fall würde 
ich nicht den Umweg über die offiziellen Macros gehen, sondern über ein 
define mit date +%s (in Wirklichkeit: stat -c %Y).

Ja, time_t als Differenz von 2 Adressen zu übergeben, ist sicher 
überraschend. Aber die Lösung mit define und FORCE finde ich auch nicht 
elegant. Ich hatte mich so an -Wl,-defsym gewöhnt und nur wegen PIC geht 
das nicht mehr so einfach.

Ich warte noch auf Alternativ-Vorschläge ;)

[Bauform B. (bauformb)]

Rick schrieb:
> Und muß es der Linker sein? In solchen Fallen erstelle ich mir per
> Skript eine passende Quelltextdatei.

Theoretisch muss es der Linker machen, aber scheinbar gibt es keine 
vernünftige Möglichkeit. Praktisch lohnt es sich auch nicht. Es würde 
nur dann richtig funktionieren, wenn der gcc DATE und TIME so umbauen 
würde, dass der Linker die aktuellen Werte einsetzen könnte. Aber das 
sind nun mal String-Konstanten.

So eine Quelltextdatei sollte aber nicht vom Script erzeugt werden, ein 
touch reicht auch. "touch -d@$SOURCE_DATE_EPOCH version.c" muss ja 
sowieso gemacht werden, sonst hätte version.c den Build- und nicht den 
Source-Zeitstempel.

Nebenbei sorgt dieses touch dafür, dass version.c (nur) genau dann 
übersetzt wird, wenn das nötig ist. Mit FORCE gibt es nie die Meldung 
"make: 'foo' is up to date". Also so:

#!/bin/sh
# source_date_epoch.sh
# Liefert die mtime der neuesten Quelldatei.
#
# Dank "touch" wird version.c immer genau dann neu compiliert,
# wenn es irgendetwas neues gibt. Das Makefile erzeugt aus dem
# Zeitstempel mit -D ein Macro und versorgt per export den gcc.
#
# Das Macro darf nur in version.c benutzt werden und __DATE__
# und __TIME__ eigentlich garnicht. Die funktionieren nur dann
# reproduzierbar, wenn alles komplett neu gebaut wird.

SOURCE_DATE_EPOCH=$(stat -L -c %Y \
                    $HOME/src/makefile.mk \
                    $HOME/src/make-flags.mk \
                    $HOME/src/*/Makefile \
                    $HOME/src/*/*.c \
                    $HOME/src/*/*.h \
                    | sort | tail -1)

touch -d@$SOURCE_DATE_EPOCH version.c
echo $SOURCE_DATE_EPOCH

im Makefile dann so:

# die offizielle Variable, z.B. fuer den gcc
export SOURCE_DATE_EPOCH:=$(shell ./source_date_epoch.sh)
# und
CFLAGS+=-DSOURCE_DATE_EPOCH=$(SOURCE_DATE_EPOCH)

und schließlich:

// version.c
#include <time.h>

time_t
source_date_epoch (void)
{
   time_t  sde = SOURCE_DATE_EPOCH;

   return sde;
}


char *
version_string (void)
{
   time_t  sde = source_date_epoch ();

   if (sde <= 0) { return "--"; }
   return isotime (6, sde);
}