diff options
| author | Eric Lindblad <lindblad@gmx.us> | 2022-07-01 15:31:03 +0000 |
|---|---|---|
| committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2022-07-06 01:35:48 -0400 |
| commit | 803e965c684ff5d0915d653042d7a6ce16c5bc94 (patch) | |
| tree | 678be3f3f484c02c04faff5bd08aa9d3f19cb846 /hadrian | |
| parent | d0e74992f0fd62e9bfa68b4fc3fa8c6e06ee5231 (diff) | |
| download | haskell-803e965c684ff5d0915d653042d7a6ce16c5bc94.tar.gz | |
options and typos
Diffstat (limited to 'hadrian')
| -rw-r--r-- | hadrian/bootstrap/README.md | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/hadrian/bootstrap/README.md b/hadrian/bootstrap/README.md index b20534dfe0..7ea7b51d8b 100644 --- a/hadrian/bootstrap/README.md +++ b/hadrian/bootstrap/README.md @@ -7,9 +7,9 @@ This utility allows you to build hadrian without cabal-install, which can be use for packagers. If you are a developer then build hadrian using cabal-install. If you want to bootstrap with ghc-8.10.5 then run the ./bootstrap script with the -`plan-bootstrap-8.10.5.json` file. +`plan-bootstrap-8_10_5.json` file. - bootstrap.py -d plan-bootstrap-8.10.5.json -w /path/to-ghc + bootstrap.py -d plan-bootstrap-8_10_5.json -w /path/to-ghc This default option will download the dependencies using the network. @@ -18,16 +18,16 @@ The result of the bootstrap script will be a hadrian binary in Alternatively, you can provide a tarball with the source of any dependencies. - bootstrap.py -d plan-bootstrap-8.10.5.json -w /path/to-ghc -s sources-tarball.tar.gz + bootstrap.py -d plan-bootstrap-8_10_5.json -w /path/to-ghc -s sources-tarball.tar.gz Which dependencies you need can be queried using the `list-sources` option. - bootstrap.py list-sources -d plan-bootstrap-8.10.5.json + bootstrap.py -d plan-bootstrap-8_10_5.json list-sources This produces `fetch_plan.json` which tells you where to get each source from. You can instruct the script to create the tarball using the `fetch` option. - bootstrap.py fetch -d plan-bootstrap-8.10.5.json -o sources-tarball.tar.gz + bootstrap.py -d plan-bootstrap-8_10_5.json fetch -o sources-tarball.tar.gz ## Generating the bootstrap plans |