Probably? It seems to be implicitly expected to exist by the caravel Makefile. The repository is https://github.com/RTimothyEdwards/magic/