Subject: cedille build is not reproducible

From: Maxim Cournoyer <[email-masked]>
Date: Thu, 19 Mar 2020 11:32:03 -0400

The differences are in the compiled binary:

diffoscope --exclude-command stat /gnu/store/w69pw5xmkix5ga0vqh0q637p1dwsldk5-cedille-1.1.2{,-check}
--- /gnu/store/w69pw5xmkix5ga0vqh0q637p1dwsldk5-cedille-1.1.2
+++ /gnu/store/w69pw5xmkix5ga0vqh0q637p1dwsldk5-cedille-1.1.2-check
├── bin
│ ├── cedille
│ │ ├── /gnu/store/mx2bgrpxkbdjsmhlxp9a30hbzcilk4cn-binutils-2.32/bin/readelf --wide --symbols {}
│ │ │ @@ -72099,15 +72099,15 @@
│ │ │   71670: 0000000000a16208     0 OBJECT  GLOBAL DEFAULT   23 CedilleLexer_alexzucheck220_closure
│ │ │   71671: 0000000000b6b900     0 OBJECT  GLOBAL DEFAULT   23 Templates_templateMendler3710_closure
│ │ │   71672: 0000000000a74410     0 OBJECT  GLOBAL DEFAULT   23 CedilleParser_happyExpList3297_closure
│ │ │   71673: 0000000000939038    11 OBJECT  GLOBAL DEFAULT   13 MAlonzzoziCodeziQinteractiveZZ45ZZcmds_d1932_info
│ │ │   71674: 00000000005724d8    74 OBJECT  GLOBAL DEFAULT   13 CedilleParser_actionzu424_info
│ │ │   71675: 0000000000571e78    74 OBJECT  GLOBAL DEFAULT   13 CedilleParser_actionzu461_info
│ │ │   71676: 00000000009defc8     0 OBJECT  GLOBAL DEFAULT   23 CedilleLexer_alexzucheck7278_closure
│ │ │ - 71677: 00000000009c077f     0 OBJECT  GLOBAL DEFAULT   15 Templates_templateMendlerSimple3189_bytes
│ │ │ + 71677: 00000000009b7ac1     0 OBJECT  GLOBAL DEFAULT   15 Templates_templateMendlerSimple3189_bytes
│ │ │   71678: 0000000000a82bd0     0 OBJECT  GLOBAL DEFAULT   23 CedilleParser_happyExpList1356_closure
│ │ │   71679: 0000000000ae56c8     0 OBJECT  GLOBAL DEFAULT   23 CedilleOptionsLexer_alexzutable235_closure
│ │ │   71680: 0000000000a16ce8     0 OBJECT  GLOBAL DEFAULT   23 CedilleLexer_alexzucheck133_closure
│ │ │   71681: 0000000000a79b50     0 OBJECT  GLOBAL DEFAULT   23 CedilleParser_happyExpList2512_closure
│ │ │   71682: 0000000000adc048     0 OBJECT  GLOBAL DEFAULT   23 CedilleOptionsLexer_alexzutable1439_closure
│ │ │   71683: 00000000005ec448    76 OBJECT  GLOBAL DEFAULT   13 MAlonzzoziCodeziQio_name34_info
│ │ │   71684: 0000000000ae2368     0 OBJECT  GLOBAL DEFAULT   23 CedilleOptionsLexer_alexzutable646_closure
│ │ ├── objdump --line-numbers --disassemble --demangle --reloc --section=.text {}
│ │ │ @@ -893826,15 +893826,15 @@
│ │ │   ...
│ │ │    8736b8:        15 00 00 00 08 5c 2b 00                             .....\+.
│ │ │  
│ │ │  00000000008736c0 <Templates_templateMendlerSimple3188_info>:
│ │ │    8736c0:        48 8d 45 f0 4c 39 f8 72 3f 48 83 ec 08 4c 89 e8     H.E.L9.r?H...L..
│ │ │    8736d0:        48 89 de 48 89 c7 31 c0 e8 93 29 c9 ff 48 83 c4     H..H..1...)..H..
│ │ │    8736e0:        08 48 85 c0 74 20 48 8b 1d f3 f2 14 00 48 89 5d     .H..t H......H.]
│ │ │ -  8736f0:        f0 48 89 45 f8 4c 8d 35 83 d0 14 00 48 83 c5 f0     .H.E.L.5....H...
│ │ │ +  8736f0:        f0 48 89 45 f8 4c 8d 35 c5 43 14 00 48 83 c5 f0     .H.E.L.5.C..H...
│ │ │    873700:        ff 25 f2 f8 14 00 ff 23 41 ff 65 f0 0f 1f 40 00     .%.....#A.e...@.
│ │ │   ...
│ │ │    873718:        15 00 00 00 a8 5b 2b 00                             .....[+.
│ │ │  
│ │ │  0000000000873720 <Templates_templateMendlerSimple3185_info>:
│ │ │    873720:        48 8d 45 f0 4c 39 f8 72 3f 48 83 ec 08 4c 89 e8     H.E.L9.r?H...L..
│ │ │    873730:        48 89 de 48 89 c7 31 c0 e8 33 29 c9 ff 48 83 c4     H..H..1..3)..H..
│ │ ├── /gnu/store/mx2bgrpxkbdjsmhlxp9a30hbzcilk4cn-binutils-2.32/bin/readelf --wide --decompress --hex-dump=.rodata {}
│ │ │ @@ -8819,16 +8819,16 @@
│ │ │    0x009c0700 616d6520 6f66206f 6e652066 696c6520 ame of one file 
│ │ │    0x009c0710 746f2070 726f6365 73732c20 6f722072 to process, or r
│ │ │    0x009c0720 756e2077 69746820 6e6f2063 6f6d6d61 un with no comma
│ │ │    0x009c0730 6e642d6c 696e6520 61726775 6d656e74 nd-line argument
│ │ │    0x009c0740 7320616e 6420656e 74657220 7468650a s and enter the.
│ │ │    0x009c0750 00537461 72746564 20436564 696c6c65 .Started Cedille
│ │ │    0x009c0760 2070726f 63657373 2028636f 6d70696c  process (compil
│ │ │ -  0x009c0770 65642061 743a2000 31353834 36333035 ed at: .15846305
│ │ │ -  0x009c0780 3339006d 61696e3a 4d416c6f 6e7a6f2e 39.main:MAlonzo.
│ │ │ +  0x009c0770 65642061 743a2000 31353834 36333033 ed at: .15846303
│ │ │ +  0x009c0780 3835006d 61696e3a 4d416c6f 6e7a6f2e 85.main:MAlonzo.
│ │ │    0x009c0790 436f6465 2e516d61 696e2e43 31373934 Code.Qmain.C1794
│ │ │    0x009c07a0 00000000 00000000 7eebfbff 00000000 ........~.......
│ │ │    0x009c07b0 66edfbff 00000000 95edfbff 00000000 f...............
│ │ │    0x009c07c0 c8edfbff 00000000 fbedfbff 00000000 ................
│ │ │    0x009c07d0 2eeefbff 00000000 61eefbff 00000000 ........a.......
│ │ │    0x009c07e0 0ef0fbff 00000000                   ........