Closed JasonGross closed 1 year ago
As per https://github.com/JasonGross/coq-tools/issues/176#issuecomment-1777726114, https://github.com/JasonGross/coq-tools/issues/176#issuecomment-1777764511, and https://github.com/JasonGross/coq-tools/issues/176#issuecomment-1781782890, we suggest passing --no-deps when make complains Argument list too long and No rule to make target '.*.glob'.
--no-deps
make
Argument list too long
No rule to make target '.*.glob'
Hopefully this will make the lives of anyone else in the position @Janno was in marginally easier in the future
As per https://github.com/JasonGross/coq-tools/issues/176#issuecomment-1777726114, https://github.com/JasonGross/coq-tools/issues/176#issuecomment-1777764511, and https://github.com/JasonGross/coq-tools/issues/176#issuecomment-1781782890, we suggest passing
--no-depswhenmakecomplainsArgument list too longandNo rule to make target '.*.glob'.Hopefully this will make the lives of anyone else in the position @Janno was in marginally easier in the future