File tree 1 file changed +13
-5
lines changed
1 file changed +13
-5
lines changed Original file line number Diff line number Diff line change 60
60
".github/"
61
61
"result*"
62
62
"*.nix"
63
- "deps/"
64
63
"kevm-pyk/"
65
- # submodule directories are initilized empty by git, but
66
- # not included by nix flakes/nix CLI
64
+ # do not include submodule directories that might be initilized empty or non-existent
65
+ "/deps/"
67
66
"/tests/ethereum-tests"
68
67
"/web/k-web-theme"
69
68
] ./. ) ;
130
129
131
130
kevm-pyk = poetry2nix . mkPoetryApplication {
132
131
python = prev . python310 ;
133
- projectDir = ./kevm-pyk ;
132
+ projectDir = prev . lib . cleanSource (
133
+ prev . nix-gitignore . gitignoreSourcePure [
134
+ ./.gitignore
135
+ # do not include submodule directories that might be initilized empty or non-existent
136
+ "/src/kevm_pyk/kproj/plugin"
137
+ ] ./kevm-pyk/.
138
+ ) ;
134
139
overrides = poetry2nix . overrides . withDefaults
135
140
( finalPython : prevPython : {
136
141
kframework = prev . pyk-python310 ;
204
209
".github/"
205
210
"result*"
206
211
"*.nix"
207
- "deps/"
208
212
"kevm-pyk/"
213
+ # do not include submodule directories that might be initilized empty or non-existent
214
+ "/deps/"
215
+ "/tests/ethereum-tests"
216
+ "/web/k-web-theme"
209
217
] ./. ) ;
210
218
} ;
211
219
You can’t perform that action at this time.
0 commit comments