optimistic-specs
optimistic-specs copied to clipboard
Consolidate Makefiles
Description: Decide if we want a makefile at the root of the repo or in the root of each project. See discussion in #197
Reopening, the linked PR simply adds a Makefile in opnode but
- The makefiles are not consolidated into one
- There hasn't been a decision or even a discussion at whether we should keep them separate or consolidate them
Discussion for office hours:
- Want to lift
opnode/contractsmakefile toopnodemakefile - Run recursive make in top-level makefile (and remove top-level makefile from building opnode)
- Open Q: Use makefile for lint/test in CI or have duplicated commands
- Open Q: Run make build as part of CI