Made model downloading optional in autogen.sh using a --no-download option.

Document the option in README. This allow autogen.sh to run without Internet connectivity and the source build to get a bit further without downloading anything.

requested review from @jmvalin

assigned to @jmvalin

added 2 commits

• bcb70b01 - 1 commit from branch main
• 2ac802e6 - Made model downloading a separate step from autogen.sh.

Compare with previous version

added 1 commit

• eb32d169 - Made model downloading a separate step from autogen.sh.

Compare with previous version

I would still prefer to have autogen.sh download the files by default since that's what most people want to do (and changing it is bound to result in tons of complaints). That being said, I'm OK with adding a --no-download option for the use case you mention.

OK, I'll rewrite the patch to do this instead.

My opensnitch instance reported and blocked the download attempt, making it obvious that the build was incomplete. I wanted to see how far I could get without Internet connectivity, as at least some Linux distributions do not allow build systems Internet access.

added 4 commits

• eb32d169...f6662ad4 - 3 commits from branch main
• 311ff9ea - Made model downloading optional in autogen.sh using a --no-download option.

Compare with previous version

changed title from Made model downloading a separate step from autogen.sh. to Made model downloading optional in autogen.sh using a --no-download option.

changed the description

I've completed the rewrite to --no-download.