Synthetic turbulence: unknown type name ‘uint32_t’

Errors
1

Hello,
I installed develop version of PyFR proper, when I use synthetic turbulence, the following error occurred. Do you know how to fix it?

pytools.prefork.ExecError: error invoking 'cc -shared -std=c11 -Ofast -march=native -fopenmp -fPIC -o libtmp.so tmp.c -lm': status 1 invoking 'cc -shared -std=c11 -Ofast -march=native -fopenmp -fPIC -o libtmp.so tmp.c -lm': tmp.c:26:7: error: unknown type name ‘uint32_t’
   26 | const uint32_t* state_v;
      |       ^~~~~~~~
tmp.c: In function ‘negdivconf’:
tmp.c:38:7: error: unknown type name ‘uint32_t’
   38 | const uint32_t* state_v = args->state_v + ((_disp_mask & 32) ? 0 : _ib*BLK_SZ*6);
      |       ^~~~~~~~
tmp.c:63:3: error: unknown type name ‘uint32_t’
   63 |   uint32_t oldstate_, newstate_, rshift_;
      |   ^~~~~~~~
tmp.c:287:3: error: unknown type name ‘uint32_t’
  287 |   uint32_t oldstate_, newstate_, rshift_;
      |   ^~~~~~~~

p.c:38:7: error: unknown type name ‘uint32_t’
   38 | const uint32_t* state_v = args->state_v + ((_disp_mask & 32) ? 0 : _ib*BLK_SZ*6);
      |       ^~~~~~~~
tmp.c:63:3: error: unknown type name ‘uint32_t’
   63 |   uint32_t oldstate_, newstate_, rshift_;
      |   ^~~~~~~~
tmp.c:287:3: error: unknown type name ‘uint32_t’
  287 |   uint32_t oldstate_, newstate_, rshift_;
      |   ^~~~~~~~

p.c:38:7: error: unknown type name ‘uint32_t’
   38 | const uint32_t* state_v = args->state_v + ((_disp_mask & 32) ? 0 : _ib*BLK_SZ*6);
      |       ^~~~~~~~
tmp.c:63:3: error: unknown type name ‘uint32_t’
   63 |   uint32_t oldstate_, newstate_, rshift_;
      |   ^~~~~~~~
tmp.c:287:3: error: unknown type name ‘uint32_t’
  287 |   uint32_t oldstate_, newstate_, rshift_;
      |   ^~~~~~~~

p.c:38:7: error: unknown type name ‘uint32_t’
   38 | const uint32_t* state_v = args->state_v + ((_disp_mask & 32) ? 0 : _ib*BLK_SZ*6);
      |       ^~~~~~~~
tmp.c:63:3: error: unknown type name ‘uint32_t’
   63 |   uint32_t oldstate_, newstate_, rshift_;
      |   ^~~~~~~~
tmp.c:287:3: error: unknown type name ‘uint32_t’
  287 |   uint32_t oldstate_, newstate_, rshift_;
      |   ^~~~~~~~

p.c:38:7: error: unknown type name ‘uint32_t’
   38 | const uint32_t* state_v = args->state_v + ((_disp_mask & 32) ? 0 : _ib*BLK_SZ*6);
      |       ^~~~~~~~
tmp.c:63:3: error: unknown type name ‘uint32_t’
   63 |   uint32_t oldstate_, newstate_, rshift_;
      |   ^~~~~~~~
tmp.c:287:3: error: unknown type name ‘uint32_t’
  287 |   uint32_t oldstate_, newstate_, rshift_;
      |   ^~~~~~~~

p.c:38:7: error: unknown type name ‘uint32_t’
   38 | const uint32_t* state_v = args->state_v + ((_disp_mask & 32) ? 0 : _ib*BLK_SZ*6);
      |       ^~~~~~~~
tmp.c:63:3: error: unknown type name ‘uint32_t’
   63 |   uint32_t oldstate_, newstate_, rshift_;
      |   ^~~~~~~~
tmp.c:287:3: error: unknown type name ‘uint32_t’
  287 |   uint32_t oldstate_, newstate_, rshift_;
      |   ^~~~~~~~

p.c:38:7: error: unknown type name ‘uint32_t’
   38 | const uint32_t* state_v = args->state_v + ((_disp_mask & 32) ? 0 : _ib*BLK_SZ*6);
      |       ^~~~~~~~
