freenode/#clasp - IRC Chatlog Search Sunday, 13th of October 2019, 3:42:57 UTC 4:15:36 beach Good morning everyone! 5:22:54 drmeister fiddlerwoaroof: Let's take a look at it on Monday. I'm tied up writing an important proposal tomorrow. 9:06:09 selwyn good morning beach 14:50:35 kpoeck fiddlerwoaroof: _mp_size is from gmp, so you probably don't have gmp installed properly. In my case _mp_size is defined in /usr/local/Cellar/gmp/6.1.2_2/include/gmp.h 14:51:22 kpoeck And please consult https://github.com/clasp-developers/clasp/wiki/Build-Instructions