gllvm/ians-notes.txt

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

gometalinter.v2 ./...
Issue #13 and a SIGSEGV issue. 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:`

Better error reporting if things go pear shaped. 2018-04-17 20:46:22 +02:00			`go install github.com/SRI-CSL/gllvm/cmd/...`
Makefile gets the flick. 2018-02-06 01:36:09 +01:00

			`To format for the badge:`

			`gofmt -s -w shared/.go cmd//*.go`

addition to notes. 2018-04-18 18:13:32 +02:00

			`For linting:`

			`https://github.com/alecthomas/gometalinter`
Handles archives better. Flag for sorting bitcode files. Linux Kernel work. 2018-05-02 22:05:24 +02:00
			`gometalinter.v2 ./...`