Re: [go-nuts] Errors trying to use external pkg z3

I changed the terminal and then it worked. On Wednesday, May 22, 2024 at 10:39:05 AM UTC-6 Brian Candler wrote: > * Start in an empty directory > * Run "go mod init example" > * Create your main.go with that import statement in it > * Run: > > go mod tidy > go run . > > On Wednesday 22 May 2024

Re: [go-nuts] Errors trying to use external pkg z3

* Start in an empty directory * Run "go mod init example" * Create your main.go with that import statement in it * Run: go mod tidy go run . On Wednesday 22 May 2024 at 16:26:54 UTC+1 Kenneth Miller wrote: > I tried that, same error > > On Wednesday, May 22, 2024 at 9:12:58 AM UTC-6 Brian

Re: [go-nuts] Errors trying to use external pkg z3

I tried that, same error On Wednesday, May 22, 2024 at 9:12:58 AM UTC-6 Brian Candler wrote: > It's because the name of the module is "github.com/aclements/go-z3/z3", > not "z3" > > Only packages in the standard library have short names, like "fmt", > "strings" etc. > > On Wednesday 22 May

Re: [go-nuts] Errors trying to use external pkg z3

It's because the name of the module is "github.com/aclements/go-z3/z3", not "z3" Only packages in the standard library have short names, like "fmt", "strings" etc. On Wednesday 22 May 2024 at 15:46:30 UTC+1 robert engels wrote: > If it is your own code, you have to use > > import

Re: [go-nuts] Errors trying to use external pkg z3

If it is your own code, you have to use import “github.com/aclements/go-z3/z3 ” or you need a special go.mod file. > On May 22, 2024, at 9:38 AM, robert engels wrote: > > What are you trying to run? z3 is a library. > >> On May 22, 2024, at 9:29 AM,

Re: [go-nuts] Errors trying to use external pkg z3

What are you trying to run? z3 is a library. > On May 22, 2024, at 9:29 AM, Kenneth Miller > wrote: > > I did go get -u github.com/aclements/go-z3/z3 > > but when I go run . I get > > main.go:5:2: package z3 is not in std > > the offending line is > > import "z3" > > can someone help me

[go-nuts] Errors trying to use external pkg z3

I did go get -u github.com/aclements/go-z3/z3 but when I go run . I get main.go:5:2: package z3 is not in std the offending line is import "z3" can someone help me please? I'm sure this has been asked before but I couldn't find it -- You received this message because you are subscribed to