gllvm/ians-notes.txt
2019-10-22 17:53:26 +00:00

34 lines
522 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 tests/*.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
For fretting about race conditions:
go build -race cmd