Closed pippijn closed 11 years ago
If you can still build the package after this change I guess it should be OK then.
Yes, it's not used. The configure script needs to be regenerated for this change to be effective, but I didn't do that, because I have a policy against having generated files in source code repositories.
The reason why configure is very often checked in is because it allows people who fail to generate it to still be able to compile the project.
That makes sense, but I make tarballs for that. Anyway, this repo can do that and commit the generated configure. As long as it's not me who commits that, I'm fine with it.
I didn't find any place where the build of Parmap needs camlp4, but configure checks for it. Is there a reason for this?