search

mit-plv / fiat-crypto

Cryptographic Primitive Code Generation by Fiat
http://adam.chlipala.net/papers/FiatCryptoSP19/FiatCryptoSP19.pdf
Other
701 stars 144 forks source link

zig build fails with no field named 'path' in union 'Build.LazyPath' #1912

Closed JasonGross closed 1 month ago

JasonGross commented 1 month ago 
/home/runner/work/fiat-crypto/fiat-crypto/fiat-zig/build.zig:5:33: error: no field named 'path' in union 'Build.LazyPath'
/opt/hostedtoolcache/zig/master/x64/lib/std/Build.zig:2133:22: note: union declared here

https://github.com/mit-plv/fiat-crypto/actions/runs/9092827097/job/24990411932?pr=1911#step:4:5 cc @jedisct1