Fix compilation issues is certain situations.

libraries/SPI/src/SPI.h

@@ -22,6 +22,7 @@
 #define _SPI_H_INCLUDED
 
 #include <stdlib.h>
+#include "pins_arduino.h"
 #include "esp32-hal-spi.h"
 
 class SPISettings

variants/esp32/pins_arduino.h

 #ifndef Pins_Arduino_h
 #define Pins_Arduino_h
 
+#include <stdint.h>
+
 #define EXTERNAL_NUM_INTERRUPTS 16
 #define NUM_DIGITAL_PINS        40
 #define NUM_ANALOG_INPUTS       16

variants/esp320/pins_arduino.h

 #ifndef Pins_Arduino_h
 #define Pins_Arduino_h
 
+#include <stdint.h>
+
 #define EXTERNAL_NUM_INTERRUPTS 11
 #define NUM_DIGITAL_PINS        12
 #define NUM_ANALOG_INPUTS       5

variants/esp32thing/pins_arduino.h

 #ifndef Pins_Arduino_h
 #define Pins_Arduino_h
 
+#include <stdint.h>
+
 #define EXTERNAL_NUM_INTERRUPTS 16
 #define NUM_DIGITAL_PINS        40
 #define NUM_ANALOG_INPUTS       16

variants/espea32/pins_arduino.h

 #ifndef Pins_Arduino_h
 #define Pins_Arduino_h
 
+#include <stdint.h>
+
 #define EXTERNAL_NUM_INTERRUPTS 16
 #define NUM_DIGITAL_PINS        40
 #define NUM_ANALOG_INPUTS       16

variants/firebeetle32/pins_arduino.h

 #ifndef Pins_Arduino_h
 #define Pins_Arduino_h
 
+#include <stdint.h>
+
 #define EXTERNAL_NUM_INTERRUPTS 16
 #define NUM_DIGITAL_PINS        40
 #define NUM_ANALOG_INPUTS       16

variants/hornbill32dev/pins_arduino.h

 #ifndef Pins_Arduino_h
 #define Pins_Arduino_h
 
+#include <stdint.h>
+
 #define EXTERNAL_NUM_INTERRUPTS 16
 #define NUM_DIGITAL_PINS        40
 #define NUM_ANALOG_INPUTS       16

variants/hornbill32minima/pins_arduino.h

 #ifndef Pins_Arduino_h
 #define Pins_Arduino_h
 
+#include <stdint.h>
+
 #define EXTERNAL_NUM_INTERRUPTS 16
 #define NUM_DIGITAL_PINS        40
 #define NUM_ANALOG_INPUTS       16

variants/lolin32/pins_arduino.h

 #ifndef Pins_Arduino_h
 #define Pins_Arduino_h
 
+#include <stdint.h>
+
 #define EXTERNAL_NUM_INTERRUPTS 16
 #define NUM_DIGITAL_PINS        40
 #define NUM_ANALOG_INPUTS       16

variants/nano32/pins_arduino.h

 #ifndef Pins_Arduino_h
 #define Pins_Arduino_h
 
+#include <stdint.h>
+
 #define EXTERNAL_NUM_INTERRUPTS 16
 #define NUM_DIGITAL_PINS        38
 #define NUM_ANALOG_INPUTS       16

variants/node32s/pins_arduino.h

 #ifndef Pins_Arduino_h
 #define Pins_Arduino_h
 
+#include <stdint.h>
+
 #define EXTERNAL_NUM_INTERRUPTS 16
 #define NUM_DIGITAL_PINS        40
 #define NUM_ANALOG_INPUTS       16

variants/quantum/pins_arduino.h

 #ifndef Pins_Arduino_h
 #define Pins_Arduino_h
 
+#include <stdint.h>
+
 #define EXTERNAL_NUM_INTERRUPTS 16
 #define NUM_DIGITAL_PINS        40
 #define NUM_ANALOG_INPUTS       16