Disable package extension

Hello,

Is it possible to “disable” an extension of a package, marked with [extension] in the package Project.toml?

My use case is the following:
I have an environment with ModelingToolkit as dependency, and I want to add InfiniteOpt#master to use some of the new (unreleased) features of InfiniteOpt.

However, this raises an error during precompilation since MTKInfiniteOptExt, an extension of ModelingToolkit to ineract with InfiniteOpt, does not work with the master version of InfiniteOpt. I am not interested in using this extension, so this is why for now I will be happy if it was possible to just “disable” it.

For reference, the error I get is:

ERROR: LoadError: UndefVarError: `AbstractInfOptExpr` not defined in `InfiniteOpt`

Thanks!

1 Like

You will have to clone the package, modify its Project.toml, and install it with Pkg.develop

1 Like

Okay that’s what I’ve also thought. Thanks