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
Philip Taron
bb8c13160e
nvc: gate elfutils on package availability rather than isLinux
2024-04-03 00:10:40 +02:00
annalee
6fe5877a49
Merge remote-tracking branch 'upstream/staging-next' into staging
...
Conflicts:
pkgs/development/python-modules/colorcet/default.nix
2024-04-02 18:11:12 +00:00
Mauricio Collares
25283f17ee
Merge pull request #300930 from collares/sage-quaternionalgebra
...
sage: work around QuaternionAlgebra random test failure
2024-04-02 14:35:25 +02:00
Mauricio Collares
e9488dbea7
sage: work around QuaternionAlgebra random test failure
2024-04-02 13:31:34 +02:00
Quentin Smith
31de231f82
kicad: fix license
...
KiCad has been under the GPL (not AGPL) since 6.0.0.
4ef02fd699https://www.kicad.org/about/licenses/
2024-04-01 20:14:10 -04:00
github-actions[bot]
6c56d2db74
Merge staging-next into staging
2024-04-02 00:02:54 +00:00
Weijia Wang
dca627c9d4
Merge pull request #300290 from NixOS/colmap-autoadd
...
colmap: use pkgs.autoAddDriverRunpath
2024-04-02 00:59:06 +02:00
R. Ryantm
71caf0987d
boinc: 7.24.3 -> 8.0.1
2024-04-01 20:55:53 +00:00
Jonathan Ringer
47bd04c9d8
colmap: use pkgs.autoAddDriverRunpath
2024-04-01 09:53:08 -07:00
github-actions[bot]
ad17f02de7
Merge staging-next into staging
2024-04-01 00:03: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
Weijia Wang
498ed67c4f
Merge pull request #299968 from wegank/gurobi-bump
...
gurobi, python312Packages.gurobipy: 9.5.1 -> 11.0.1
2024-03-31 23:38:36 +02:00
annalee
df5c3e6dd1
Merge remote-tracking branch 'upstream/staging-next' into staging
...
Conflicts:
pkgs/development/python-modules/cssutils/default.nix
2024-03-31 12:50:06 +00:00
Naïm Favier
92514e4863
Merge branch 'master' into haskell-updates
2024-03-31 10:23:44 +02:00
github-actions[bot]
61006b247a
Merge staging-next into staging
2024-03-31 06:01:45 +00:00
Dmitry Kalinkin
c459054f7e
Merge pull request #298093 from r-ryantm/auto-update/python311Packages.snakemake-interface-executor-plugins
...
python311Packages.snakemake-interface-executor-plugins: 8.2.0 -> 9.1.0
2024-03-31 00:47:45 -04:00
Dmitry Kalinkin
924bfa96b6
snakemake: 8.4.12 -> 8.10.4
2024-03-31 00:13:23 -04:00
github-actions[bot]
c8dea9cbe5
Merge staging-next into staging
2024-03-31 00:02:45 +00:00
Someone
09b490afe6
Merge pull request #300278 from jonringer/lammps-autoadd
...
lammps: use pkgs.autoAddDriverRunpath
2024-03-30 22:37:51 +00:00
Weijia Wang
73f78efb56
Merge pull request #300266 from Cryolitia/labelimg
...
labelImg: 1.8.3 -> 1.8.6, re-format with `nixfmt-rfc-style`
2024-03-30 21:07:46 +01:00
github-actions[bot]
d7ece48399
Merge staging-next into staging
2024-03-30 18:01:46 +00:00
Weijia Wang
877bf7979c
Merge pull request #298216 from r-ryantm/auto-update/pspp
...
pspp: 2.0.0 -> 2.0.1
2024-03-30 18:34:53 +01:00
Jonathan Ringer
e31bb0051f
lammps: use pkgs.autoAddDriverRunpath
2024-03-30 10:26:13 -07:00
北雁 Cryolitia
8ce3c897a6
labelImg: re-format with nixfmt-rfc-style
2024-03-31 00:33:13 +08:00
北雁 Cryolitia
c14ac40d8e
labelImg: 1.8.3 -> 1.8.6
...
Co-Authored-By: Fabian Freihube <fabian@freihube.dev>
2024-03-31 00:16:02 +08:00
Nick Cao
f1bac8775c
Merge pull request #299873 from r-ryantm/auto-update/rofi-calc
...
rofi-calc: 2.2.0 -> 2.2.1
2024-03-30 10:39:27 -04:00
github-actions[bot]
49b966576c
Merge staging-next into staging
2024-03-30 12:01:34 +00:00
markuskowa
248a4a2e8b
Merge pull request #299989 from markuskowa/upd-octopus
...
octopus: 13.0 -> 14.0, fix scalapack
2024-03-30 11:18:07 +01:00
github-actions[bot]
506e353092
Merge master into haskell-updates
2024-03-30 00:12:08 +00:00
github-actions[bot]
71fd00c763
Merge staging-next into staging
2024-03-29 18:01:38 +00:00
Markus Kowalewski
927d6ca7e4
octopus: 13.0 -> 14.0, switch to cmake
2024-03-29 16:51:47 +01:00
Weijia Wang
f8a72ab5b0
gurobi, python312Packages.gurobipy: 9.5.1 -> 11.0.1
2024-03-29 12:12:40 +01:00
R. Ryantm
3806a82024
dafny: 4.5.0 -> 4.6.0
2024-03-29 04:54:25 +00:00
R. Ryantm
41530e7cda
rofi-calc: 2.2.0 -> 2.2.1
2024-03-29 00:26:21 +00:00
github-actions[bot]
d48c2529ec
Merge master into haskell-updates
2024-03-29 00:12:42 +00:00
annalee
675fb1648e
Merge remote-tracking branch 'upstream/staging-next' into staging
...
Conflicts:
pkgs/development/python-modules/apsw/default.nix
pkgs/development/python-modules/deal/default.nix
pkgs/development/python-modules/kubernetes/default.nix
2024-03-28 13:02:34 +00:00
Weijia Wang
87c7aabf97
Merge pull request #296812 from aaronjheng/gwyddion
...
gwyddion: remove broken python support
2024-03-28 10:48:34 +01:00
Weijia Wang
fa8bea60e0
Merge pull request #298452 from wegank/gmsh-bump
...
gmsh: 4.11.1 -> 4.12.2
2024-03-28 10:44:40 +01:00
Martin Weinelt
ea1480099d
Merge pull request #299223 from NixOS/python-updates
...
[python-updates] 2024-03-24 - selective updates
2024-03-28 05:01:55 +01:00
github-actions[bot]
8de0afeb83
Merge master into haskell-updates
2024-03-28 00:12:55 +00:00
Martin Weinelt
528354e66c
python312Packages.cython: 0.29.36 -> 3.0.9
...
Folds the cython_3 attribute into the primary cython attribute and
migrates all packages from the versioned attribute.
The old version will be provided through the cython_0 attribute in an
effort to phase it out.
2024-03-27 18:35:05 +01:00
Weijia Wang
ee3323be61
Merge pull request #299115 from r-ryantm/auto-update/iqtree
...
iqtree: 2.2.2.7 -> 2.3.1
2024-03-27 16:10:28 +01:00
Weijia Wang
0a4c9c84e8
Merge pull request #299357 from r-ryantm/auto-update/cytoscape
...
cytoscape: 3.10.1 -> 3.10.2
2024-03-27 15:38:47 +01:00
Vincent Laporte
378c25fbb7
alt-ergo: 2.5.2 → 2.5.3
2024-03-27 06:30:04 +01:00
R. Ryantm
7daf08305b
cytoscape: 3.10.1 -> 3.10.2
2024-03-27 01:22:50 +00:00
github-actions[bot]
7f599f6511
Merge master into haskell-updates
2024-03-27 00:12:11 +00:00
Mauricio Collares
d3fd6364f9
Merge pull request #298957 from Feyorsh/sage-dep
...
sage: fix dependencies on Darwin/Clang16
2024-03-26 19:29:01 +01:00
George Huebner
56ceb0cc7d
singular: bump texinfo from 4 to 7
...
texinfo4 fails to compile on aarch64-darwin, and singular is no longer
constrained to use an older version
2024-03-26 19:26:22 +01:00
kilianar
47c36c508d
stellarium: 23.4 -> 24.1
...
https://github.com/Stellarium/stellarium/releases/tag/v24.1
2024-03-26 15:59:02 +01:00
R. Ryantm
60daff4b19
iqtree: 2.2.2.7 -> 2.3.1
2024-03-26 08:23:46 +00:00
github-actions[bot]
39a71cf239
Merge master into haskell-updates
2024-03-26 00:12:22 +00:00
Pol Dellaiera
8a92d722dd
Merge pull request #298115 from r-ryantm/auto-update/messer-slim
...
messer-slim: 4.1 -> 4.2
2024-03-25 11:17:49 +01:00
Pol Dellaiera
e74650c878
Merge pull request #297189 from TomaSajt/dataexplorer
...
dataexplorer: make deterministic and clean up
2024-03-25 11:16:06 +01:00
github-actions[bot]
3edac3b767
Merge master into haskell-updates
2024-03-25 00:13:28 +00:00
Sandro
e03f06c40f
Merge pull request #281099 from bzizou/kstars
...
kstars: 3.6.7 -> 3.6.9
2024-03-24 21:57:09 +01:00
github-actions[bot]
31a14cb69e
Merge master into haskell-updates
2024-03-24 00:14:19 +00:00
Weijia Wang
cce9af9c52
Merge pull request #294599 from r-ryantm/auto-update/R
...
R: 4.3.2 -> 4.3.3
2024-03-23 22:25:28 +01:00
Weijia Wang
2b075b0a2b
gmsh: 4.11.1 -> 4.12.2
2024-03-23 22:08:06 +01:00
Nick Cao
f09276f23e
Merge pull request #298276 from r-ryantm/auto-update/eigenmath
...
eigenmath: unstable-2024-03-11 -> unstable-2024-03-20
2024-03-23 11:26:05 -04:00
lassulus
3565cb9804
Merge pull request #297594 from r-ryantm/auto-update/magic-vlsi
...
magic-vlsi: 8.3.464 -> 8.3.465
2024-03-23 21:22:03 +07:00
R. Ryantm
bf2bba803c
eigenmath: unstable-2024-03-11 -> unstable-2024-03-20
2024-03-23 04:36:07 +00:00
R. Ryantm
3f4d0561db
pspp: 2.0.0 -> 2.0.1
2024-03-23 00:22:01 +00:00
github-actions[bot]
39632d3d4c
Merge master into haskell-updates
2024-03-23 00:12:18 +00:00
R. Ryantm
9229eb6e7e
messer-slim: 4.1 -> 4.2
2024-03-22 17:12:15 +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
2024-03-22 12:13:05 +01:00
kirillrdy
97c86a7a0c
Merge pull request #291134 from evils/kicad-8
...
kicad: 7.0.10 -> 8.0.1
2024-03-22 20:12:15 +11:00
George Huebner
909b7ce7bb
gfan: fix clang build
...
Internal logging macro shadows std's `log2`, so we rename it.
2024-03-21 19:33:59 -05:00
George Huebner
c8d30c0af9
sage: drop flintqs
...
FlintQS is no longer maintained and has several bugs.
As of https://github.com/sagemath/sage/pull/35419 , all of FlintQS's
functionality is contained within Sage.
2024-03-21 19:33:59 -05:00
Felix Bühler
16053fdef8
Merge pull request #284363 from roconnor/2024-01-msieve
...
msieve: 1.53 -> r1050
2024-03-21 22:09:37 +01:00
TomaSajt
38eb40b7f1
dataexplorer: make deterministic and clean up
2024-03-21 20:46:49 +01:00
Pol Dellaiera
65cbb455e3
Merge pull request #297173 from Lurkki14/agpl3
...
treewide: remove licenses.agpl3
2024-03-21 20:24:20 +01:00
Mauricio Collares
c0b0a60771
Merge pull request #295019 from r-ryantm/auto-update/palp
...
palp: 2.20 -> 2.21
2024-03-21 18:00:59 +01:00
Jussi Kuokkanen
82b45bf454
treewide: remove licenses.agpl3
2024-03-21 18:09:24 +02:00
Sandro
5af1df8b7d
strictdoc: cleanup file after pkgs/by-name move
2024-03-21 16:07:38 +01:00
OTABI Tomoya
f94467a5c9
Merge pull request #295468 from r-ryantm/auto-update/dataexplorer
...
dataexplorer: 3.8.3 -> 3.8.5
2024-03-21 17:50:04 +09:00
R. Ryantm
32f2120b01
uhdm: 1.80 -> 1.82
2024-03-21 01:10:36 +00:00
R. Ryantm
b6b642911e
magic-vlsi: 8.3.464 -> 8.3.465
2024-03-21 00:46:26 +00:00
github-actions[bot]
6e6944dbcc
Merge master into staging-next
2024-03-21 00:02:05 +00:00
Evils
9d285ecd83
kicad: also disable qa_cli on aarch64-linux
2024-03-20 21:09:42 +01:00
Evils
ec2fe6b8ac
kicad: 8.0.0 -> 8.0.1
2024-03-20 21:09:42 +01:00
Evils
55e0055e12
kicad: 7.0.11 -> 8.0.0
...
switch to KICAD8 env vars
make the previously unstable dependencies stable
reenable the qa_eeschema test
and disable qa_spice
also bump testing and unstable
2024-03-20 21:09:42 +01:00
Evils
b18493e3f2
kicad-unstable: 2023-08-15 -> 2024-02-07
...
disables failing qa_spice test suite for unstable
upstream seems aware, have not reported it though
2024-03-20 21:09:42 +01:00
Evils
746bcfb2e1
kicad: 7.0.10 -> 7.0.11
2024-03-20 21:09:42 +01:00
jopejoe1
3c57e34690
conglomerate: change license to hpndUc
...
found at https://github.com/BIC-MNI/conglomerate/blob/master/COPYING
2024-03-20 20:49:33 +01:00
github-actions[bot]
36232fff71
Merge master into staging-next
2024-03-20 18:01:02 +00:00
Weijia Wang
9865fb3e29
Merge pull request #297131 from TomaSajt/astral
...
astral: make deterministic and clean up
2024-03-20 14:47:27 +01:00
Mauricio Collares
e21968aa89
Merge pull request #294062 from collares/sage-10.3
...
sage: 10.2 -> 10.3
2024-03-20 13:21:12 +01:00
Mauricio Collares
d403e1be7a
sage, sageWithDoc: 10.2 -> 10.3
2024-03-20 11:46:58 +01: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
github-actions[bot]
a474411771
Merge master into staging-next
2024-03-20 00:02:08 +00:00
Someone
e7797267a2
Merge pull request #281576 from yannham/refactor/cuda-setup-hooks-refactor
...
cudaPackages: generalize and refactor setup hooks
2024-03-19 20:06:18 +00:00
TomaSajt
d36c0cca7f
brmodelo: make deterministic and clean up
2024-03-19 15:20:57 +01:00
TomaSajt
25ea922a4b
astral: make deterministic and clean up
2024-03-19 11:24:39 +01:00
github-actions[bot]
8ee0e6664b
Merge master into staging-next
2024-03-19 06:01:12 +00:00
Pol Dellaiera
186c3e34a7
Merge pull request #296549 from TomaSajt/strip-java-archives-hook
...
add stripJavaArchivesHook and use treewide
2024-03-19 05:41:08 +01: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
Aaron Jheng
8759d4853f
gwyddion: remove broken python support
2024-03-18 11:45:18 +08:00
github-actions[bot]
100b3bb178
Merge master into staging-next
2024-03-17 18:00:54 +00:00
whonore
f017802bcc
dafny: 4.4.0 -> 4.5.0
2024-03-17 12:30:18 -04:00
Weijia Wang
2e911ea73b
Merge pull request #294471 from r-ryantm/auto-update/deeptools
...
deeptools: 3.5.4 -> 3.5.5
2024-03-17 15:20:16 +01:00
TomaSajt
0e20953796
treewide: use stripJavaArchivesHook instead of canonicalize-jars-hook
2024-03-17 13:35:12 +01:00
annalee
8ead81a60f
Merge remote-tracking branch 'upstream/master' into staging-next
2024-03-17 07:18:11 +00:00
OTABI Tomoya
7fc13a0d56
Merge pull request #295598 from r-ryantm/auto-update/mafft
...
mafft: 7.520 -> 7.525
2024-03-17 11:56:50 +09:00
Weijia Wang
21a43cab3e
Merge pull request #293632 from r-ryantm/auto-update/getdp
...
getdp: 3.5.0 -> 3.6.0
2024-03-17 01:56:17 +01:00
github-actions[bot]
2178d8d857
Merge master into staging-next
2024-03-17 00:02:17 +00:00
github-actions[bot]
7ca73c43f1
Merge master into haskell-updates
2024-03-16 00:11:51 +00:00
github-actions[bot]
7006358e6a
Merge master into staging-next
2024-03-16 00:02:02 +00:00
Nick Cao
86e812c02a
Merge pull request #295472 from r-ryantm/auto-update/minimap2
...
minimap2: 2.26 -> 2.27
2024-03-15 14:04:43 -04:00
Yann Hamdaoui
63746cac08
cudaPackages: generalize and refactor setup hook
...
This PR refactor CUDA setup hooks, and in particular
autoAddOpenGLRunpath and autoAddCudaCompatRunpathHook, that were using a
lot of code in common (in fact, I introduced the latter by copy pasting
most of the bash script of the former). This is not satisfying for
maintenance, as a recent patch showed, because we need to duplicate
changes to both hooks.
This commit abstract the common part in a single shell script that
applies a generic patch action to every elf file in the output. For
autoAddOpenGLRunpath the action is just addOpenGLRunpath (now
addDriverRunpath), and is few line function for
autoAddCudaCompatRunpathHook.
Doing so, we also takes the occasion to use the newer addDriverRunpath
instead of the previous addOpenGLRunpath, and rename the CUDA hook to
reflect that as well.
Co-Authored-By: Connor Baker <connor.baker@tweag.io>
2024-03-15 15:54:21 +01:00
github-actions[bot]
cb97fed572
Merge master into haskell-updates
2024-03-15 00:12:36 +00:00
github-actions[bot]
c160165e60
Merge master into staging-next
2024-03-14 18:01:26 +00:00
Nick Cao
4d47ff9ea7
Merge pull request #295463 from NickCao/systemc-cmake
...
systemc: build with cmake, expand platforms to unix
2024-03-14 13:45:09 -04:00
github-actions[bot]
87a5d42cfa
Merge master into staging-next
2024-03-14 12:01:18 +00:00
Sergey Vinokurov
3a7feda68d
Update Folding@home client to 8.3.7 ( #295745 )
...
Depend re2, libevent during build sisnce 8.3.7 appears to link with
them. Depend on git because client wan’t to know what revision it
was built from.
Add zlib and expat to FHS environment because some workunits depend on
them and cause lots of rejections if those libraries are not
available. Unfortunately they don’t appear to be bundled as part
of work distribution.
2024-03-14 12:17:46 +01:00
github-actions[bot]
9f98a38f2e
Merge master into haskell-updates
2024-03-14 00:13:08 +00:00
R. Ryantm
fd5b7188ef
mafft: 7.520 -> 7.525
2024-03-13 12:21:27 +00:00
annalee
68befa13bb
Merge remote-tracking branch 'upstream/master' into staging-next
2024-03-13 06:02:24 +00:00
Doron Behar
39160e127b
Merge pull request #295063 from r-ryantm/auto-update/libqalculate
...
{qalculate-{qt,gtk},libqalculate}: 4.9.0 -> 5.0.0,
2024-03-13 07:46:45 +02:00
annalee
8e038835fe
Merge remote-tracking branch 'upstream/master' into staging-next
2024-03-13 00:38:07 +00:00
R. Ryantm
055cf7e2ac
minimap2: 2.26 -> 2.27
2024-03-13 00:30:24 +00:00
R. Ryantm
053049bc4f
dataexplorer: 3.8.3 -> 3.8.5
2024-03-13 00:16:09 +00:00
github-actions[bot]
9e0e89d13c
Merge master into haskell-updates
2024-03-13 00:12:20 +00:00
Nick Cao
cf7deee349
verilator: add patch for "attempted to destroy locked Thread Pool" failure in tests
2024-03-12 20:00:48 -04:00
Nick Cao
2dc4b18eb6
verilator: fix locating systemc
2024-03-12 20:00:48 -04:00
Nick Cao
d44aa50819
systemc: build with cmake, expand platforms to unix
2024-03-12 20:00:47 -04:00
Pol Dellaiera
03540ae131
Merge pull request #295193 from emilytrau/fritzing-darwin
...
fritzing: support darwin
2024-03-12 22:07:30 +01:00
Pol Dellaiera
81074976b7
Merge pull request #295306 from r-ryantm/auto-update/magic-vlsi
...
magic-vlsi: 8.3.463 -> 8.3.464
2024-03-12 21:56:19 +01:00
Pol Dellaiera
37b4a69489
Merge pull request #295208 from r-ryantm/auto-update/igv
...
igv: 2.17.2 -> 2.17.3
2024-03-12 21:36:29 +01:00
Thiago Kenji Okada
1040e5688c
Merge pull request #294869 from atorres1985-contrib/primecount
...
primecount, primesieve: refactor
2024-03-12 19:20:56 +00:00
Nick Cao
6ad9c21bb7
Merge pull request #295171 from r-ryantm/auto-update/seqkit
...
seqkit: 2.7.0 -> 2.8.0
2024-03-12 14:40:56 -04:00
Doron Behar
4a414671ac
qalculate-qt: 4.9.0 -> 5.0.0
...
Diff: https://github.com/qalculate/qalculate-qt/compare/v4.9.0...v5.0.0
2024-03-12 16:59:25 +02:00
Doron Behar
b668267edd
qalculate-gtk: 4.9.0 -> 5.0.0
...
Diff: https://github.com/qalculate/qalculate-gtk/compare/v4.9.0...v5.0.0
2024-03-12 16:59:24 +02:00
R. Ryantm
7d8d32ba15
magic-vlsi: 8.3.463 -> 8.3.464
2024-03-12 12:47:29 +00:00
R. Ryantm
c66736f8e0
eigenmath: unstable-2024-03-06 -> unstable-2024-03-11
2024-03-12 07:13:32 +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
R. Ryantm
c91acf3624
igv: 2.17.2 -> 2.17.3
2024-03-12 02:48:25 +00:00
Emily Trau
5005010f1d
fritzing: support darwin
2024-03-12 12:30:01 +11:00
R. Ryantm
8cc0f796eb
seqkit: 2.7.0 -> 2.8.0
2024-03-12 00:29:44 +00:00
github-actions[bot]
87dfdf055e
Merge master into haskell-updates
2024-03-12 00:12:17 +00:00
github-actions[bot]
06e5eb63d3
Merge staging-next into staging
2024-03-11 18:01:53 +00:00
Pol Dellaiera
54c52cb276
Merge pull request #294334 from ShamrockLee/sourceroot-fix
...
treewide: fix hard-coded `sourceRoot` prefix for `fetchgit`-based `src`
2024-03-11 16:50:57 +01:00
R. Ryantm
daf9f70d56
palp: 2.20 -> 2.21
2024-03-11 15:19:05 +00:00
Anderson Torres
0c68a08dd7
primecount: migrate to by-name
2024-03-11 11:04:30 -03:00
Anderson Torres
0aedcfc0b0
primesieve: migrate to by-name
2024-03-11 11:04:30 -03:00
R. Ryantm
6c08d7994a
calcmysky: 0.3.1 -> 0.3.2
2024-03-11 12:27:56 +00:00
Mauricio Collares
2e1ebdb6e0
singular: 4.3.2p2 -> 4.3.2p16
2024-03-11 12:15:41 +01:00
Mauricio Collares
294aaa8575
nauty: 2.7r4 -> 2.8.8
2024-03-11 12:15:41 +01:00
Mauricio Collares
4acba6cff5
conway_polynomials: remove
2024-03-11 12:15:40 +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
R. Ryantm
1e6c427404
primesieve: 12.0 -> 12.1
2024-03-10 13:30:57 +00:00
R. Ryantm
664b060722
R: 4.3.2 -> 4.3.3
2024-03-09 23:33:07 +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
R. Ryantm
a312b41117
deeptools: 3.5.4 -> 3.5.5
2024-03-09 10:06:54 +00:00
github-actions[bot]
54e3ad5442
Merge master into haskell-updates
2024-03-09 00:11:53 +00:00
Yueh-Shun Li
91b3db1309
treewide: fix sourceRoot for fetchgit-based src
...
According to Nixpkgs manual[1] and NixOS 23.11 Release Note[2], the
`sourceRoot` attribute passed to `stdenv.mkDerivation` should be
specified as `"${src.name}"` or `"${src.name}/subdir"` when `src` is
produced using `fetchgit`-based fetchers.
`sourceRoot = "source"` or `sourceRoot = "source/subdir"` is based on
the assumption that the `name` attribute of these pre-unpacked fetchers
are always `"source"`, which is not the case. Expecting constant `name`
also makes the source FODs prone to irrelevent hashes during version
bumps.
[1]: https://nixos.org/manual/nixpkgs/unstable/#var-stdenv-sourceRoot
[2]: https://nixos.org/manual/nixos/stable/release-notes#sec-release-23.11
2024-03-09 07:53:25 +08:00
Mauricio Collares
119b065fec
Merge pull request #293065 from r-ryantm/auto-update/jmol
...
jmol: 16.1.53 -> 16.1.63
2024-03-08 12:25:12 +01:00
R. Ryantm
8d3ed85daa
jmol: 16.1.53 -> 16.1.63
2024-03-08 09:48:22 +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
github-actions[bot]
a32bb438c0
Merge master into haskell-updates
2024-03-08 00:12:53 +00:00
Pol Dellaiera
983f7e7cfb
Merge pull request #293432 from alois31/geogebra-3d
...
geogebra: fix 3D view again
2024-03-07 19:53:05 +01:00
Nick Cao
48a8aef2f3
Merge pull request #294100 from r-ryantm/auto-update/eigenmath
...
eigenmath: unstable-2024-02-25 -> unstable-2024-03-06
2024-03-07 12:57:05 -05:00
R. Ryantm
f4a362ed25
eigenmath: unstable-2024-02-25 -> unstable-2024-03-06
2024-03-07 17:49:19 +00:00
Robert Hensing
7d2a83e6c2
Merge branch 'master' into HEAD
2024-03-07 18:39:12 +01:00
Samuel Ainsworth
a417c4b9ec
Merge pull request #293773 from GaetanLepage/mujoco
...
mujoco: 3.1.2 -> 3.1.3
2024-03-07 11:03:32 -05:00
Weijia Wang
13a97affb1
Merge pull request #291880 from r-ryantm/auto-update/pari
...
pari: 2.15.4 -> 2.15.5
2024-03-07 16:56:45 +01:00
Gaetan Lepage
d62f208672
mujoco: 3.1.2 -> 3.1.3
...
Diff: https://github.com/google-deepmind/mujoco/compare/refs/tags/3.1.2...3.1.3
Changelog: https://github.com/google-deepmind/mujoco/releases/tag/3.1.3
2024-03-07 15:41:37 +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
7c6f434c
40ddcd77cf
Merge pull request #293918 from r-ryantm/auto-update/opensmt
...
opensmt: 2.5.2 -> 2.6.0
2024-03-07 11:22:39 +00:00
Weijia Wang
b2a57ed0b9
Merge pull request #285423 from r-ryantm/auto-update/diamond
...
diamond: 2.1.8 -> 2.1.9
2024-03-07 11:24:20 +01:00
Weijia Wang
c02fcb5130
Merge pull request #287668 from r-ryantm/auto-update/igv
...
igv: 2.17.1 -> 2.17.2
2024-03-07 09:31:05 +01:00
Weijia Wang
05bdea1c17
Merge pull request #291482 from r-ryantm/auto-update/verilator
...
verilator: 5.020 -> 5.022
2024-03-07 08:08:34 +01:00
Weijia Wang
cbf8d3d567
Merge pull request #292044 from r-ryantm/auto-update/mavproxy
...
mavproxy: 1.8.66 -> 1.8.70
2024-03-07 07:58:16 +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
Weijia Wang
aac102629b
Merge pull request #290917 from r-ryantm/auto-update/magic-vlsi
...
magic-vlsi: 8.3.460 -> 8.3.463
2024-03-06 22:24:44 +01:00
R. Ryantm
9bb1834bfa
cadical: 1.9.4 -> 1.9.5
2024-03-06 15:23:48 +00:00
R. Ryantm
6473b3f6b7
getdp: 3.5.0 -> 3.6.0
2024-03-06 02:37:46 +00:00
R. Ryantm
66d4364107
magic-vlsi: 8.3.460 -> 8.3.463
2024-03-05 20:26:29 +00:00
Markus Kowalewski
d73e602b44
gromacs: 2024 -> 2024.1
2024-03-05 14:38:54 +01: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
github-actions[bot]
153ed76492
Merge master into haskell-updates
2024-03-04 00:13:07 +00:00
Alois Wohlschlager
aecaeee645
geogebra: fix 3D view again
2024-03-03 20:05:36 +01:00
