abinfo "Configuring camlp5 ..."
"$SRCDIR"/configure \
    -prefix '/usr' \
    -mandir '/usr/share/man' \
    -strict

abinfo "Building camlp5 ..."
if [[ "${CROSS:-$ARCH}" = "amd64" || "${CROSS:-$ARCH}" = "arm64" || \
      "${CROSS:-$ARCH}" = "ppc64el" ]]; then
    make world.opt
else
    make world
fi

abinfo "Installing caml5 ..."
make install DESTDIR="$PKGDIR"
