dev/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Actions 2 Packages Projects Releases Wiki Activity
461,388 Commits 3 Branches 0 Tags 4.3 GiB
733540954a
Commit Graph

14227 Commits

Author SHA1 Message Date
Maximilian Bosch
6fd802152a
Merge pull request #216906 from LibreCybernetics/update-scala 
scala: 3.2.0 → 3.2.2
 2023-02-19 11:21:22 +01:00
sternenseemann
6d4d75f584
Merge pull request #215925 from NixOS/haskell-updates 
haskellPackages: update stackage and hackage
 2023-02-19 10:27:01 +01:00
github-actions[bot]
61d29782b3
Merge master into staging-next 2023-02-19 06:01:36 +00:00
Yureka
e27be43360
llvm_15: reenable libclang_rt.profile-....a build on musl (#217042) 
This was lost because of a bad merge
 2023-02-19 01:38:31 +01:00
github-actions[bot]
2534cd7dad
Merge master into haskell-updates 2023-02-19 00:14:51 +00:00
github-actions[bot]
a1eb3e0b3e
Merge master into staging-next 2023-02-19 00:02:27 +00:00
Yureka
3a2b7bd7d7 gcc: add missing libucontext buildInput for pkgsMusl.gccgo12 2023-02-18 23:51:32 +01:00
sternenseemann
bbe6402eca Merge remote-tracking branch 'origin/master' into haskell-updates 2023-02-18 21:56:57 +01:00
github-actions[bot]
54adb1d4b1
Merge master into staging-next 2023-02-18 06:01:29 +00:00
Fabián Heredia Montiel
5728350050 scala: 3.2.0 → 3.2.2 2023-02-17 20:23:17 -06:00
Joshua Niemelä
a4f7cd5fe3 julia_19: add joshniemela to maintainers 2023-02-18 02:59:03 +01:00
github-actions[bot]
862a8fd659
Merge master into haskell-updates 2023-02-18 00:13:45 +00:00
Joshua Niemelä
e37ca9c317 julia_19: 1.9.0-beta2 -> 1.9.0-beta4 2023-02-17 14:33:13 +01:00
github-actions[bot]
72bb5faaca
Merge master into staging-next 2023-02-17 12:01:21 +00:00
Winter
ac44b254b4 zig_0_9: build with baseline CPU target 
26b9a2f4a1 changes Zig 0.10 to build the
compiler (notably *not* its outputs, at least not by default) with
its baseline CPU target, but we should ideally do it for both versions
to increase reproducibility, as well as increase the number of users who
are able to use Hydra-provided Zig binaries.

This also adds a comment above the flag in 0.10, to explain why we're adding
the flag, as we do with the RPATH one.

See https://github.com/NixOS/nixpkgs/issues/214356 and https://github.com/NixOS/nixpkgs/issues/185665
for further context.
 2023-02-16 21:59:16 -05:00
github-actions[bot]
f442a49be3
Merge master into haskell-updates 2023-02-17 00:14:22 +00:00
github-actions[bot]
f38c4cce4a
Merge master into staging-next 2023-02-16 06:01:07 +00:00
Thiago Kenji Okada
ec32e05671
Merge pull request #216532 from thiagokokada/add-nodejs-to-graalvm-ce 
graalvmCEPackages.nodejs-installable-svm: init at 22.3.1
 2023-02-16 02:17:27 +00:00
github-actions[bot]
dd816c8cfd
Merge master into haskell-updates 2023-02-16 00:13:54 +00:00
zowoq
e06c5e0108 go: add meta.changelog 2023-02-16 10:13:40 +10:00
github-actions[bot]
5539facae8
Merge master into staging-next 2023-02-16 00:02:23 +00:00
Thiago Kenji Okada
cc7ec82f3c graalvmCEPackages.nodejs-installable-svm: init at 22.3.1 2023-02-15 22:43:08 +00:00
Thiago Kenji Okada
3a53307dd9 graalvmCEPackages.buildGraalvmProduct: link languages .so to $out/lib 2023-02-15 22:43:08 +00:00
zowoq
4ffd5a8684 go_1_20: 1.20 -> 1.20.1 2023-02-16 07:28:19 +10:00
zowoq
2a603a41a5 go_1_19: 1.19.5 -> 1.19.6 2023-02-16 07:27:43 +10:00
Thiago Kenji Okada
1e39bda357 graalvm*-ce: improve update.sh script 2023-02-15 21:15:38 +00:00
Thiago Kenji Okada
76e8420cf8 graalvmCEPackages: remove unnecessary inputs 2023-02-15 21:07:19 +00:00
Raphael Robatsch
7d0299eaf3 dotnet-sdk_6: 6.0.405 -> 6.0.406 
Release notes: https://github.com/dotnet/core/blob/main/release-notes/6.0/6.0.14/6.0.14.md
Fixes: CVE-2023-21808
 2023-02-15 17:38:33 +01:00
github-actions[bot]
1638d35583
Merge staging-next into staging 2023-02-15 12:01:56 +00:00
Thiago Kenji Okada
3a1c146eb7
Merge pull request #216228 from thiagokokada/graalvm-ce-add-more-products 
graalvmCEPackages.{js,python,wasm,ruby,llvm}-installable-svm: init at 22.3.1
 2023-02-15 10:18:18 +00:00
github-actions[bot]
b56ce2853a
Merge master into haskell-updates 2023-02-15 00:14:20 +00:00
github-actions[bot]
58cfebde3e
Merge staging-next into staging 2023-02-15 00:02:50 +00:00
Thiago Kenji Okada
cce466a582 graalvm*-ce: allow all parameters to be overriden 2023-02-14 19:04:12 +00:00
Thiago Kenji Okada
3926d8c482 graalvmCEPackages.ruby-installable-svm: disable broken test in darwin 2023-02-14 17:53:57 +00:00
Thiago Kenji Okada
19e4e0a5e9 graalvmCEPackages.graaljs: init at 22.3.1 2023-02-14 17:19:52 +00:00
Thiago Kenji Okada
248449fbdf graalvmCEPackages: formatting 2023-02-14 17:00:45 +00:00
Thiago Kenji Okada
820eb1cc8d graalvmCEPackages.buildGraalvm: disable test in Darwin 2023-02-14 17:00:01 +00:00
Thiago Kenji Okada
eaa3e39cc0 graalvmCEPackages.ruby-installable-svm: run patchelf only in Linux 2023-02-14 16:53:34 +00:00
Thiago Kenji Okada
a065de41ac graalvmCEPackages.ruby-installable-svm: update comment about locale 2023-02-14 16:44:24 +00:00
Thiago Kenji Okada
3e5d655f0f graalvmCEPackages.graalvm11-ce-full: fix llvm-installable-svm version 2023-02-14 16:43:06 +00:00
Thiago Kenji Okada
c9d481f3ca graalvm*-ce-full: improve comment about it 2023-02-14 16:32:49 +00:00
Thiago Kenji Okada
acf8579307 graalvmCEPackages.buildGraalvmProduct: add passthru.graalvmPhases 
This way it is easier to differentiate between phases running in the
`buildGraalvmProduct` and `buildGraalvm`.
 2023-02-14 16:01:43 +00:00
Thiago Kenji Okada
140046c422 graalvmCEPackages.ruby-installable-svm: init at 22.3.1 2023-02-14 15:46:39 +00:00
Thiago Kenji Okada
365ff22467 graalvmCEPackages.llvm-installable-svm: init at 22.3.1 2023-02-14 15:34:17 +00:00
Thiago Kenji Okada
4f150675ba graalvm*-ce: make update.sh script re-use cache 2023-02-14 15:17:12 +00:00
Thiago Kenji Okada
171730f0f7 graalvmCEProducts.buildGraalvmProduct: make it overridable 2023-02-13 23:10:39 +00:00
Thiago Kenji Okada
e17f76f94f graalvmCEPackages.wasm-installable-svm: init at 22.3.1 2023-02-13 21:45:03 +00:00
Thiago Kenji Okada
c37428c7f3 graalvmCEPackages.python-installable-svm: init at 22.3.1 2023-02-13 21:45:03 +00:00
Thiago Kenji Okada
ccbff74b88 graalvmCEPackages.buildGraalvmProduct: inherit default meta from graalvm-ce 2023-02-13 21:45:03 +00:00
Felix Buehler
cdb39a86e0 treewide: use optionalString 2023-02-13 21:52:34 +01:00
github-actions[bot]
f60ea3cf39
Merge staging-next into staging 2023-02-13 18:01:55 +00:00
Vladimír Čunát
dc2feb983f
Merge branch 'master' into haskell-updates 
f1f9ae6a3b causes everything to rebuild
 2023-02-13 15:44:13 +01:00
Vladimír Čunát
f1f9ae6a3b
Merge #214010: staging-next 2023-02-01 2023-02-13 15:42:23 +01:00
Thiago Kenji Okada
04019089fd
Merge pull request #215583 from thiagokokada/graalvm-ce-refactor 
graalvm*-ce: refactor, 22.3.0 -> 22.3.1
 2023-02-13 14:39:15 +00:00
sternenseemann
75cdc109f0 haskellPackages.ghc: 9.2.4 -> 9.2.6 
https://www.haskell.org/ghc/blog/20230210-ghc-9.2.6-released.html
 2023-02-13 15:32:09 +01:00
Vladimír Čunát
a6767ed934
Merge #212363: gcc11: apply upstream patch 
...into staging-next
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=103910
 2023-02-13 13:36:01 +01:00
github-actions[bot]
29cdca7736
Merge staging-next into staging 2023-02-13 06:02:02 +00:00
github-actions[bot]
0d7cb3a2aa
Merge master into staging-next 2023-02-13 06:01:30 +00:00
Alyssa Ross
c6c7493c3b
Merge remote-tracking branch 'origin/master' into staging-next 
Conflicts:
	pkgs/development/python-modules/pyarrow/default.nix
 2023-02-13 00:15:28 +00:00
Nick Cao
3a2e567184
Merge pull request #211814 from pbsds/gnu-cim-init 
gnu-cim: init at 5.1
 2023-02-13 08:00:10 +08:00
Anderson Torres
2213ca4bf2
Merge pull request #215994 from adamcstephens/zig_10/baseline 
zig_0_10: switch to baseline cpu target for better compatibility
 2023-02-12 18:13:43 -03:00
Thiago Kenji Okada
d2e047f112 graalvm-ce: add it to all-packages pointing to graalvm11-ce 2023-02-12 19:08:44 +00:00
github-actions[bot]
ec17e92f67
Merge staging-next into staging 2023-02-12 16:03:16 +00:00
github-actions[bot]
87f957b5e2
Merge master into staging-next 2023-02-12 16:02:45 +00:00
Artturi
8d4db5e081
Merge pull request #215751 from Artturin/gccaddcallfile 2023-02-12 18:00:49 +02:00
Adam Joseph
b83f032ffc gcc/11: apply upstream fix 103910 so openjdk builds 
Our openjdk derivations fail to build with `-march=opteron` (via
either `NIX_CFLAGS_COMPILE` or `hostPlatform.gcc.arch`).  This was
fixed upstream in gcc12 but not carried back to gcc11:

  https://gcc.gnu.org/git/gitweb.cgi?p=gcc.git;h=d243f4009d8071b734df16cd70f4c5d09a373769

  https://gcc.gnu.org/bugzilla/show_bug.cgi?id=103910

Since gcc11 is still nixpkgs' primary compiler, this PR cherry-picks
the fix out of gcc12.

Unfortunately since `-march=` can be added after the `gcc11`
derivation is built we can't apply this patch conditionally (which
we don't usually do anyways).
 2023-02-12 07:40:05 -08:00
Thiago Kenji Okada
542c88f871 graalvm*-ce: remove old sources file 2023-02-12 14:46:56 +00:00
Adam Stephens
26b9a2f4a1
zig_0_10: switch to baseline cpu target for better compatibility 2023-02-12 09:22:11 -05:00
github-actions[bot]
23496088d9
Merge staging-next into staging 2023-02-12 06:02:09 +00:00
github-actions[bot]
db256a18b5
Merge master into staging-next 2023-02-12 06:01:33 +00:00
Ellie Hermaszewska
4d4ee0650f
Merge pull request #213089 from NixOS/haskell-updates 
haskellPackages: update stackage and hackage
 2023-02-12 13:58:21 +08:00
Artturin
6986717510 gcc: add common/meta.nix 
inherit has to be used otherwise makeOverridable attributes are added
 2023-02-12 05:44:34 +02:00
Peder Bergebakken Sundt
9b3774cc90 gnu-cim: init at 5.1 2023-02-12 02:46:42 +01:00
Nick Cao
9a43914b54
Merge pull request #215762 from SharzyL/circt-1.30.0 
circt: 1.29.0 -> 1.30.0
 2023-02-12 08:46:46 +08:00
github-actions[bot]
b893658602
Merge master into haskell-updates 2023-02-12 00:14:34 +00:00
github-actions[bot]
516d7767c0
Merge staging-next into staging 2023-02-12 00:03:10 +00:00
github-actions[bot]
d5c6366a21
Merge master into staging-next 2023-02-12 00:02:30 +00:00
Alyssa Ross
78367ae5cb ocaml-ng.ocamlPackages_4_09.ocaml: fix with GCC 12 2023-02-11 21:49:06 +00:00
Anderson Torres
1ea6d335ee
Merge pull request #215851 from atorres1985-contrib/dev86 
dev86: 0.16.21 -> unstable-2022-07-19
 2023-02-11 16:56:24 -03:00
Artturin
e277984d0b gcc: add callFile to make it more convenient to call files 
inherit generated with 'nix eval --json --impure --expr "with import ./. {}; lib.attrNames (lib.functionArgs gccX.cc.override)" | jq '.[]' --raw-output'
 2023-02-11 21:17:30 +02:00
github-actions[bot]
b0f16e56b0
Merge staging-next into staging 2023-02-11 18:01:50 +00:00
github-actions[bot]
15bfb025ab
Merge master into staging-next 2023-02-11 18:01:19 +00:00
Anderson Torres
45d1e00708 harePackages.hare: mark as broken on ARM64 2023-02-11 14:07:52 -03:00
Anderson Torres
ad966da347 harePackages.hare: 2022-07-30 -> 2023-02-10 2023-02-11 14:07:52 -03:00
Anderson Torres
4c4ce6a068 harePackages.harec: 2022-07-02 -> 2023-02-08 2023-02-11 14:07:52 -03:00
Anderson Torres
fb7ddb6681 harePackages: refactor 2023-02-11 14:07:52 -03:00
Anderson Torres
bb69864c55 dev86: 0.16.21 -> unstable-2022-07-19 2023-02-11 14:05:13 -03:00
Thiago Kenji Okada
79c2eceda8 graalvm*-ce: 22.3.0 -> 22.3.1, migrate upgrade script to sh 2023-02-11 13:37:15 +00:00
Anderson Torres
193d10b1dd
Merge pull request #215572 from r-ryantm/auto-update/qbe 
qbe: 1.0 -> 1.1
 2023-02-11 10:29:03 -03:00
github-actions[bot]
a5b021e538
Merge staging-next into staging 2023-02-11 12:01:48 +00:00
github-actions[bot]
cd4ded4f12
Merge master into staging-next 2023-02-11 12:01:14 +00:00
Samuel Tam
84c20a3d0c
gcc-arm-embedded-12: support aarch64-darwin 2023-02-11 14:27:07 +08:00
SharzyL
fe33f762c1
circt: 1.29.0 -> 1.30.0 
Release notes: https://github.com/llvm/circt/releases/tag/firtool-1.30.0
 2023-02-11 10:46:37 +08:00
github-actions[bot]
8b6e0c6c05
Merge master into haskell-updates 2023-02-11 00:12:02 +00:00
Vladimír Čunát
13e8ec1f2d
Merge branch 'staging-next' into staging 2023-02-10 13:46:44 +01:00
github-actions[bot]
9be52f693f
Merge master into staging-next 2023-02-10 12:01:38 +00:00
Vladimír Čunát
eb54a45db6
Merge #215672: circt: fix build with non clang stdenv 2023-02-10 12:16:37 +01:00
Ellie Hermaszewska
a4d9bba477
Merge remote-tracking branch 'origin/master' into haskell-updates 2023-02-10 18:50:20 +08:00
Nick Cao
3364d76c0b
circt: fix build with non clang stdenv 
lib.optionalString creates an empty string when the condition is false
And the circt test framework interprets this as disabling all tests
failing the build with `error: filter did not match any tests`
 2023-02-10 18:41:05 +08:00
Weijia Wang
fa2fe92715
Merge pull request #215195 from r-ryantm/auto-update/hip 
hip: 5.4.2 -> 5.4.3
 2023-02-10 09:35:38 +01:00
github-actions[bot]
f72b07e57d
Merge staging-next into staging 2023-02-10 06:01:53 +00:00
github-actions[bot]
bff8e74964
Merge master into staging-next 2023-02-10 06:01:18 +00:00
Nick Cao
ec91da3c2f
Merge pull request #215592 from r-ryantm/auto-update/p4c 
p4c: 1.2.3.5 -> 1.2.3.6
 2023-02-10 12:34:12 +08:00
Austin Seipp
241586918d yosys-symbiflow: 2022.11.07 -> 2023.02.08 
Signed-off-by: Austin Seipp <aseipp@pobox.com>
 2023-02-09 18:43:13 -06:00
github-actions[bot]
3eecda0ad6
Merge master into haskell-updates 2023-02-10 00:13:57 +00:00
github-actions[bot]
0417b0e54f
Merge staging-next into staging 2023-02-10 00:03:00 +00:00
github-actions[bot]
71c0c6d984
Merge master into staging-next 2023-02-10 00:02:27 +00:00
Thiago Kenji Okada
0c7f039bad maintainers/team-list: create graalvm-ce team 2023-02-09 23:46:19 +00:00
Thiago Kenji Okada
1da6843f1b buildGraalvm: do not add products inputs 2023-02-09 23:41:40 +00:00
Thiago Kenji Okada
0b6052b8b0 graalvm*-ce: re-added darwin support 2023-02-09 23:36:29 +00:00
R. Ryantm
ffe043c398 p4c: 1.2.3.5 -> 1.2.3.6 2023-02-09 23:18:18 +00:00
Thiago Kenji Okada
78c9e8b76e graalvm*-ce: remove unneeded params 2023-02-09 23:06:27 +00:00
Thiago Kenji Okada
68e6010e81 native-image-installable-svm: add useMusl option back 2023-02-09 23:04:45 +00:00
Thiago Kenji Okada
6b60a4fc50 buildGraalvmProduct: document phase behavior 2023-02-09 22:54:06 +00:00
Austin Seipp
79f3b75f3c picat: 3.0p4 -> 3.3p3 
Signed-off-by: Austin Seipp <aseipp@pobox.com>
 2023-02-09 16:21:11 -06:00
Thiago Kenji Okada
daf668db55 mkGraal: remove 2023-02-09 22:14:12 +00:00
Thiago Kenji Okada
4f3ede6897 buildGraalvm: add passthru 2023-02-09 22:14:12 +00:00
Thiago Kenji Okada
58bfc885bf native-image-installable-svm: move it to its own file 2023-02-09 22:14:12 +00:00
Thiago Kenji Okada
256195c07a native-image-installable-svm: init at 22.3.0 
Also refactor the buildGraalvm derivation, allowing it to compose with
the other products.
 2023-02-09 21:42:39 +00:00
Thiago Kenji Okada
4e51b4a5cb graalvm*-ce: refactor derivation to be stand-alone 
First step to separate the main GraalVM derivation and each of its
products in separate derivations, making them more composable.
 2023-02-09 21:42:39 +00:00
R. Ryantm
80a73ad663 qbe: 1.0 -> 1.1 2023-02-09 21:12:31 +00:00
figsoda
5bc96030b0 rustc: 1.67.0 -> 1.67.1 
Diff: https://github.com/rust-lang/rust/compare/1.67.0...1.67.1

Changelog: https://blog.rust-lang.org/2023/02/09/Rust-1.67.1.html
 2023-02-10 06:55:18 +10:00
github-actions[bot]
8c32008a02
Merge staging-next into staging 2023-02-09 12:02:05 +00:00
github-actions[bot]
c76e040c19
Merge master into staging-next 2023-02-09 12:01:30 +00:00
Sandro
8dc28b27ad
Merge pull request #215156 from Artturin/addgcccommondep 
gcc: add common/dependencies.nix
 2023-02-09 11:41:54 +01:00
github-actions[bot]
bd14a95898
Merge staging-next into staging 2023-02-09 06:01:47 +00:00
github-actions[bot]
73fe6149d4
Merge master into staging-next 2023-02-09 06:01:10 +00:00
Nick Cao
c6e48a6947
Merge pull request #215041 from SharzyL/circt 
circt: fix darwin build
 2023-02-09 09:45:28 +08:00
Nick Cao
2d9bd7f696
Merge pull request #215250 from SubhrajyotiSen/update-kotlin-native 
kotlin-native: 1.8.0 -> 1.8.10
 2023-02-09 08:41:23 +08:00
github-actions[bot]
40a581bcc2
Merge master into haskell-updates 2023-02-09 00:13:55 +00:00
github-actions[bot]
bece38afcc
Merge staging-next into staging 2023-02-09 00:02:56 +00:00
Vladimír Čunát
1e42908aa7
Merge branch 'master' into staging-next 2023-02-08 21:50:23 +01:00
Thiago Kenji Okada
9630f025c6
Merge pull request #215093 from thiagokokada/graalvm-native-compile-fix-libs 
graalvm*-ce: wrap native-image to pass -H:CLibraryPath, misc improvements
 2023-02-08 16:56:39 +00:00
R. Ryantm
ac49f34fe8 llvmPackages_rocm.llvm: 5.4.2 -> 5.4.3 2023-02-08 16:16:28 +00:00
github-actions[bot]
5780c84a93
Merge staging-next into staging 2023-02-08 06:01:45 +00:00
SubhrajyotiSen
aa360b1d60 kotlin-native: 1.8.0 -> 1.8.10 2023-02-08 10:19:51 +05:30
Winter
6056eaaa8b rustc: apply patch to fix delay_span_bug ICE 
Rust 1.67.0 introduced a regression that caused an ICE when building Vector.

https://hydra.nixos.org/build/207931877
https://github.com/rust-lang/rust/issues/107691
https://github.com/rust-lang/rust/pull/107688
 2023-02-07 23:36:18 -05:00
Nick Cao
440f502d57
Merge pull request #214442 from r-ryantm/auto-update/kotlin 
kotlin: 1.8.0 -> 1.8.10
 2023-02-08 11:05:37 +08:00
Artturin
951c2fb2dd gcc10,gcc11,gcc12: move dependencies to common/dependencies.nix 2023-02-08 04:07:48 +02:00
Artturin
c4269cd7bf gcc7,gcc8: move dependencies to common/dependencies.nix 2023-02-08 04:07:48 +02:00
Artturin
18f9f26a79 gcc6: move dependencies to common/dependencies.nix 
the (vc4 redox) flex conditional was missing in all other gcc version
because gcc6 was the default at the time it was added

that is one of the problems common/dependencies.nix fixes
 2023-02-08 04:06:21 +02:00
Artturin
5564beebfe gcc: add common/dependencies.nix 
there is a duplication issue in the gcc's so this will help with that

gcc49,gcc48: move dependencies to common/dependencies.nix
 2023-02-08 04:03:55 +02:00
R. Ryantm
c3f96ef362 hip: 5.4.2 -> 5.4.3 2023-02-07 21:48:36 +00:00
Thiago Kenji Okada
3e8caec842 mkGraal: move some parameters to be easier to override 2023-02-07 17:04:03 +00:00
Thiago Kenji Okada
afb99ad5d4 graalvm*-ce: wrap native-image to pass -H:CLibraryPath, misc improvements 
Fixes issue #214922 by not adding C libraries to the default library
path of GraalVM. This should reduce the closure size of native compiled
binaries in nixpkgs again, e.g.:

Before:
```
$ ldd ./result/bin/bb
	linux-vdso.so.1 (0x00007fff2669b000)
	libstdc++.so.6 => /nix/store/qbgfsaviwqi2p6jr7an1g2754sv3xqhn-gcc-11.3.0-lib/lib/libstdc++.so.6 (0x00007f77fc0cf000)
	libm.so.6 => /nix/store/l7vp7c9z03dspbmss3gq5wdwx5c6ifcq-graalvm11-ce-22.3.0/lib/svm/clibraries/linux-amd64/libm.so.6 (0x00007f77fbfef000)
	libpthread.so.0 => /nix/store/l7vp7c9z03dspbmss3gq5wdwx5c6ifcq-graalvm11-ce-22.3.0/lib/svm/clibraries/linux-amd64/libpthread.so.0 (0x00007f77fbfea000)
	libdl.so.2 => /nix/store/l7vp7c9z03dspbmss3gq5wdwx5c6ifcq-graalvm11-ce-22.3.0/lib/svm/clibraries/linux-amd64/libdl.so.2 (0x00007f77fbfe5000)
	librt.so.1 => /nix/store/l7vp7c9z03dspbmss3gq5wdwx5c6ifcq-graalvm11-ce-22.3.0/lib/svm/clibraries/linux-amd64/librt.so.1 (0x00007f77fbfde000)
	libc.so.6 => /nix/store/l7vp7c9z03dspbmss3gq5wdwx5c6ifcq-graalvm11-ce-22.3.0/lib/svm/clibraries/linux-amd64/libc.so.6 (0x00007f77fbdd5000)
	/nix/store/c35hf8g5b9vksadym9dbjrd6p2y11m8h-glibc-2.35-224/lib/ld-linux-x86-64.so.2 => /nix/store/9xfad3b5z4y00mzmk2wnn4900q0qmxns-glibc-2.35-224/lib64/ld-linux-x86-64.so.2 (0x00007f77fc2e7000)
	libgcc_s.so.1 => /nix/store/qbgfsaviwqi2p6jr7an1g2754sv3xqhn-gcc-11.3.0-lib/lib/libgcc_s.so.1 (0x00007f77fbdbb000)
```

After:
```
$ ldd ./result/bin/bb
	linux-vdso.so.1 (0x00007fffdfd4e000)
	libstdc++.so.6 => /nix/store/qbgfsaviwqi2p6jr7an1g2754sv3xqhn-gcc-11.3.0-lib/lib/libstdc++.so.6 (0x00007fc3a5658000)
	libm.so.6 => /nix/store/c35hf8g5b9vksadym9dbjrd6p2y11m8h-glibc-2.35-224/lib/libm.so.6 (0x00007fc3a5578000)
	libpthread.so.0 => /nix/store/c35hf8g5b9vksadym9dbjrd6p2y11m8h-glibc-2.35-224/lib/libpthread.so.0 (0x00007fc3a5573000)
	libdl.so.2 => /nix/store/c35hf8g5b9vksadym9dbjrd6p2y11m8h-glibc-2.35-224/lib/libdl.so.2 (0x00007fc3a556e000)
	librt.so.1 => /nix/store/c35hf8g5b9vksadym9dbjrd6p2y11m8h-glibc-2.35-224/lib/librt.so.1 (0x00007fc3a5569000)
	libc.so.6 => /nix/store/c35hf8g5b9vksadym9dbjrd6p2y11m8h-glibc-2.35-224/lib/libc.so.6 (0x00007fc3a535e000)
	/nix/store/c35hf8g5b9vksadym9dbjrd6p2y11m8h-glibc-2.35-224/lib/ld-linux-x86-64.so.2 => /nix/store/9xfad3b5z4y00mzmk2wnn4900q0qmxns-glibc-2.35-224/lib64/ld-linux-x86-64.so.2 (0x00007fc3a5870000)
	libgcc_s.so.1 => /nix/store/qbgfsaviwqi2p6jr7an1g2754sv3xqhn-gcc-11.3.0-lib/lib/libgcc_s.so.1 (0x00007fc3a5344000)
```

Also improves the installCheckPhase to include more tests and improve
the old onest .
 2023-02-07 17:00:13 +00:00
Ricardo M. Correia
113cdbd29d fstar: use proper z3 version and build .checked files 2023-02-07 14:47:17 +00:00
SharzyL
fc3ed53a27
circt: fix darwin build 2023-02-07 14:40:09 +08:00
github-actions[bot]
671861e24b
Merge master into haskell-updates 2023-02-07 00:14:50 +00:00
github-actions[bot]
8702f45128
Merge staging-next into staging 2023-02-06 12:02:09 +00:00
github-actions[bot]
5b5def96bc
Merge master into staging-next 2023-02-06 12:01:38 +00:00