installing espruino on stm32F100 based diy project

You could try adding DEFINES+=-DPIN_NAMES_DIRECT=1 to the python file (check out PICO_R1_3.py for an example).

If the package is such that not all pins on a port are brought out it can break the pin naming, so that could be an issue. You could also try explicitly setting the default_console device to Serial1 and see if that helps?