gllvm/ians-notes.txt
2019-06-12 06:47:57 -07:00

30 lines
454 B
Plaintext

To edit the code locally use the repository here:
~/go/src/github.com/SRI-CSL/gllvm
Then do:
go install github.com/SRI-CSL/gllvm/cmd/...
To format for the badge:
gofmt -s -w shared/*.go cmd/*/*.go
For linting:
https://github.com/alecthomas/gometalinter
brew tap alecthomas/homebrew-tap
brew install gometalinter
gometalinter ./...
For keeping up with the Jones:
clang -cc1 --help
https://clang.llvm.org/docs/ClangCommandLineReference.html