tmp.c:63:3: error: unknown type name ‘uint32_t’
   63 |   uint32_t oldstate_, newstate_, rshift_;
      |   ^~~~~~~~
tmp.c:287:3: error: unknown type name ‘uint32_t’
  287 |   uint32_t oldstate_, newstate_, rshift_;
      |   ^~~~~~~~

p.c:38:7: error: unknown type name ‘uint32_t’
   38 | const uint32_t* state_v = args->state_v + ((_disp_mask & 32) ? 0 : _ib*BLK_SZ*6);
      |       ^~~~~~~~
tmp.c:63:3: error: unknown type name ‘uint32_t’
   63 |   uint32_t oldstate_, newstate_, rshift_;
      |   ^~~~~~~~
tmp.c:287:3: error: unknown type name ‘uint32_t’
  287 |   uint32_t oldstate_, newstate_, rshift_;
      |   ^~~~~~~~

p.c:38:7: error: unknown type name ‘uint32_t’
   38 | const uint32_t* state_v = args->state_v + ((_disp_mask & 32) ? 0 : _ib*BLK_SZ*6);
      |       ^~~~~~~~
tmp.c:63:3: error: unknown type name ‘uint32_t’
   63 |   uint32_t oldstate_, newstate_, rshift_;
      |   ^~~~~~~~
tmp.c:287:3: error: unknown type name ‘uint32_t’
  287 |   uint32_t oldstate_, newstate_, rshift_;
      |   ^~~~~~~~

p.c:38:7: error: unknown type name ‘uint32_t’
   38 | const uint32_t* state_v = args->state_v + ((_disp_mask & 32) ? 0 : _ib*BLK_SZ*6);
      |       ^~~~~~~~
tmp.c:63:3: error: unknown type name ‘uint32_t’
   63 |   uint32_t oldstate_, newstate_, rshift_;
      |   ^~~~~~~~
tmp.c:287:3: error: unknown type name ‘uint32_t’
  287 |   uint32_t oldstate_, newstate_, rshift_;
      |   ^~~~~~~~

p.c:38:7: error: unknown type name ‘uint32_t’
   38 | const uint32_t* state_v = args->state_v + ((_disp_mask & 32) ? 0 : _ib*BLK_SZ*6);
      |       ^~~~~~~~
tmp.c:63:3: error: unknown type name ‘uint32_t’
   63 |   uint32_t oldstate_, newstate_, rshift_;
      |   ^~~~~~~~
tmp.c:287:3: error: unknown type name ‘uint32_t’
  287 |   uint32_t oldstate_, newstate_, rshift_;
      |   ^~~~~~~~

p.c:38:7: error: unknown type name ‘uint32_t’
   38 | const uint32_t* state_v = args->state_v + ((_disp_mask & 32) ? 0 : _ib*BLK_SZ*6);
      |       ^~~~~~~~
tmp.c:63:3: error: unknown type name ‘uint32_t’
   63 |   uint32_t oldstate_, newstate_, rshift_;
      |   ^~~~~~~~
tmp.c:287:3: error: unknown type name ‘uint32_t’
  287 |   uint32_t oldstate_, newstate_, rshift_;
      |   ^~~~~~~~

p.c:38:7: error: unknown type name ‘uint32_t’
   38 | const uint32_t* state_v = args->state_v + ((_disp_mask & 32) ? 0 : _ib*BLK_SZ*6);
      |       ^~~~~~~~
tmp.c:63:3: error: unknown type name ‘uint32_t’
   63 |   uint32_t oldstate_, newstate_, rshift_;
      |   ^~~~~~~~
tmp.c:287:3: error: unknown type name ‘uint32_t’
  287 |   uint32_t oldstate_, newstate_, rshift_;
      |   ^~~~~~~~

p.c:38:7: error: unknown type name ‘uint32_t’
   38 | const uint32_t* state_v = args->state_v + ((_disp_mask & 32) ? 0 : _ib*BLK_SZ*6);
      |       ^~~~~~~~
tmp.c:63:3: error: unknown type name ‘uint32_t’
   63 |   uint32_t oldstate_, newstate_, rshift_;
      |   ^~~~~~~~
tmp.c:287:3: error: unknown type name ‘uint32_t’
  287 |   uint32_t oldstate_, newstate_, rshift_;
      |   ^~~~~~~~

p.c:38:7: error: unknown type name ‘uint32_t’
   38 | const uint32_t* state_v = args->state_v + ((_disp_mask & 32) ? 0 : _ib*BLK_SZ*6);
      |       ^~~~~~~~
