Fix compilation options in `native-tokens.cabal` and `stablecoin.cabal`

runtimeverification / plutus-core-semantics

BSD 3-Clause "New" or "Revised" License

27 stars 5 forks source link

Closed ChristianoBraga closed 2 years ago

ChristianoBraga commented 2 years ago

Compilation options

-fplugin-opt PlutusTx.Plugin:no-simplifier-inline
-fplugin-opt PlutusTx.Plugin:no-simplifier-beta

should be under ghc-options for the library targets in .cabal files.