diff --git a/scripts/combined-haddock.sh b/scripts/combined-haddock.sh index 37e910a93b4..f04c8a51ab7 100755 --- a/scripts/combined-haddock.sh +++ b/scripts/combined-haddock.sh @@ -49,11 +49,19 @@ HADDOCK_OPTS=( ) if (( "${#REGENERATE[@]}" > 0 )); then + cabal update cabal freeze cabal build "${CABAL_OPTS[@]}" "${REGENERATE[@]}" cabal haddock "${CABAL_OPTS[@]}" "${REGENERATE[@]}" "${HADDOCK_OPTS[@]}" fi + +if [[ "$?" != "0" ]]; then + echo "Failed to build haddock for plutus." + exit 1 +fi + + rm -rf "${OUTPUT_DIR}" mkdir -p "${OUTPUT_DIR}"