danog/gllvm
1
0
Fork 0
mirror of https://github.com/danog/gllvm.git synced 2024-11-26 17:34:45 +01:00
Code Issues Packages Projects Releases Wiki Activity

Update ians-notes.txt

Browse Source
This commit is contained in:
Ian A Mason 2020-08-04 20:07:45 -07:00 committed by GitHub
parent 327226cd84
commit f084b36a53
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 0 additions and 15 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

15
ians-notes.txt
View File

@ -7,21 +7,6 @@ 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