blob: 51543413673a32611d3bf6d0e3a6a91bd0cc734d (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
|
#!/bin/sh
# Basic checks for debian/patches/ada-lib-info-source-date-epoch.diff.
# Copyright (C) 2020 Nicolas Boulenguez <nicolas@debian.org>
# Usage:
# build GCC
# sh debian/ada/test_ada_source_date_epoch.sh
# rm -fr build/test_ada_source_data_epoch
set -C -e -u -x
# Inside the GCC tree:
mkdir build/test_ada_source_data_epoch
cd build/test_ada_source_data_epoch
export LD_LIBRARY_PATH=../gcc/ada/rts:`echo ../*/libgnat_util/.libs`
gnatmake="../gcc/gnatmake --RTS=`echo ../*/libada` --GCC=../gcc/xgcc -c -v"
# For local tests:
# gnatmake="gnatmake -c -v"
cat > lib.ads <<EOF
package Lib is
Message : constant String := "Hello";
end Lib;
EOF
cat > main.adb <<EOF
with Ada.Text_IO;
with Lib;
procedure Main is
begin
Ada.Text_IO.Put_Line (Lib.Message);
end Main;
EOF
touch lib.ads -d @20
echo ______________________________________________________________________
echo 'No ALI nor object'
rm -f lib.ali lib.o
$gnatmake main.adb
grep '^D lib\.ads\s\+19700101000020' lib.ali
grep '^D lib\.ads\s\+19700101000020' main.ali
rm -f lib.ali lib.o
SOURCE_DATE_EPOCH=10 $gnatmake main.adb
grep '^D lib\.ads\s\+19700101000010' lib.ali
grep '^D lib\.ads\s\+19700101000010' main.ali # gnat-9.3.0-8 says 20
rm -f lib.ali lib.o
SOURCE_DATE_EPOCH=30 $gnatmake main.adb
grep '^D lib\.ads\s\+19700101000020' lib.ali
grep '^D lib\.ads\s\+19700101000020' main.ali
echo ______________________________________________________________________
echo 'ALI older than object'
touch lib.ali -d @40
touch lib.o -d @50
$gnatmake main.adb
grep '^D lib\.ads\s\+19700101000020' lib.ali
grep '^D lib\.ads\s\+19700101000020' main.ali
touch lib.ali -d @40
touch lib.o -d @50
SOURCE_DATE_EPOCH=10 $gnatmake main.adb
grep '^D lib\.ads\s\+19700101000010' lib.ali # gnat-9.3.0-8 says 20
grep '^D lib\.ads\s\+19700101000010' main.ali # gnat-9.3.0-8 says 20
touch lib.ali -d @40
touch lib.o -d @50
SOURCE_DATE_EPOCH=30 $gnatmake main.adb
grep '^D lib\.ads\s\+19700101000020' lib.ali
grep '^D lib\.ads\s\+19700101000020' main.ali
echo ______________________________________________________________________
echo 'Object older than ALI'
touch lib.o -d @40
touch lib.ali -d @50
$gnatmake main.adb
grep '^D lib\.ads\s\+19700101000020' lib.ali
grep '^D lib\.ads\s\+19700101000020' main.ali
touch lib.o -d @40
touch lib.ali -d @50
SOURCE_DATE_EPOCH=10 $gnatmake main.adb
grep '^D lib\.ads\s\+19700101000010' lib.ali
grep '^D lib\.ads\s\+19700101000010' main.ali # gnat-9.3.0-8 says 20
touch lib.o -d @40
touch lib.ali -d @50
SOURCE_DATE_EPOCH=30 $gnatmake main.adb
grep '^D lib\.ads\s\+19700101000020' lib.ali
grep '^D lib\.ads\s\+19700101000020' main.ali
echo "All tests passed"
|
