From 77d4bc83d179587b9a004616cea3a2470e9f8f62 Mon Sep 17 00:00:00 2001
From: Nikhil Chatterjee <nikhilc1527@gmail.com>
Date: Fri, 2 Jan 2026 13:17:45 -0800
Subject: [PATCH] find files in gopath instead of configdir

---
 cmd/goose.go | 13 ++++++-------
 1 file changed, 6 insertions(+), 7 deletions(-)

diff --git a/cmd/goose.go b/cmd/goose.go
index 7dc9523..4bcd87e 100644
--- a/cmd/goose.go
+++ b/cmd/goose.go
@@ -58,16 +58,15 @@ var gooseCmd = &cobra.Command{
 		if err != nil {
 			return fmt.Errorf("error parsing config: %w", err)
 		}
-		configDir := path.Dir(configPath)
 		var wg sync.WaitGroup
 		var gooseErr, proofgenErr error
 		wg.Add(2)
 		go func() {
-			gooseErr = runGooseCmd(localPath, "goose",
-				append([]string{
-					"-out", path.Join(config.RocqRoot, "code"),
-					"-dir", configDir,
-				}, config.PkgPatterns...))
+			args := append([]string{
+				"-out", path.Join(config.RocqRoot, "code"),
+				"-dir", config.GoPath,
+			}, config.PkgPatterns...)
+			gooseErr = runGooseCmd(localPath, "goose", args)
 			wg.Done()
 		}()
 		go func() {
@@ -76,7 +75,7 @@ var gooseCmd = &cobra.Command{
 					"-out", path.Join(config.RocqRoot, "generatedproof"),
 					// directory with .v.toml files
 					"-configdir", path.Join(config.RocqRoot, "code"),
-					"-dir", configDir,
+					"-dir", config.GoPath,
 				}, config.PkgPatterns...))
 			wg.Done()
 		}()