tmp.c:63:3: error: unknown type name ‘uint32_t’
   63 |   uint32_t oldstate_, newstate_, rshift_;
      |   ^~~~~~~~
tmp.c:287:3: error: unknown type name ‘uint32_t’
  287 |   uint32_t oldstate_, newstate_, rshift_;
      |   ^~~~~~~~

p.c:38:7: error: unknown type name ‘uint32_t’
   38 | const uint32_t* state_v = args->state_v + ((_disp_mask & 32) ? 0 : _ib*BLK_SZ*6);
      |       ^~~~~~~~
tmp.c:63:3: error: unknown type name ‘uint32_t’
   63 |   uint32_t oldstate_, newstate_, rshift_;
      |   ^~~~~~~~
tmp.c:287:3: error: unknown type name ‘uint32_t’
  287 |   uint32_t oldstate_, newstate_, rshift_;
      |   ^~~~~~~~

p.c:38:7: error: unknown type name ‘uint32_t’
   38 | const uint32_t* state_v = args->state_v + ((_disp_mask & 32) ? 0 : _ib*BLK_SZ*6);
      |       ^~~~~~~~
tmp.c:63:3: error: unknown type name ‘uint32_t’
   63 |   uint32_t oldstate_, newstate_, rshift_;
      |   ^~~~~~~~
tmp.c:287:3: error: unknown type name ‘uint32_t’
  287 |   uint32_t oldstate_, newstate_, rshift_;
      |   ^~~~~~~~

p.c:38:7: error: unknown type name ‘uint32_t’
   38 | const uint32_t* state_v = args->state_v + ((_disp_mask & 32) ? 0 : _ib*BLK_SZ*6);
      |       ^~~~~~~~
tmp.c:63:3: error: unknown type name ‘uint32_t’
   63 |   uint32_t oldstate_, newstate_, rshift_;
      |   ^~~~~~~~
tmp.c:287:3: error: unknown type name ‘uint32_t’
  287 |   uint32_t oldstate_, newstate_, rshift_;
      |   ^~~~~~~~

p.c:38:7: error: unknown type name ‘uint32_t’
   38 | const uint32_t* state_v = args->state_v + ((_disp_mask & 32) ? 0 : _ib*BLK_SZ*6);
      |       ^~~~~~~~
tmp.c:63:3: error: unknown type name ‘uint32_t’
   63 |   uint32_t oldstate_, newstate_, rshift_;
      |   ^~~~~~~~
tmp.c:287:3: error: unknown type name ‘uint32_t’
  287 |   uint32_t oldstate_, newstate_, rshift_;
      |   ^~~~~~~~

p.c:38:7: error: unknown type name ‘uint32_t’
   38 | const uint32_t* state_v = args->state_v + ((_disp_mask & 32) ? 0 : _ib*BLK_SZ*6);
      |       ^~~~~~~~
tmp.c:63:3: error: unknown type name ‘uint32_t’
   63 |   uint32_t oldstate_, newstate_, rshift_;
      |   ^~~~~~~~
tmp.c:287:3: error: unknown type name ‘uint32_t’
  287 |   uint32_t oldstate_, newstate_, rshift_;
      |   ^~~~~~~~

p.c:38:7: error: unknown type name ‘uint32_t’
   38 | const uint32_t* state_v = args->state_v + ((_disp_mask & 32) ? 0 : _ib*BLK_SZ*6);
      |       ^~~~~~~~
tmp.c:63:3: error: unknown type name ‘uint32_t’
   63 |   uint32_t oldstate_, newstate_, rshift_;
      |   ^~~~~~~~
tmp.c:287:3: error: unknown type name ‘uint32_t’
  287 |   uint32_t oldstate_, newstate_, rshift_;
      |   ^~~~~~~~

p.c:38:7: error: unknown type name ‘uint32_t’
   38 | const uint32_t* state_v = args->state_v + ((_disp_mask & 32) ? 0 : _ib*BLK_SZ*6);
      |       ^~~~~~~~
tmp.c:63:3: error: unknown type name ‘uint32_t’
   63 |   uint32_t oldstate_, newstate_, rshift_;
      |   ^~~~~~~~
tmp.c:287:3: error: unknown type name ‘uint32_t’
  287 |   uint32_t oldstate_, newstate_, rshift_;
      |   ^~~~~~~~

