installing espruino on stm32F100 based diy project

Hi, Gordon. I updated my previous answer with a link to a full .c file.

I tried adding PIN_NAMES_DIRECT to my config like this

   'makefile' : [
     'DEFINES+=-DPIN_NAMES_DIRECT=1',
     'STLIB=STM32F401xE',
     'SAVE_ON_FLASH=1',
     'STLIB=STM32F10X_MD_VL',
     'PRECOMPILED_OBJS+=$(ROOT)/targetlibs/st­m32f1/lib/startup_stm32f10x_md_vl.o'
   ]

but it didn't change anything in jspininfo.h, jspininfo.c, platform_config.h after the build. What does this command even affect?

Here is my gen/platform_config.h file just for sure.