Commit Graph

1884 Commits

Author SHA1 Message Date
Morgan Jones
80d57056bc
klee: 3.0 -> 3.1 2024-04-09 19:41:50 -07:00
Weijia Wang
3062a27318
Merge pull request #301348 from symphorien/update_bitwuzla
bitwuzla: unstable-2022-10-03 -> 0.4.0
2024-04-05 18:50:28 +02:00
Guillaume Girol
5847c4078d bitwuzla: test on aarch64-linux 2024-04-03 12:00:00 +00:00
Guillaume Girol
71096455f0 bitwuzla: fix on aarch64-linux 2024-04-03 12:00:00 +00:00
Guillaume Girol
4c932f9688 bitwuzla: fix build with doCheck = false 2024-04-03 12:00:00 +00:00
Guillaume Girol
75e6297d10 cryptominisat: fix static build 2024-04-03 12:00:00 +00:00
Guillaume Girol
67dc7cc993 cadical: fix static build 2024-04-03 12:00:00 +00:00
Guillaume Girol
457090959e bitwuzla: unstable-2022-10-03 -> 0.4.0
lingeling, picosat and minisat are no longer dependencies
2024-04-03 12:00:00 +00:00
Guillaume Girol
5ff10ee902 symfpu: install headers in $out/include, add a pkg-config file
bitwuzla switched to meson, and I found no other way to have meson find
symfpu
2024-04-03 12:00:00 +00:00
Guillaume Girol
5a610c5f8d cadical: add pkg-config file
bitwuzla switched to meson, and I was not able to tell meson how to tell
where cadical is located without a pkg-config file
2024-04-03 12:00:00 +00:00
Mario Rodas
9f5604780c lean4: 4.6.1 -> 4.7.0
Diff: https://github.com/leanprover/lean4/compare/v4.6.1...v4.7.0

