|
10 | 10 | cplex, |
11 | 11 | fatrop, |
12 | 12 | fetchFromGitHub, |
13 | | - fetchpatch, |
14 | 13 | gurobi, |
15 | 14 | highs, |
16 | 15 | hpipm, |
|
37 | 36 |
|
38 | 37 | stdenv.mkDerivation (finalAttrs: { |
39 | 38 | pname = "casadi"; |
40 | | - version = "3.6.6"; |
| 39 | + version = "3.6.7"; |
41 | 40 |
|
42 | 41 | src = fetchFromGitHub { |
43 | 42 | owner = "casadi"; |
44 | 43 | repo = "casadi"; |
45 | 44 | rev = finalAttrs.version; |
46 | | - hash = "sha256-T4aaBS918NbUEwWkSx0URi0W9uhCB8IFmzRcOR7T8Og="; |
| 45 | + hash = "sha256-Mft0qhjdAbU82RgjYuKue5p7EqbTbt3ii5yXSsCFHrQ="; |
47 | 46 | }; |
48 | 47 |
|
49 | | - patches = [ |
50 | | - (fetchpatch { |
51 | | - name = "add-FindSPRAL.cmake.patch"; |
52 | | - url = "https://github.com/casadi/casadi/pull/3792/commits/28bc1b03e67ae06dea0c8557057020f5651be7ad.patch"; |
53 | | - hash = "sha256-t0+RnXoFakmoX93MhN08RWAbCg6Nerh42LicBBgAkRQ="; |
54 | | - }) |
55 | | - ]; |
56 | | - |
57 | 48 | postPatch = |
58 | 49 | '' |
59 | | - # fix case of fatropConfig.cmake & hpipmConfig.cmake |
| 50 | + # fix case of hpipmConfig.cmake |
60 | 51 | substituteInPlace CMakeLists.txt --replace-fail \ |
61 | 52 | "FATROP HPIPM" \ |
62 | | - "fatrop hpipm" |
| 53 | + "FATROP hpipm" |
63 | 54 |
|
64 | 55 | # nix provide lib/clang headers in libclang, not in llvm. |
65 | 56 | substituteInPlace casadi/interfaces/clang/CMakeLists.txt --replace-fail \ |
66 | 57 | '$'{CLANG_LLVM_LIB_DIR} \ |
67 | 58 | ${llvmPackages_17.libclang.lib}/lib |
68 | 59 |
|
69 | | - # fix fatrop includes |
70 | | - substituteInPlace casadi/interfaces/fatrop/fatrop_conic_interface.hpp --replace-fail \ |
71 | | - "<ocp/" \ |
72 | | - "<fatrop/ocp/" |
73 | | -
|
74 | 60 | # fix mumps lib name. No idea where this comes from. |
75 | 61 | substituteInPlace cmake/FindMUMPS.cmake --replace-fail \ |
76 | 62 | "mumps_seq" \ |
@@ -173,7 +159,7 @@ stdenv.mkDerivation (finalAttrs: { |
173 | 159 | (lib.cmakeBool "WITH_CSPARSE" true) |
174 | 160 | (lib.cmakeBool "WITH_BLASFEO" true) |
175 | 161 | (lib.cmakeBool "WITH_HPIPM" true) |
176 | | - (lib.cmakeBool "WITH_FATROP" false) # invalid new-expression of abstract class type 'casadi::CasadiStructuredQP' |
| 162 | + (lib.cmakeBool "WITH_FATROP" true) |
177 | 163 | (lib.cmakeBool "WITH_BUILD_FATROP" false) |
178 | 164 | (lib.cmakeBool "WITH_SUPERSCS" false) # packaging too chaotic |
179 | 165 | (lib.cmakeBool "WITH_BUILD_OSQP" false) |
|
0 commit comments