Skip to content

Fix Makefile to make it work for fresh projects#126

Merged
tizianocitro merged 1 commit intomainfrom
chore/makefile-fresh-project
Apr 1, 2026
Merged

Fix Makefile to make it work for fresh projects#126
tizianocitro merged 1 commit intomainfrom
chore/makefile-fresh-project

Conversation

@tizianocitro
Copy link
Copy Markdown
Contributor

All Submissions

  • Have you followed the guidelines in our Contributing document?
  • Have you checked to ensure there aren't other open Pull Requests for the same update/change?

Description

  • make clean and all targets using it would fail without running make setup first. Now it works, as it ignores missing env error.
  • Improved clean by removing all cache files.
  • Added make destroy to reset the environment.

Checklist

  • Does your submission pass all tests? (use make test)
  • Have you written tests to cover all your changes? If not, provide a reason.
  • Have you lint your code locally before submission? (use make lint)
  • Have you type checked your code locally before submission? (use make typecheck)
  • Have you added an explanation of what your changes are and why you'd like us to include them?

@tizianocitro tizianocitro merged commit 4d7e8fc into main Apr 1, 2026
18 checks passed
@tizianocitro tizianocitro deleted the chore/makefile-fresh-project branch April 1, 2026 07:01
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants