Make the get-z3 script use curl instead of wget

verus-lang / verus

Verified Rust for low-level systems code

MIT License

1.06k stars 58 forks source link

Make the get-z3 script use curl instead of wget #1159

Closed lincolnq closed 3 weeks ago

lincolnq commented 3 weeks ago

Wget is not installed by default on Macs, and my Linux also didn't have it. But curl is built-in to most systems, so I switched the script to use curl. I also made a few other small drive-by changes:

better bash quoting
use bash -eu to stop if there's an error
display the URL being downloaded to the user for easier debugging