Commit Graph

16572 Commits

Author SHA1 Message Date
github-actions[bot]
2999b3c997
Merge staging-next into staging 2023-11-01 18:01:31 +00:00
github-actions[bot]
cd7af6170b
Merge master into staging-next 2023-11-01 18:01:01 +00:00
Mario Rodas
e82c391098
Merge pull request #264479 from marsam/update-fstar
fstar: 2023.04.25 -> 2023.09.03
2023-11-01 07:52:09 -05:00
github-actions[bot]
eafaa27c7e
Merge staging-next into staging 2023-11-01 12:01:45 +00:00
github-actions[bot]
4a533d29ce
Merge master into staging-next 2023-11-01 12:01:10 +00:00
Artturi
7a57421d89
Merge pull request #264344 from alyssais/openmp-cross 2023-11-01 08:30:11 +02:00
github-actions[bot]
fabf4a67d3
Merge staging-next into staging 2023-11-01 06:01:27 +00:00
github-actions[bot]
26c3c233f5
Merge master into staging-next 2023-11-01 06:00:57 +00:00
github-actions[bot]
1b8319e14d
Merge staging-next into staging 2023-10-31 06:01:37 +00:00
github-actions[bot]
97868dae8e
Merge master into staging-next 2023-10-31 06:00:58 +00:00
figsoda
33094aea3e erg: 0.6.23 -> 0.6.24
Diff: https://github.com/erg-lang/erg/compare/v0.6.23...v0.6.24

Changelog: https://github.com/erg-lang/erg/releases/tag/v0.6.24
2023-10-30 17:10:13 -04:00
Alyssa Ross
fcc44e9aea
llvmPackages_12.openmp,llvmPackages_13.openmp: fix cross
CMake commit faa950a155 ("try_compile: Run native build tool with verbose output")
did not play well with these versions of openmp, which have a faulty
failure regex that considers "unknown" in the build output to indicate
a failure.  When cross compiling, the string "unknown" is very likely
to occur as part of triples.  Fix by backporting a patch that improves
the failure regex check to not be tripped up by triples.

The same problem affects LLVM 11 and possibly earlier, but the patch
doesn't apply that far back, so I didn't bother for now.

Fixes: b8ac5b6cfb ("cmake: 3.25.3 -> 3.26.4")
2023-10-30 13:04:51 +01:00
github-actions[bot]
23f19700d2
Merge staging-next into staging 2023-10-30 12:01:37 +00:00
Vladimír Čunát
1046dc0255
Merge #263876: pkgsCross.wasi32.stdenv: fix build with LLVM 16
...into staging-next
2023-10-30 07:15:14 +01:00
Mario Rodas
20b2d94235 fstar: 2023.04.25 -> 2023.09.03
Diff: https://github.com/FStarLang/FStar/compare/v2023.04.25...v2023.09.03

