| 1 | This patch updates the integer types used in two of the dolfin header files.
|
| 2 | The changes enable building with gcc-13 and above.
|
| 3 |
|
| 4 | See <https://gcc.gnu.org/gcc-13/porting_to.html> for the porting notes.
|
| 5 |
|
| 6 | See <https://bitbucket.org/fenics-project/dolfin/commits/d56b1b082c50d846fb5bbe4971799ab9ecb21a24> for the upstream fix.
|
| 7 |
|
| 8 | |
| 9 | |
| 10 | @@ -39,7 +39,7 @@
|
| 11 | ///
|
| 12 | /// Precision of wall is around 1 microsecond, user and system are around
|
| 13 | /// 10 millisecond (on Linux).
|
| 14 | - enum class TimingType : int32_t { wall = 0, user = 1, system = 2 };
|
| 15 | + enum class TimingType : int { wall = 0, user = 1, system = 2 };
|
| 16 |
|
| 17 | /// Start timing (should not be used internally in DOLFIN!)
|
| 18 | void tic();
|
| 19 |
|
| 20 | |
| 21 | |
| 22 | @@ -24,5 +24,7 @@
|
| 23 | #include <vector>
|
| 24 | #include <dolfin/log/log.h>
|
| 25 |
|
| 26 | +#include <cstdint>
|
| 27 | +
|
| 28 | namespace dolfin
|
| 29 | {
|