2018-02-06 00:23:04 +01:00
|
|
|
To edit the code locally use the repository here:
|
|
|
|
|
|
|
|
|
|
~/go/src/github.com/SRI-CSL/gllvm
|
|
|
|
|
|
|
|
|
|
Then do:
|
|
|
|
|
|
2018-04-17 20:46:22 +02:00
|
|
|
go install github.com/SRI-CSL/gllvm/cmd/...
|
2018-02-06 01:36:09 +01:00
|
|
|
|
|
|
|
|
|
|
|
|
|
To format for the badge:
|
|
|
|
|
|
|
|
|
|
gofmt -s -w shared/*.go cmd/*/*.go
|
|
|
|
|
|
2018-04-18 18:13:32 +02:00
|
|
|
|
|
|
|
|
For linting:
|
|
|
|
|
|
|
|
|
|
https://github.com/alecthomas/gometalinter
|
2018-05-02 22:05:24 +02:00
|
|
|
|
2019-06-12 15:47:57 +02:00
|
|
|
brew tap alecthomas/homebrew-tap
|
|
|
|
|
brew install gometalinter
|
|
|
|
|
|
|
|
|
|
gometalinter ./...
|
2018-05-14 15:25:08 +02:00
|
|
|
|
|
|
|
|
|
|
|
|
|
For keeping up with the Jones:
|
|
|
|
|
|
|
|
|
|
clang -cc1 --help
|
|
|
|
|
|
|
|
|
|
https://clang.llvm.org/docs/ClangCommandLineReference.html
|
2019-10-20 22:42:26 +02:00
|
|
|
|
|
|
|
|
For fretting about race conditions:
|
|
|
|
|
|
|
|
|
|
go build -race cmd
|
