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:
|
|
|
|
|
|
|
|
|
|
go install -a 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
|
|
|
|
|
|
