diff options
| author | Sergei Trofimovich <slyich@gmail.com> | 2024-02-09 22:59:09 +0000 |
|---|---|---|
| committer | Sergei Trofimovich <slyich@gmail.com> | 2024-02-11 19:47:22 +0000 |
| commit | 016be1d8b30166a4b4d8e2f6864f1575be74fe0e (patch) | |
| tree | 2672f1d582dddb62a888be02b123d4fa2091d164 /pkgs/development/python-modules/python-openstackclient/git@git.tavy.me:nixos | |
| parent | 442d407992384ed9c0e6d352de75b69079904e4e (diff) | |
lean3: fix `gcc-13` build failure)
Without the change the build fails on `master` as https://hydra.nixos.org/build/247665202:
/build/source/src/shell/lean_js.h:11:32: error: 'uintptr_t' was not declared in this scope
11 | int emscripten_process_request(uintptr_t msg);
| ^~~~~~~~~
Diffstat (limited to 'pkgs/development/python-modules/python-openstackclient/git@git.tavy.me:nixos')
0 files changed, 0 insertions, 0 deletions