Which release of embedXcode are you using?
Which release of the Arduino IDE are you using?
Is the Arduino IDE installed on the folder /Applications?
Current version 17 of embedXcode doesn't invoque any HardwareSerial in the default sketch.
According to the messages, it seems Arduino 23 and 1.0 are mixed. Best solution consists on deleting the Arduino IDEs and proceeding with a clean install.