At least one Mac OS, the makefile was causing me a bit of frustration so I made some tweaks that are hopefully appropriate for other platforms as well.
Fixes errors caused by install not both creating the sirdi_app directory and also expanding all glob patterns.
Adds -f to rm calls in make clean targets because those were requiring me to say "yes" to each deletion and they also threw errors for directories that didn't exist (like if I had not built the tests prior to cleaning the main project).
Avoids rebuilding depends when running make multiple times (unless you've cleaned), avoids rebuilding project when running make install (unless you've cleaned).
Builds test binary before running tests upon make test unless the binary is already built.
I (somewhat randomly) also removed a record keyword (since it is deprecated and produces a warning with latest builds of Idris 2 HEAD).
At least one Mac OS, the makefile was causing me a bit of frustration so I made some tweaks that are hopefully appropriate for other platforms as well.
installnot both creating thesirdi_appdirectory and also expanding all glob patterns.-ftormcalls inmake cleantargets because those were requiring me to say "yes" to each deletion and they also threw errors for directories that didn't exist (like if I had not built the tests prior to cleaning the main project).make testunless the binary is already built.I (somewhat randomly) also removed a
recordkeyword (since it is deprecated and produces a warning with latest builds of Idris 2 HEAD).