Run the following command in your flipper directory to compile your smart contract:
cargo contract build
This command will build the following for your contract: a Wasm binary, a metadata file (which contains the contract's ABI) and a .contract file which bundles both. This .contract file can be used to deploy your contract to a chain. If all goes well, you should see a target folder which contains these files:
This file describes all the interfaces that can be used to interact with your contract:
types provides the custom data types used throughout the rest of the JSON.
storage defines all the storage items managed by your contract and how to access them.
spec stores information about the callable functions like constructors and messages a user can call to interact with the contract. It also has helpful information like the events emitted by the contract or any docs.