1. Apply the following patch to the Makefile: diff --git a/Makefile b/Makefile index e912e15..1f6c71f 100644 --- a/Makefile +++ b/Makefile @@ -80,7 +80,7 @@ libs: make -C libs/objsize OCAMLOPT=$(OCAMLOPT) OCAMLC=$(OCAMLC) $(TARGET_FLAG) ha…