7c6f434c
91c498f0f2
Merge pull request #173543 from collares/sage-gdlib
...
sageWithDoc: clean up sagedoc.nix
2022-05-21 04:31:03 +00:00
Mauricio Collares
727e5a1473
sageWithDoc: cleanup sagedoc.nix
2022-05-20 11:03:25 -07:00
Sandro
9c03535bdd
Merge pull request #147486 from pmiddend/crystfel-init
...
CrystFEL: init at 0.10.1
2022-05-20 15:01:53 +02:00
Sandro
ed58443645
Merge pull request #173172 from Artturin/deprecatestringconf
...
stdenv: start deprecating non-list configureFlags
2022-05-19 11:25:24 +02:00
Sergei Trofimovich
68f3647eae
Merge pull request #172998 from trofi/workaround-fno-common-for-eukleides
...
eukleides: add -fcommon workaround
2022-05-19 07:09:54 +00:00
Mauricio Collares
21ae98f5f0
sageWithDoc: add sage-with-env to buildInputs
2022-05-18 15:53:02 -07:00
Vincent Laporte
4a87fcbc86
why3: 1.4.1 → 1.5.0
...
easycrypt: fix build with why3-1.5.0
frama-c: build with why3 1.4.1
2022-05-19 00:13:20 +02:00
Vincent Laporte
6e3a86f2f7
why3.withProvers: fix #168644
2022-05-19 00:09:30 +02:00
Artturin
cf7476804a
treewide: convert string configureFlags to list of strings
2022-05-18 20:32:33 +03:00
Gabriel Ebner
cc24423641
Merge pull request #170265 from collares/lean-3.42.1
...
lean: 3.42.0 -> 3.43.0
2022-05-18 17:24:31 +02:00
Mauricio Collares
4b37f16232
lean: 3.42.1 -> 3.43.0
2022-05-18 10:30:32 -04:00
Mauricio Collares
0a449d8fff
lean: 3.42.0 -> 3.42.1
2022-05-18 10:27:18 -04:00
Someone Serge
b96c7caea6
mxnet: mark cuda build as broken
2022-05-18 09:48:45 +03:00
Robert Scott
39369610f8
Merge pull request #173333 from veprbl/pr/xfitter_fix
...
xfitter: fix for gfortran10+
2022-05-17 23:02:47 +01:00
Fabian Affolter
44b8ec5ccb
Merge pull request #173416 from r-ryantm/auto-update/snakemake
...
snakemake: 7.6.2 -> 7.7.0
2022-05-17 20:39:48 +02:00
Ben Darwin
5cf446f41b
ezminc: mark broken
...
Package refuses to build with current GCC (11), but building with older
GCC causes error linking libminc and I don't want to pin a bunch of
deps.
A newer version is available upstream but it only works with ITK 5.0
(see https://github.com/BIC-MNI/EZminc/issues/15 ),
but we have 4.x and 5.2.x in tree and I'm reluctant to add 5.0 just for
one package (even ITK 4.x is only used by ants and ezminc and should be
removed as soon as ants is upgraded).
2022-05-17 10:24:07 -07:00
R. Ryantm
a52b64015a
snakemake: 7.6.2 -> 7.7.0
2022-05-17 16:18:18 +00:00
Dmitry Kalinkin
1c78ce70fa
xfitter: fix for gfortran10+
2022-05-16 22:07:39 -04:00
Robert Scott
4f7d4241c2
Merge pull request #173279 from veprbl/pr/root5_fix
...
root5: fix build with recent gcc
2022-05-16 22:18:29 +01:00
Dmitry Kalinkin
fdf0806386
root5: fix build with recent gcc
2022-05-16 11:53:42 -04:00
7c6f434c
1d4c47ea08
Merge pull request #171511 from collares/sage-9.6
...
sage: 9.5 -> 9.6
2022-05-16 09:51:47 +00:00
Mauricio Collares
26a87ada65
sage: 9.5 -> 9.6
2022-05-15 19:23:40 -04:00
Dmitry Kalinkin
8e24a6db2e
nnpdf: init at 4.0.4
2022-05-15 16:00:00 -07:00
Mauricio Collares
10b16ea5e7
sageWithDoc: make jupyter-sphinx available for docbuild
2022-05-15 12:45:25 -04:00
Mauricio Collares
09ab2aba13
lrcalc: 1.2 -> 2.1
2022-05-15 12:45:24 -04:00
Jörg Thalheim
3d4109f3a4
Merge pull request #172588 from res0Nanz/patch-1
...
wolfram-engine: fix quotes in installation script
2022-05-14 19:27:38 +01:00
AndersonTorres
91621176e0
primecount: 7.2 -> 7.3
2022-05-14 11:01:08 -03:00
AndersonTorres
d488388cfc
primesieve: 7.8 -> 7.9
2022-05-14 10:56:13 -03:00
Sergei Trofimovich
d45dfee2d6
eukleides: add -fcommon workaround
...
Workaround build failure on -fno-common toolchains like upstream
gcc-10. Otherwise build fails as:
ld: eukleides_build/triangle.o:(.bss+0x28): multiple definition of `A';
eukleides_build/quadrilateral.o:(.bss+0x18): first defined here
2022-05-14 10:28:22 +01:00
tomberek
ca885c3ac1
Merge pull request #172933 from armeenm/bump-alliance
...
alliance: unstable-2021-09-15 -> unstable-2022-01-13
2022-05-14 00:25:21 -04:00
Armeen Mahdian
d912addd5a
alliance: unstable-2021-09-15 -> unstable-2022-01-13
2022-05-13 17:18:09 -05:00
Sergei Trofimovich
ff22bc1ff6
chemtool: add -fcommon workaround
...
Workaround build failure on -fno-common toolchains like upstream
gcc-10. Otherwise build fails as:
ld: inout.o:/build/chemtool-1.6.14/ct1.h:279: multiple definition of
`outtype'; draw.o:/build/chemtool-1.6.14/ct1.h:279: first defined here
2022-05-13 21:30:28 +01:00
Gabriel Ebner
d04ae3049e
Merge pull request #172885 from armeenm/fix-aspino
...
aspino: 2017-03-09 -> 2018-03-24
2022-05-13 18:39:20 +02:00
markuskowa
78075c4443
Merge pull request #172868 from markuskowa/upd-molcas
...
openmolcas: 21.10 -> 22.02
2022-05-13 18:07:39 +02:00
Armeen Mahdian
f779b60d20
aspino: 2017-03-09 -> 2018-03-24
2022-05-13 10:53:37 -05:00
Markus Kowalewski
45083c5d1d
openmolcas: 21.10 -> 22.02
...
* make MPI optional instead of default
* allow optional MKL build/switch wrapped BLAS interface
2022-05-13 17:06:11 +02:00
Sandro
741d2d2578
Merge pull request #172846 from LeSuisse/bayescan-c++14-zhf
...
bayescan: fix the build
2022-05-13 17:03:05 +02:00
Guanpeng Xu
cefda1c7ca
Mathematica: refactored ( #172136 )
2022-05-13 14:16:50 +00:00
Thomas Gerbet
44c1590f1f
bayescan: fix the build
...
Moved back to C++14 to avoid the new errors and warnings introduced with
C++17.
2022-05-13 12:00:08 +02:00
Philipp Middendorf
93332c2779
CrystFEL: init at 0.10.1
2022-05-13 07:09:53 +02:00
Vincent Laporte
1f11888116
Revert "coqPackages: etc"
...
This reverts commit 7e589a45ef
.
2022-05-13 06:47:14 +02:00
Vincent Laporte
215235cce5
Revert "moving findlib to propagedNativeBuildInputs"
...
This reverts commit 82440c9374
.
2022-05-13 06:47:14 +02:00
Thiago Kenji Okada
eae1669de5
Merge pull request #171836 from ncfavier/escape-wrapper-args
...
Fix wrapper arguments escaping
2022-05-12 21:55:06 +01:00
Thomas Gerbet
1ba72de384
ripser: 1.0.0 -> 1.2.1
...
https://github.com/Ripser/ripser/releases/tag/v1.0.1
https://github.com/Ripser/ripser/releases/tag/v1.1
https://github.com/Ripser/ripser/releases/tag/v1.2
https://github.com/Ripser/ripser/releases/tag/v1.2.1
2022-05-12 08:26:44 -07:00
Thiago Kenji Okada
1919e181fb
Merge pull request #172641 from WolfangAukang/monosat-fix
...
python3Packages.monosat: disable failing tests
2022-05-12 10:01:16 +01:00
Rick van Schijndel
716bc55f98
Merge pull request #172443 from a-m-joseph/pr/zhf/vhd2vl
...
vhd2vl: fix the tests
2022-05-12 10:06:04 +02:00
Adam Joseph
5d44c9a222
vhd2vl: fix the tests
...
The testing scheme for vhd2vl is sensitive to subtle shifts in
iverilog's parenthesization choices, meaning that the golden test
outputs require constant maintenance.
The patch previously applied in order to deal with this situation is
no longer sufficient, so a patch which is sufficient has been added.
Also, the `buildTargets` and `checkTarget` attributes have been set,
so future benign failures of this sort can be dealt with through
`doCheck=false` in a pinch.
2022-05-11 23:59:59 -07:00
Cyril Cohen
82440c9374
moving findlib to propagedNativeBuildInputs
2022-05-12 06:11:43 +02:00
Cyril Cohen
7e589a45ef
coqPackages: etc
...
- use propagatedBuildInputs to make sure ocaml plugin stuff is in path
- updated coqPackage.heq (broken url)
- fixed use of `DESTDIR` and `COQMF_COQLIB` in mkCoqDerivation
- adding `COQCORELIB` environement variable to put ocaml plugin files in the right place
- make metaFetch available from `coqPackages`
2022-05-12 06:11:43 +02:00
P. R. d. O
17be6f75ce
python3Packages.monosat: disable failing tests
2022-05-11 18:29:58 -06:00