$ npx hardhat compile
If your contract requires extra constructor arguments, you'll have to specify them in deploy options.
$ CONTRACT_NAME=HyperbolicProtocol npx hardhat run --network goerli scripts/deploy.js
$ CONTRACT_NAME=LendingPool npx hardhat run --network goerli scripts/deploy.js
$ # setLendingPool()
$ # lpCreatePool(3000, priceX96, 1000)
$ # lpCreatePool(10000, priceX96, 1000)
$ # lpCreatePosition(3000, 20000000)
$ # lpCreatePosition(10000, 20000000)
$ # toggleWhitelistCollateralPool($HYPE_V3_POOL)
$ # toggleWhitelistCollateralPool($WBTC_POOL)
$ # launch() # HyperbolicProtocol
$ # setEnabled() # LendingPool
$ npx hardhat verify CONTRACT_ADDRESS --network goerli
You generally should not need to do this simply to verify in today's compiler version (0.8.x), but should you ever want to:
$ npx hardhat flatten {contract file location} > output.sol