Add the external directory gmp-api to gitignore