Austin Seipp
787381926a
tamarin-prover: set LOCALE_ARCHIVE in wrapper
...
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2023-03-12 19:06:58 -05:00
Luflosi
e8f1fcd350
abc-verifier: unstable-2023-02-04 -> unstable-2023-02-23
2023-03-12 18:10:19 -05:00
Mauricio Collares
652e253e26
Merge pull request #220559 from amesgen/fix-sage
...
sage: fix build by downgrading maxima to 5.45
2023-03-12 14:51:57 +01:00
R. Ryantm
77c83ddbc9
diamond: 2.1.4 -> 2.1.5
2023-03-11 18:22:58 +00:00
amesgen
0a1a3e9d95
maxima-ecl: fix build by removing upstreamed patch
2023-03-10 21:57:12 +01:00
amesgen
70b827c60a
sage: fix build by downgrading maxima to 5.45
2023-03-10 21:55:54 +01:00
Yueh-Shun Li
564e20e62d
Revert "root: remove the already-default CMAKE_INSTALL_*DIR flags" ( #220437 )
...
For some reason, this makes $out/bin/rootcint disappear
$out/bin/rootcint is a duplication of $out/bin/rootcling
for compatibility reason
This reverts commit c09e03c1a6
.
2023-03-10 01:48:11 -05:00
Doron Behar
ba4d56e20e
tamarin-prover: install vim-plugin to nvim/site
2023-03-08 12:32:40 +02:00
R. RyanTM
02cd0a5dfc
sherpa: 2.2.13 -> 2.2.14 ( #220016 )
2023-03-07 12:47:54 -05:00
Atemu
acdc303ed7
Merge pull request #219836 from wegank/leo2-darwin
...
leo2, statverif: add darwin support
2023-03-07 13:24:35 +01:00
Doron Behar
33c9fd85e5
Merge pull request #219838 from alyaeanyx/qalculate-4.6.0
...
{libqalculate, qalculate-gtk, qalculate-qt}: 4.5.1 -> 4.6.0
2023-03-07 01:11:37 +02:00
Weijia Wang
3d70562dfd
leo2: add darwin support
2023-03-07 00:10:09 +02:00
Ilan Joselevich
e398da1460
Merge pull request #219606 from wegank/vampire-aarch64
...
vampire: unbreak on aarch64-linux
2023-03-06 22:19:54 +02:00
Samuel Ainsworth
e1fbe85b0a
Merge pull request #218265 from SomeoneSerge/hotfix-nvcc-gcc-incompatibility
...
cudaPackages: point nvcc at a compatible -ccbin
2023-03-06 11:38:18 -05:00
alyaeanyx
2d1959e445
libqalculate, qalculate-gtk: 4.5.1 -> 4.6.0
2023-03-06 15:17:20 +01:00
Weijia Wang
55bb9cd6c0
Merge pull request #219604 from wegank/glsurf-ocaml
...
glsurf: migrate to OCaml 4.14
2023-03-06 11:05:05 +02:00
Nick Cao
794f34657e
Merge pull request #219625 from NickCao/eigenmath
...
eigenmath: init at unstable-2023-03-05
2023-03-05 23:20:20 +08:00
Weijia Wang
e6725b74f8
Merge pull request #219515 from r-ryantm/auto-update/diamond
...
diamond: 2.1.3 -> 2.1.4
2023-03-05 13:59:24 +02:00
Guillaume Girol
768a866917
Merge pull request #216864 from ShamrockLee/root-debug-info
...
root: separateDebugInfo = true
2023-03-05 10:28:50 +00:00
Weijia Wang
a56529a95f
glsurf: fix runtime error
2023-03-05 12:05:39 +02:00
Nick Cao
32b51c198f
eigenmath: init at unstable-2023-03-05
2023-03-05 16:17:38 +08:00
Doron Behar
a1240f6b4a
Merge pull request #219171 from doronbehar/pkg/maxima
...
maxima: 5.45.1 -> 5.46.0
2023-03-05 07:58:10 +02:00
Weijia Wang
3796e59136
vampire: unbreak on aarch64-linux
2023-03-05 02:21:12 +02:00
Weijia Wang
cc4169d737
glsurf: migrate to OCaml 4.14
2023-03-05 02:03:44 +02:00
Weijia Wang
1148f28242
cubicle: set env instead of postPatch
2023-03-05 01:44:26 +02:00
Yueh-Shun Li
b96226578e
root: specify separateDebugInfo = true for all pltforms
2023-03-05 03:30:17 +08:00
R. Ryantm
e175a2ea68
diamond: 2.1.3 -> 2.1.4
2023-03-04 15:44:53 +00:00
Yueh-Shun Li
c89c22a9c2
root: separateDebugInfo = true on Linux
2023-03-04 15:05:26 +08:00
Someone Serge
d378cc6fb2
opencv4: respect config.cudaCapabilities
...
This is needed for faster builds when debugging the opencv derivation,
and it's more consistent with other cuda-enabled packages
-DCUDA_GENERATION seems to expect architecture names, so we refactor
cudaFlags to facilitate easier extraction of the configured archnames
2023-03-04 00:59:21 +02:00
Justin Bedő
5ba0152b6c
Merge pull request #218998 from r-ryantm/auto-update/picard-tools
...
picard-tools: 2.27.5 -> 3.0.0
2023-03-03 22:26:27 +00:00
Doron Behar
f002f6e8ab
wxmaxima: 22.12.0 -> 23.02.1
...
Diff: https://github.com/wxMaxima-developers/wxmaxima/compare/Version-22.12.0...23.02.1
2023-03-02 15:11:08 +02:00
Doron Behar
b53da37836
maxima: 5.45.1 -> 5.46.0
2023-03-02 15:11:00 +02:00
R. Ryantm
99785ee90e
picard-tools: 2.27.5 -> 3.0.0
2023-03-01 14:43:38 +00:00
Sandro
2c6a017a7e
Merge pull request #217622 from ksenia-portu/mathematica
...
mathematica: 13.2.0 -> 13.2.1
2023-03-01 13:32:33 +01:00
Sandro
b687a76e0e
Merge pull request #217982 from pmiddend/crystfel-0.10.2
...
crystfel: 0.10.1 → 0.10.2
2023-03-01 11:45:16 +01:00
Weijia Wang
4389f86425
Merge pull request #211867 from wegank/scilab-bin-refactor
...
scilab-bin: refactor
2023-02-28 22:29:34 +02:00
Weijia Wang
ccd9d6da1e
Merge pull request #218118 from r-ryantm/auto-update/diamond
...
diamond: 2.1.1 -> 2.1.3
2023-02-27 21:28:18 +02:00
Artturi
1c6a1e5650
Merge pull request #218500 from alyssais/pythonForBuild
2023-02-27 18:17:27 +02:00
Weijia Wang
21bb99733d
Merge pull request #218342 from r-ryantm/auto-update/bcftools
...
bcftools: 1.16 -> 1.17
2023-02-27 18:02:55 +02:00
Philipp Middendorf
fca0501c76
crystfel: 0.10.1 → 0.10.2
2023-02-27 09:01:51 +01:00
Alyssa Ross
2bfa93e01c
treewide: python{ => .pythonForBuild}.interpreter
...
It won't be enough to fix cross in all cases, but it is in at least
one: pywayland. I've only made the change in cases I'm confident it's
correct, as it would be wrong to change this when python.interpreter
is used in wrappers, and possibly when it's used for running tests.
2023-02-26 20:26:17 +00:00
Weijia Wang
b390b634c4
Merge pull request #218384 from r-ryantm/auto-update/neuron-full
...
neuron-full: 8.2.1 -> 8.2.2
2023-02-26 18:42:25 +02:00
Weijia Wang
4be6baacfe
Merge pull request #218170 from r-ryantm/auto-update/readstat
...
readstat: 1.1.8 -> 1.1.9
2023-02-26 12:24:53 +02:00
R. Ryantm
f2465e1ecf
neuron-full: 8.2.1 -> 8.2.2
2023-02-26 05:18:37 +00:00
R. Ryantm
95ca5f576c
bcftools: 1.16 -> 1.17
2023-02-25 23:02:27 +00:00
Norbert Melzer
d6f93d07b4
Merge pull request #210627 from wizeman/u/fix-fstar
2023-02-25 22:03:46 +01:00
Weijia Wang
c8ba046415
Merge pull request #217897 from DavidCromp/nest
...
nest: fix Python & Darwin
2023-02-25 19:47:22 +02:00
DavidCromp
5ce4a02687
nest: fix Python & Darwin
...
Removed auto-patch-elf and replaced with find command that moves
libraries where they are expected by nest. Auto-patchelf isn't
supported on aarch64, so I copied my local derivation fix I've been
using.
PyNEST also requires numpy, so that has been added to
propagatedbuildinputs.
Also added support for OpenMP on Darwin.
2023-02-25 10:28:59 -05:00
Artturi
8e027ec1d1
Merge pull request #218240 from amesgen/tandem-aligner-fix-build-gcc-12
2023-02-25 15:35:12 +02:00
amesgen
a85b73c514
tandem-aligner: fix build with GCC 12
2023-02-25 13:40:11 +01:00