Skip to content

Commit

Permalink
chore: deprecate deployments.json
Browse files Browse the repository at this point in the history
  • Loading branch information
molecula451 committed Apr 11, 2024
1 parent 5914363 commit 9141a5a
Show file tree
Hide file tree
Showing 3 changed files with 11 additions and 38 deletions.
12 changes: 11 additions & 1 deletion packages/contracts/scripts/smt-checker/README.md
Original file line number Diff line number Diff line change
Expand Up @@ -51,4 +51,14 @@ https://github.com/molecula451/ubiquity-dollar/assets/41552663/a4cad18e-0686-463

This will prompt you to select a contract. Once selected, check that the contract was updated in Foundry, then build it using forge build. Wait for the SMT-Checker results to appear after compiling.

![checker](https://github.com/molecula451/ubiquity-dollar/assets/41552663/a8e6a3de-2ccf-40bd-8d19-c1b4203c466f)
![checker](https://github.com/molecula451/ubiquity-dollar/assets/41552663/a8e6a3de-2ccf-40bd-8d19-c1b4203c466f)

## Debug

On Ubuntu you might get:

Compiler run failed:
Error: Unknown exception during compilation: Dynamic exception type: std::runtime_error
std::exception::what: locale::facet::_S_create_c_locale name not valid

Fix: do an 'export LC_ALL=C; unset LANGUAGE'
26 changes: 0 additions & 26 deletions packages/dapp/components/lib/hooks/use-deployed-address.tsx

This file was deleted.

11 changes: 0 additions & 11 deletions packages/dapp/components/utils/deployments.ts

This file was deleted.

0 comments on commit 9141a5a

Please sign in to comment.