Changelog: https://github.com/FStarLang/FStar/releases/tag/v2023.09.03
2023-10-30 04:20:00 +00:00
Mario Rodas
99835e7d6b c0: unstable-2022-10-25 -> unstable-2023-09-05
Diff: 608f97eef5%0D7ef3bc9ca232ec41936e93ec8957051e48cacfba#diff
2023-10-30 04:20:00 +00:00
github-actions[bot]
16a096e127
Merge staging-next into staging 2023-10-29 18:01:53 +00:00
github-actions[bot]
64070c2fda
Merge master into staging-next 2023-10-29 18:01:23 +00:00
Weijia Wang
f4bc9a6ef9
Merge pull request #259820 from Infinidoge/feat/temurin-bin-21
temurin-bin: init at 21
2023-10-29 13:07:34 +01:00
github-actions[bot]
1ca64d6d36
Merge staging-next into staging 2023-10-29 12:01:31 +00:00
github-actions[bot]
571f1df5e4
Merge master into staging-next 2023-10-29 12:00:57 +00:00
Robert Scott
71490f892e
Merge pull request #261689 from mdarocha/dotnet-update
dotnet-sdk_6: 6.0.414 -> 6.0.416, dotnet-sdk: 7.0.401 -> 7.0.403, dotnet-sdk_8: 8.0.100-rc.1.23455.8 -> 8.0.100-rc.2.23502.2
2023-10-29 10:26:54 +00:00
Thiago Kenji Okada
da7a0ff844
Merge pull request #264034 from r-ryantm/auto-update/graalvmCEPackages.graalpy
graalvmCEPackages.graalpy: 23.1.0 -> 23.1.1
2023-10-29 09:53:13 +00:00
Thiago Kenji Okada
f9248c32dc
Merge pull request #264033 from r-ryantm/auto-update/graalvmCEPackages.truffleruby
graalvmCEPackages.truffleruby: 23.1.0 -> 23.1.1
2023-10-29 09:52:47 +00:00
github-actions[bot]
f6ae58ad07
Merge staging-next into staging 2023-10-29 00:03:01 +00:00
R. Ryantm
5b007e6148 graalvmCEPackages.graalpy: 23.1.0 -> 23.1.1 2023-10-28 20:52:36 +00:00
R. Ryantm
da8eff2e19 graalvmCEPackages.truffleruby: 23.1.0 -> 23.1.1 2023-10-28 20:52:06 +00:00
Vladimír Čunát
91168394c8
Merge #263923: ghc*: patch build of docs after sphinx update
...into staging-next
2023-10-28 22:27:15 +02:00
R. Ryantm
9586930ab6 graalvm-ce: 21.0.0 -> 21.0.1 2023-10-28 20:21:08 +00:00
github-actions[bot]
fa693bef81
Merge staging-next into staging 2023-10-28 18:01:40 +00:00
K900
e6cbaa94f9 libclc: absorb into llvmPackages(16) 2023-10-28 15:26:11 +03:00
Vladimír Čunát
176ccbcda8
ghc*: patch build of docs after sphinx update
The 8.x versions don't seem to need this (and the patch wouldn't apply).
2023-10-28 12:50:03 +02:00
Randy Eckenrode
9b77925762
llvmPackages_16.libcxxabi: fix wasi32 build 2023-10-27 18:37:52 -04:00
Randy Eckenrode
485ae91fbf
llvmPackages_16.libcxx: fix wasi32 build 2023-10-27 18:37:51 -04:00
Randy Eckenrode
71a741517a
llvmPackages_16.compiler-rt: fix wasi32 build 2023-10-27 18:24:36 -04:00
github-actions[bot]
ab02b9942b
Merge staging-next into staging 2023-10-27 18:01:35 +00:00
github-actions[bot]
4c838ddf14
Merge master into staging-next 2023-10-27 18:01:08 +00:00
Artturi
4693035911
Merge pull request #240596 from amjoseph-nixpkgs/pr/gcc/stage-rename 2023-10-27 17:13:59 +03:00
Marek Fajkus
904af2d8f7
Merge pull request #263641 from PedroHLC/elm-graphql-init
elmPackages.elm-graphql: init at 4.3.1
2023-10-27 15:08:26 +02:00
Henner Zeller
13687487b9 synlig: 2023.10.12 -> 2023-10-26 2023-10-27 07:36:13 -05:00
github-actions[bot]
4a5044c558
Merge master into staging-next 2023-10-27 12:01:12 +00:00
OTABI Tomoya
30ead2cebb
Merge pull request #263691 from r-ryantm/auto-update/circt
circt: 1.56.1 -> 1.58.0
2023-10-27 19:21:12 +09:00
7c6f434c
37ee83ed08
Merge pull request #263065 from hraban/sbcl-bootstrap-from-clisp
sbcl: bootstrap from CLISP on supported systems
2023-10-27 07:53:12 +00:00
Hraban Luyat
4106d42ac1 sbcl: CLISP bootstrap host for default systems 2023-10-26 23:38:41 -04:00
Adam Joseph
1904125877 gcc: change "-stage-static" to "-nolibc" and "-stage-final" to ""
This commit changes the target suffix for the first-stage cross
compiler from `-stage-static` to `-nolibc`, and eliminates the
target suffix from the final-stage cross compiler (previously
`-stage-final`).

Co-authored-by: Artturi <Artturin@artturin.com>
Co-authored-by: John Ericson <git@JohnEricson.me>
2023-10-26 20:07:18 -07:00
R. Ryantm
9484fedba1 circt: 1.56.1 -> 1.58.0 2023-10-27 02:55:33 +00:00
PedroHLC ☭
bd5e6f0a79
elmPackages.elm-graphql: init at 4.3.1 2023-10-26 17:15:34 -03:00
github-actions[bot]
96132a216a
Merge master into staging-next 2023-10-26 18:01:02 +00:00
Jeremie S
6e131ad284 vlang: add symlink to vcreate 2023-10-26 12:45:02 -03:00
Vladimír Čunát
d811555465
Merge branch 'staging' into staging-next 2023-10-26 10:36:50 +02:00