Fix installation instructions

This commit is contained in:
Daniil Gentili 2024-04-27 20:28:38 +02:00 committed by GitHub
parent 7bb6e19413
commit 95e3e74cab
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194

View File

@ -64,15 +64,11 @@ tools such as `objcopy` and `ld`.
To install, simply do (making sure to include those `...`) To install, simply do (making sure to include those `...`)
``` ```
go get github.com/SRI-CSL/gllvm/cmd/... go install github.com/SRI-CSL/gllvm/cmd/...@latest
``` ```
This should install six binaries: `gclang`, `gclang++`, `gflang`, `get-bc`, `gparse`, and `gsanity-check` This should install six binaries: `gclang`, `gclang++`, `gflang`, `get-bc`, `gparse`, and `gsanity-check`
in the `$GOPATH/bin` directory. in the `$GOPATH/bin` directory.
If you are using `go 1.16` you may be forced to install it like this:
```
GO111MODULE=off go get github.com/SRI-CSL/gllvm/cmd/...
```
Hopefully we will have a better fix for this [soon](https://github.com/golang/go/issues/44776)?
## Usage ## Usage
`gclang` and `gclang` and