Makefile Mac OS Compatibility
In Makefile
target builddep/refinedc-builddep.opam
: (https://gitlab.mpi-sws.org/iris/refinedc/-/blob/master/Makefile#L35)
@head -n -5 $< >
@sed -i -E 's/^name: *"(.*)" */name: "\1-builddep"/' $@
The parameters of head
and sed
command are not "Unix standard" and hence they are not working as expected on Mac OS. A possible workaround for Mac users: use ghead
and gsed
instead (both can be installed via Homebrew).
Edited by Fengmin Zhu