build: Replace missing crates.io dependency with Purism-hosted one

2022-04-04 16:56:28 +00:00
parent b5142ac765
commit d19050e06d
6 changed files with 18 additions and 7 deletions
--- a/meson_options.txt
+++ b/meson_options.txt
@ -11,6 +11,10 @@ option('newer',
       type: 'boolean', value: false,
       description: 'Build with dependencies newer than those of Byzantium')

+option('online',
+       type: 'boolean', value: true,
+       description: 'Pull packages from the internet while building, as opposed to a local regstry.')
+       
 option('strict',
       type: 'boolean', value: true,
       description: 'Turn more warnings into errors')