p.c:38:7: error: unknown type name ‘uint32_t’
   38 | const uint32_t* state_v = args->state_v + ((_disp_mask & 32) ? 0 : _ib*BLK_SZ*6);
      |       ^~~~~~~~
tmp.c:63:3: error: unknown type name ‘uint32_t’
   63 |   uint32_t oldstate_, newstate_, rshift_;
      |   ^~~~~~~~
tmp.c:287:3: error: unknown type name ‘uint32_t’
  287 |   uint32_t oldstate_, newstate_, rshift_;
      |   ^~~~~~~~

p.c:38:7: error: unknown type name ‘uint32_t’
   38 | const uint32_t* state_v = args->state_v + ((_disp_mask & 32) ? 0 : _ib*BLK_SZ*6);
      |       ^~~~~~~~
tmp.c:63:3: error: unknown type name ‘uint32_t’
   63 |   uint32_t oldstate_, newstate_, rshift_;
      |   ^~~~~~~~
tmp.c:287:3: error: unknown type name ‘uint32_t’
  287 |   uint32_t oldstate_, newstate_, rshift_;
      |   ^~~~~~~~

p.c:38:7: error: unknown type name ‘uint32_t’
   38 | const uint32_t* state_v = args->state_v + ((_disp_mask & 32) ? 0 : _ib*BLK_SZ*6);
      |       ^~~~~~~~
tmp.c:63:3: error: unknown type name ‘uint32_t’
   63 |   uint32_t oldstate_, newstate_, rshift_;
      |   ^~~~~~~~
tmp.c:287:3: error: unknown type name ‘uint32_t’
  287 |   uint32_t oldstate_, newstate_, rshift_;
      |   ^~~~~~~~

p.c:38:7: error: unknown type name ‘uint32_t’
   38 | const uint32_t* state_v = args->state_v + ((_disp_mask & 32) ? 0 : _ib*BLK_SZ*6);
      |       ^~~~~~~~
tmp.c:63:3: error: unknown type name ‘uint32_t’
   63 |   uint32_t oldstate_, newstate_, rshift_;
      |   ^~~~~~~~
tmp.c:287:3: error: unknown type name ‘uint32_t’
  287 |   uint32_t oldstate_, newstate_, rshift_;
      |   ^~~~~~~~

p.c:38:7: error: unknown type name ‘uint32_t’
   38 | const uint32_t* state_v = args->state_v + ((_disp_mask & 32) ? 0 : _ib*BLK_SZ*6);
      |       ^~~~~~~~
tmp.c:63:3: error: unknown type name ‘uint32_t’
   63 |   uint32_t oldstate_, newstate_, rshift_;
      |   ^~~~~~~~
tmp.c:287:3: error: unknown type name ‘uint32_t’
  287 |   uint32_t oldstate_, newstate_, rshift_;
      |   ^~~~~~~~

p.c:38:7: error: unknown type name ‘uint32_t’
   38 | const uint32_t* state_v = args->state_v + ((_disp_mask & 32) ? 0 : _ib*BLK_SZ*6);
      |       ^~~~~~~~
tmp.c:63:3: error: unknown type name ‘uint32_t’
   63 |   uint32_t oldstate_, newstate_, rshift_;
      |   ^~~~~~~~
tmp.c:287:3: error: unknown type name ‘uint32_t’
  287 |   uint32_t oldstate_, newstate_, rshift_;
      |   ^~~~~~~~

p.c:38:7: error: unknown type name ‘uint32_t’
   38 | const uint32_t* state_v = args->state_v + ((_disp_mask & 32) ? 0 : _ib*BLK_SZ*6);
      |       ^~~~~~~~
tmp.c:63:3: error: unknown type name ‘uint32_t’
   63 |   uint32_t oldstate_, newstate_, rshift_;
      |   ^~~~~~~~
tmp.c:287:3: error: unknown type name ‘uint32_t’
  287 |   uint32_t oldstate_, newstate_, rshift_;
      |   ^~~~~~~~
2

Can you provide a little more information? Which backend are you running on?

3

I used openmp, python3.10, and use “mpiexec -n 32 pyfr run -b openmp mesh config” to run.

4

By any chance are you using windows subsystem for linux?

5

No, I didn’t use windows subsystem for linux.

6

Can you try with:

Regards, Freddie.

7

If I don’t use synthetic turbulence, it works without error.