gitdir: ../../.git/modules/contrib/ipopt
