Closed elliottslaughter closed 12 months ago
The Makefile build was formally deprecated in 2020 (#383) and I proposed fully removing it a year ago (#613). This PR completes the removal and simplifies our build infrastructure to remove things needed only for the Makefile build.
The Makefile build was formally deprecated in 2020 (#383) and I proposed fully removing it a year ago (#613). This PR completes the removal and simplifies our build infrastructure to remove things needed only for the Makefile build.