# see top-level Makefile.in
# libswigocaml is not needed anymore.