Commit Graph

28 Commits

Author SHA1 Message Date
Artturin
e0464e4788 treewide: replace stdenv.is with stdenv.hostPlatform.is
In preparation for the deprecation of `stdenv.isX`.

These shorthands are not conducive to cross-compilation because they
hide the platforms.

Darwin might get cross-compilation for which the continued usage of `stdenv.isDarwin` will get in the way

One example of why this is bad and especially affects compiler packages
https://www.github.com/NixOS/nixpkgs/pull/343059

There are too many files to go through manually but a treewide should
get users thinking when they see a `hostPlatform.isX` in a place where it
doesn't make sense.

```
fd --type f "\.nix" | xargs sd --fixed-strings "stdenv.is" "stdenv.hostPlatform.is"
fd --type f "\.nix" | xargs sd --fixed-strings "stdenv'.is" "stdenv'.hostPlatform.is"
fd --type f "\.nix" | xargs sd --fixed-strings "clangStdenv.is" "clangStdenv.hostPlatform.is"
fd --type f "\.nix" | xargs sd --fixed-strings "gccStdenv.is" "gccStdenv.hostPlatform.is"
fd --type f "\.nix" | xargs sd --fixed-strings "stdenvNoCC.is" "stdenvNoCC.hostPlatform.is"
fd --type f "\.nix" | xargs sd --fixed-strings "inherit (stdenv) is" "inherit (stdenv.hostPlatform) is"
fd --type f "\.nix" | xargs sd --fixed-strings "buildStdenv.is" "buildStdenv.hostPlatform.is"
fd --type f "\.nix" | xargs sd --fixed-strings "effectiveStdenv.is" "effectiveStdenv.hostPlatform.is"
fd --type f "\.nix" | xargs sd --fixed-strings "originalStdenv.is" "originalStdenv.hostPlatform.is"
```
2024-09-25 00:04:37 +03:00
R. Ryantm
f7c16cc844 cbmc: 6.0.0 -> 6.0.1 2024-06-25 11:22:31 +00:00
R. Ryantm
6ce1fa5216 cbmc: 5.95.1 -> 6.0.0 2024-06-18 13:02:04 +00:00
Jiajie Chen
6d35a341f8 cbmc: 5.91.0 -> 5.95.1 2024-05-22 11:28:48 +08:00
R. Ryantm
1dd61a3ea5 cbmc: 5.90.0 -> 5.91.0 2023-09-13 00:11:49 +00:00
R. Ryantm
58a4a997db cbmc: 5.89.0 -> 5.90.0 2023-08-23 00:42:48 +00:00
R. Ryantm
7dbd412737 cbmc: 5.88.1 -> 5.89.0 2023-08-10 02:27:01 +00:00
Jiajie Chen
b96dbd032c cbmc: 5.87.0 -> 5.88.1 2023-08-01 23:52:10 +08:00
R. Ryantm
68c5d276f1 cbmc: 5.86.0 -> 5.87.0 2023-07-11 05:28:30 +00:00
Jiajie Chen
2db283819e cbmc: 5.76.1 -> 5.86.0 2023-07-02 22:46:06 +08:00
Artturin
3251013cc1 treewide: env.NIX_CFLAGS_COMPILE use toString on result of optionals
env values must be strings
2023-02-22 21:23:05 +02:00
Artturin
f9fdf2d402 treewide: move NIX_CFLAGS_COMPILE to the env attrset
with structuredAttrs lists will be bash arrays which cannot be exported
which will be a issue with some patches and some wrappers like cc-wrapper

this makes it clearer that NIX_CFLAGS_COMPILE must be a string as lists
in env cause a eval failure
2023-02-22 21:23:04 +02:00
github-actions[bot]
b2a1140ada
Merge master into staging-next 2023-02-06 06:01:25 +00:00
Vladimír Čunát
555f300879
treewide: another round of gcc12 fixups 2023-02-05 15:29:43 +01:00
R. Ryantm
eed37a8427 cbmc: 5.74.0 -> 5.76.1 2023-02-05 13:53:55 +00:00
Fabián Heredia Montiel
0cf5d85f0c treewide: add gcc12 flags 2023-01-27 21:20:52 -06:00
Bobby Rong
60164ab87b
cbmc: mark as broken on aarch64-linux
Upstream issue has no respond for a month and ofborg keeps reporting this failure.
2023-01-10 22:29:53 +08:00
R. Ryantm
9aa633ca8c cbmc: 5.71.0 -> 5.74.0 2023-01-08 09:52:35 +00:00
R. Ryantm
d9af397634 cbmc: 5.70.0 -> 5.71.0 2022-11-25 08:37:13 +00:00
R. Ryantm
139ba95570 cbmc: 5.69.1 -> 5.70.0 2022-11-11 18:08:36 +08:00
R. Ryantm
4db4ddf01a cbmc: 5.69.0 -> 5.69.1 2022-10-29 13:42:50 +00:00
R. Ryantm
52b1e28293 cbmc: 5.68.0 -> 5.69.0 2022-10-28 16:23:12 +08:00
R. Ryantm
9765cc81f6 cbmc: 5.67.0 -> 5.68.0 2022-10-14 23:46:21 +08:00
R. Ryantm
119b1e2fd7 cbmc: 5.65.1 -> 5.67.0 2022-09-30 10:33:04 +00:00
R. Ryantm
101fa50263 cbmc: 5.65.0 -> 5.65.1 2022-09-14 22:04:14 +08:00
R. Ryantm
35657ce4a6 cbmc: 5.64.0 -> 5.65.0 2022-09-02 10:22:16 +00:00
R. Ryantm
e0377f4a23 cbmc: 5.63.0 -> 5.64.0 2022-08-18 20:25:31 +00:00
Jiajie Chen
da87f77102 cbmc: init at 5.63.0
Cadical is used as sat solver backend.

https://github.com/diffblue/cbmc/releases/tag/cbmc-5.63.0
2022-08-18 05:21:32 +02:00