JakeHillion/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
379,020 Commits 2 Branches 0 Tags 12 GiB
91814bb853
Commit Graph

6055 Commits

Author SHA1 Message Date
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
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
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
Sandro
324a5be95c
Merge pull request #172580 from collares/singular-osx 
singular: fix darwin build
 2022-05-12 01:33:52 +02:00
Yu-Chen Ding
e98f71d477
wolfram-engine: fix quotes in installation script 2022-05-12 01:29:53 +08:00
Mauricio Collares
15cf12c0ac singular: fix darwin build 2022-05-11 12:08:20 -04:00
Markus Kowalewski
1e2065983e
octopus: 11.3 -> 11.4 2022-05-11 14:01:02 +02:00
Theodore Ni
81046b393b
bowtie: fix build on case insensitive file systems 
Add a patch that removes the current source directory from the include
search path during compilation so that #include <version> does not end
up picking the VERSION source code file.
 2022-05-11 03:20:03 -05:00