Changelog: https://github.com/leanprover/lean4/blob/v4.7.0/RELEASES.md
2024-04-03 04:20:00 +00:00
Weijia Wang
3db4469d98
Merge pull request #276432 from r-ryantm/auto-update/surelog
surelog: 1.80 -> 1.82
2024-04-01 01:08:27 +02:00
Weijia Wang
974165196f
Merge pull request #297595 from r-ryantm/auto-update/uhdm
uhdm: 1.80 -> 1.82
2024-04-01 01:00:41 +02:00
github-actions[bot]
506e353092
Merge master into haskell-updates 2024-03-30 00:12:08 +00:00
R. Ryantm
3806a82024 dafny: 4.5.0 -> 4.6.0 2024-03-29 04:54:25 +00:00
github-actions[bot]
8de0afeb83
Merge master into haskell-updates 2024-03-28 00:12:55 +00:00
Vincent Laporte
378c25fbb7 alt-ergo: 2.5.2 → 2.5.3 2024-03-27 06:30:04 +01:00
github-actions[bot]
39632d3d4c
Merge master into haskell-updates 2024-03-23 00:12:18 +00:00
Weijia Wang
fed21ab52c
Merge pull request #297381 from emilytrau/logisim-darwin
logisim,logisim-evolution,mars-mips: add darwin bundle
2024-03-22 16:17:30 +01:00
sternenseemann
ae679c40db tamarin-prover: pick patch for Stackage LTS 22 dependencies
The provided patch is b3e18f61e4
cherry-picked onto the 1.8.0 release which required some conflict-solving
2024-03-22 12:13:05 +01:00
R. Ryantm
32f2120b01 uhdm: 1.80 -> 1.82 2024-03-21 01:10:36 +00:00
Emily Trau
0d9610c56f logisim: add darwin bundle 2024-03-20 16:37:19 +11:00
Emily Trau
c87d0c29ee logisim-evolution: add darwin bundle 2024-03-20 16:28:51 +11:00
Martin Weinelt
3321e63b12
Merge remote-tracking branch 'origin/master' into staging-next
Conflicts:
- pkgs/development/python-modules/sphinx-autobuild/default.nix
2024-03-19 04:00:32 +01:00
stuebinm
ff1a94e523 treewide: add meta.mainProgram to packages with a single binary
The nixpkgs-unstable channel's programs.sqlite was used to identify
packages producing exactly one binary, and these automatically added
to their package definitions wherever possible.
2024-03-19 03:14:51 +01:00
github-actions[bot]
d5491af22d
Merge master into staging-next 2024-03-18 12:01:22 +00:00
whonore
f017802bcc dafny: 4.4.0 -> 4.5.0 2024-03-17 12:30:18 -04:00
github-actions[bot]
2178d8d857
Merge master into staging-next 2024-03-17 00:02:17 +00:00
github-actions[bot]
9e0e89d13c
Merge master into haskell-updates 2024-03-13 00:12:20 +00:00
github-actions[bot]
0917422ffe
Merge staging-next into staging 2024-03-12 06:01:24 +00:00
Vincent Laporte
0521702b1d coq_8_19: 8.19.0 → 8.19.1 2024-03-12 05:49:59 +01:00
a-n-n-a-l-e-e
ce789e7e35
llvmPackages_{12,13,14,15,16,17,git}.{libcxx,libcxxabi}: merge libcxxabi into libcxx (#292043)
- merge libcxxabi into libcxx for LLVM 12, 13, 14, 15, 16, 17, and git.
- remove the link time workaround `-lc++ -lc++abi` from 58 packages as it is no longer required.
- fixes https://github.com/NixOS/nixpkgs/issues/166205
- provides alternative fixes for. https://github.com/NixOS/nixpkgs/issues/269548 https://github.com/NixOS/nix/issues/9640
- pkgsCross.x86_64-freebsd builds work again

This change can be represented in 3 stages
1. merge libcxxabi into libcxx -- files: pkgs/development/compilers/llvm/[12, git]/{libcxx, libcxxabi}
2. update stdenv to account for merge -- files: stdenv.{adapters, cc.wrapper, darwin}
3. remove all references to libcxxabi outside of llvm (about 58 packages modified)

### merging libcxxabi into libcxx
- take the union of the libcxxabi and libcxx cmake flags
- eliminate the libcxx-headers-only package - it was only needed to break libcxx <-> libcxxabi circular dependency
- libcxx.cxxabi is removed. external cxxabi (freebsd) will symlink headers / libs into libcxx.
- darwin will re-export the libcxxabi symbols into libcxx so linking `-lc++` is sufficient.
- linux/freebsd `libc++.so` is a linker script `LINK(libc++.so.1, -lc++abi)` making `-lc++` sufficient.
- libcxx/default.nix [12, 17] are identical except for patches and `LIBCXX_ADDITIONAL_LIBRARIES` (only used in 16+)
- git/libcxx/defaul.nix  does not link with -nostdlib when useLLVM is true so flag is removed. this is not much different than before as libcxxabi used -nostdlib where libcxx did not, so libc was linked in anyway.

### stdenv changes
- darwin bootstrap, remove references to libcxxabi and cxxabi
- cc-wrapper: remove c++ link workaround when libcxx.cxxabi doesn't exist (still exists for LLVM pre 12)
- adapter: update overrideLibcxx to account for a pkgs.stdenv that only has libcxx

### 58 package updates
- remove `NIX_LDFLAGS = "-l${stdenv.cc.libcxx.cxxabi.libName}` as no longer needed
- swift, nodejs_v8 remove libcxxabi references in the clang override

https://github.com/NixOS/nixpkgs/pull/292043
2024-03-11 03:53:37 -07:00
github-actions[bot]
97e35dcd05
Merge master into haskell-updates 2024-03-11 00:12:54 +00:00
Joachim Breitner
af10a63043 Revert "elan: revert temporary directory creation"
This reverts commit 66e4e61595.
2024-03-09 16:50:49 +01:00
Joachim Breitner
5681570171 fix: elan: use relative paths in wrapper script
since 3.1.1, `elan` extracts to a temporary location and then moves to a
final location, this threw the wrapper script off. Updating the patch to
use paths relative to the wrapper script, so that it works independent
of absolute location.
2024-03-09 16:01:03 +01:00
github-actions[bot]
54e3ad5442
Merge master into haskell-updates 2024-03-09 00:11:53 +00:00
Weijia Wang
40f9f30edf
Merge pull request #292724 from r-ryantm/auto-update/cvc5
cvc5: 1.1.1 -> 1.1.2
2024-03-08 08:48:25 +01:00
Robert Hensing
7d2a83e6c2 Merge branch 'master' into HEAD 2024-03-07 18:39:12 +01:00
Weijia Wang
dba4cc979f
Merge pull request #287372 from r-ryantm/auto-update/cryptominisat
cryptominisat: 5.11.15 -> 5.11.21
2024-03-07 15:23:07 +01:00
Mario Rodas
66e4e61595 elan: revert temporary directory creation 2024-03-07 04:20:00 +00:00
R. Ryantm
08a8c74c4b opensmt: 2.5.2 -> 2.6.0 2024-03-07 01:36:53 +00:00
github-actions[bot]
8534fb2f53
Merge master into haskell-updates 2024-03-07 00:10:05 +00:00
Weijia Wang
d83c961db0
Merge pull request #289177 from r-ryantm/auto-update/clingcon
clingcon: 5.2.0 -> 5.2.1
2024-03-06 23:48:05 +01:00
R. Ryantm
9bb1834bfa cadical: 1.9.4 -> 1.9.5 2024-03-06 15:23:48 +00:00
github-actions[bot]
1ad8409e69
Merge master into haskell-updates 2024-03-05 00:12:06 +00:00
Mario Rodas
4ca2b298cc lean4: 4.6.0 -> 4.6.1
Diff: https://github.com/leanprover/lean4/compare/v4.6.0...v4.6.1

Changelog: https://github.com/leanprover/lean4/blob/v4.6.1/RELEASES.md
2024-03-04 04:20:00 +00:00
R. Ryantm
b4acd43269 cvc5: 1.1.1 -> 1.1.2 2024-03-02 04:58:08 +00:00
github-actions[bot]
38eff76eca
Merge master into haskell-updates 2024-03-02 00:11:53 +00:00
Mario Rodas
468b7bae7f lean4: 4.5.0 -> 4.6.0
Diff: https://github.com/leanprover/lean4/compare/v4.5.0...v4.6.0

Changelog: https://github.com/leanprover/lean4/blob/v4.6.0/RELEASES.md
2024-02-28 04:20:00 +00:00
github-actions[bot]
257171f024
Merge master into haskell-updates 2024-02-25 00:13:49 +00:00