blob: 7286b81359f3a351c48bf945e2ac71c50652dec5 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
--- a/cmd/verifpal/main.go
+++ b/cmd/verifpal/main.go
@@ -3,10 +3,8 @@
// 8e05848fe7fc3fb8ed3ba50a825c5493
//go:generate go run ../../internal/libcoq/libcoqgen.go
-//go:generate pigeon -o ../../cmd/vplogic/libpeg.go ../../internal/libpeg/libpeg.peg
//go:generate gofmt -s -w ../../cmd/vplogic/libcoq.go
//go:generate gofmt -s -w ../../cmd/vplogic/libpeg.go
-//go:generate goversioninfo -64=true -icon=../../assets/icon.ico ../../assets/versioninfo.json
package main
|
