File tree Expand file tree Collapse file tree 1 file changed +2
-19
lines changed
Expand file tree Collapse file tree 1 file changed +2
-19
lines changed Original file line number Diff line number Diff line change 1010 cplex ,
1111 fatrop ,
1212 fetchFromGitHub ,
13- fetchpatch ,
1413 gurobi ,
1514 highs ,
1615 hpipm ,
3736
3837stdenv . mkDerivation ( finalAttrs : {
3938 pname = "casadi" ;
40- version = "3.6.6 " ;
39+ version = "3.6.7 " ;
4140
4241 src = fetchFromGitHub {
4342 owner = "casadi" ;
4443 repo = "casadi" ;
4544 rev = finalAttrs . version ;
46- hash = "sha256-T4aaBS918NbUEwWkSx0URi0W9uhCB8IFmzRcOR7T8Og =" ;
45+ hash = "sha256-Mft0qhjdAbU82RgjYuKue5p7EqbTbt3ii5yXSsCFHrQ =" ;
4746 } ;
4847
49- patches = [
50- # Fix build with system spral
51- # This was merged upstream and can be removed on next release
52- ( fetchpatch {
53- name = "add-FindSPRAL.cmake.patch" ;
54- url = "https://github.com/casadi/casadi/pull/3792/commits/28bc1b03e67ae06dea0c8557057020f5651be7ad.patch" ;
55- hash = "sha256-t0+RnXoFakmoX93MhN08RWAbCg6Nerh42LicBBgAkRQ=" ;
56- } )
57- # Fix build with fatrop
58- # This was merged upstream and can be removed on next release
59- ( fetchpatch {
60- url = "https://github.com/casadi/casadi/pull/3832/commits/4d4edb21521817fc980da5e570a607ad2f15aaa2.patch" ;
61- hash = "sha256-ui8pMaBz848Yv5xNlruPp9IFUhc97ZgvXGXqpxJG1Es=" ;
62- } )
63- ] ;
64-
6548 postPatch =
6649 ''
6750 # fix case of hpipmConfig.cmake
You can’t perform that action at this time.
0 commit comments