You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Following the Quickstart in the Creusot guide, I created a src/lib.rs file with some Creusot contracts. cargo creusot succeeds, but cargo build fails because some features are not enabled (which cargo creusot enabled implicitly to succeed). If I enable the features explicitly:
Unfortunately, that's the best way I know of doing things, I suppose the alternative would be for creusot to not enable these features and instead just require all client projects to unconditionally enable them? I'm open to suggestions on this.
xldenis
added
the
cargo-creusot
Issue is related to the `cargo-creusot` and more generally the porcelain around creusot
label
Sep 11, 2024
Following the Quickstart in the Creusot guide, I created a
src/lib.rs
file with some Creusot contracts.cargo creusot
succeeds, butcargo build
fails because some features are not enabled (whichcargo creusot
enabled implicitly to succeed). If I enable the features explicitly:Then
cargo creusot
complains because the features are enabled twice.One workaround is to enable the feature conditionally:
Am I missing something? Could Creusot not enable those features, or enable them only if they are not already enabled?
The text was updated successfully, but these errors were encountered: