diff options
| author | V3n3RiX <venerix@koprulu.sector> | 2023-04-18 17:55:42 +0100 |
|---|---|---|
| committer | V3n3RiX <venerix@koprulu.sector> | 2023-04-18 17:55:42 +0100 |
| commit | b481b54b8432c46df354eedc3532b0420a38fd5a (patch) | |
| tree | 02cc62a183cabccf4aa944e0d15b047b383abf16 /sci-mathematics/lean/files/lean-3.50.3-gcc-13.patch | |
| parent | 7288c6e5fa05acddbf692a5187d925ef85662b46 (diff) | |
gentoo auto-resync : 18:04:2023 - 17:55:41
Diffstat (limited to 'sci-mathematics/lean/files/lean-3.50.3-gcc-13.patch')
| -rw-r--r-- | sci-mathematics/lean/files/lean-3.50.3-gcc-13.patch | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/sci-mathematics/lean/files/lean-3.50.3-gcc-13.patch b/sci-mathematics/lean/files/lean-3.50.3-gcc-13.patch new file mode 100644 index 000000000000..273dd5161080 --- /dev/null +++ b/sci-mathematics/lean/files/lean-3.50.3-gcc-13.patch @@ -0,0 +1,10 @@ +--- a/shell/lean_js_main.cpp ++++ b/shell/lean_js_main.cpp +@@ -4,6 +4,7 @@ Released under Apache 2.0 license as described in the file LICENSE. + + Author: Leonardo de Moura + */ ++#include <cstdint> + #include <iostream> + #include <string> + #include "shell/lean_js.h" |