nixpkgs/pkgs/applications/science/logic
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
..
abc abc-verifier: unstable-2023-09-13 -> unstable-2023-10-13 2023-11-08 15:21:35 +01:00
abella abella: update url, refactor to finalAttrs style 2024-02-03 14:58:27 -05:00
acgtk acgtk: 1.5.4 → 2.0.0 2023-11-30 05:37:04 +01:00
aiger Merge master into staging-next 2023-11-11 18:00:58 +00:00
alt-ergo alt-ergo: fix build on darwin 2023-12-17 16:12:48 +01:00
anders
aspino
avy
beluga beluga: 1.1 -> 1.1.1 2023-09-22 11:56:33 +00:00
bitwuzla
boolector boolector: 3.2.2 -> 3.2.3 + upstream patch for C++14 compatibility. 2024-02-22 19:48:14 +00:00
btor2tools btor2tools: fix build with gcc 13 2024-01-29 21:35:06 +01:00
cadical cadical: 1.9.4 -> 1.9.5 2024-03-06 15:23:48 +00:00
cbmc cbmc: 5.90.0 -> 5.91.0 2023-09-13 00:11:49 +00:00
cedille
celf
clprover
coq coq: 8.19+rc1 -> 8.19.0 2024-01-26 19:35:30 +01:00
cryptominisat cryptominisat: 5.11.15 -> 5.11.21 2024-02-09 04:52:13 +00:00
cryptoverif cryptoverif: 2.07 → 2.08pl1 2024-02-13 06:23:27 +01:00
cubicle
cvc3 treewide: fix redirected and broken URLs 2023-11-11 10:49:01 +01:00
cvc4 treewide: replace -DCMAKE_BUILD_TYPE in cmakeFlags with cmakeBuildType 2023-09-08 14:18:26 +00:00
cvc5 cvc5: 1.1.1 -> 1.1.2 2024-03-02 04:58:08 +00:00
dafny dafny: 4.3.0 -> 4.4.0 2023-12-15 15:48:44 -05:00
drat-trim Update pkgs/applications/science/logic/drat-trim/default.nix 2023-09-12 14:52:16 -04:00
easycrypt why3: move the OCaml library to its own dev output 2024-01-29 09:40:12 +01:00
egglog egglog: unstable-2023-09-12 -> 0-unstable-2024-01-26 2024-01-26 22:47:43 -05:00
ekrhyper treewide: remove unneeded dots and slashes in sourceRoots 2023-08-12 08:29:56 +00:00
elan Revert "elan: revert temporary directory creation" 2024-03-09 16:50:49 +01:00
eprover eprover: 3.0 -> 3.0.03 2023-12-09 18:57:23 +00:00
fast-downward
formula
gappa
glucose
hol
hol_light hol_light: 2023-07-21 → 2023-11-03 2023-11-20 07:03:45 +01:00
iprover iprover: 3.1 → 3.8.1 2024-01-10 06:33:50 +01:00
isabelle isabelle-linter: 1.2.1 -> 2023-1.0.0 2023-12-10 02:27:06 +01:00
key
kissat treewide: fix redirected and broken URLs 2023-11-11 10:49:01 +01:00
klee treewide: replace -DCMAKE_BUILD_TYPE in cmakeFlags with cmakeBuildType 2023-09-08 14:18:26 +00:00
lci
lean lean3: fix gcc-13 build failure) 2024-02-11 19:47:22 +00:00
lean2
lean4 llvmPackages_{12,13,14,15,16,17,git}.{libcxx,libcxxabi}: merge libcxxabi into libcxx (#292043) 2024-03-11 03:53:37 -07:00
leo2
leo3
lingeling
logisim
logisim-evolution
ltl2ba
mcrl2 mcrl2: 202206 -> 202307 2024-02-10 10:14:43 +00:00
mcy
metis-prover
minisat
monosat
msat msat: init at 0.9.1 2024-01-16 06:48:51 +01:00
naproche naproche: 2022-10-24 -> unstable-2023-07-11 2023-10-06 21:59:34 +01:00
netlistsvg netlistsvg: update meta.homepage 2023-09-09 22:53:54 +02:00
nusmv
nuXmv
open-wbo
opensmt opensmt: 2.5.2 -> 2.6.0 2024-03-07 01:36:53 +00:00
ott
petrinizer
picosat treewide: fix redirected and broken URLs 2023-11-11 10:49:01 +01:00
poly libpoly: 0.1.11 -> 0.1.13 2023-08-07 04:40:37 +00:00
potassco Merge pull request #289177 from r-ryantm/auto-update/clingcon 2024-03-06 23:48:05 +01:00
prooftree
prover9
proverif proverif: 2.04 → 2.05 2023-10-23 12:07:37 +02:00
redprl
satallax
saw-tools
sharpsat-td
spass
statverif
stp Merge pull request #288470 from McSinyx/stp-u8 2024-02-15 23:07:44 +01:00
surelog surelog: 1.76 -> 1.80 2023-11-29 13:18:33 -06:00
symbiyosys
symfpu
tamarin-prover tamarin-prover: 1.6.1 -> 1.8.0 2023-08-31 10:57:38 -05:00
tlaplus
tptp
twelf
uhdm uhdm: 1.77 -> 1.80 2023-11-29 13:18:33 -06:00
vampire vampire: make patch urls reproducible 2023-10-09 15:10:48 +02:00
verifast
verit
why3 why3: move the OCaml library to its own dev output 2024-01-29 09:40:12 +01:00
workcraft workcraft: 3.4.1 -> 3.4.2 2024-01-26 12:41:46 +00:00
yices
z3 z3_4_12: 4.12.4 -> 4.12.5 2024-01-30 04:20:00 +00:00
zchaff