compile
Refer to one of the following:
If you have more than two of the above plugins installed, you'll need to be explicit about what plugin to use when invoking the task. You can do this by specifying the --plugin
option to the taq command:
taq --plugin [ligo|smartpy|archetype] compile