# --builddir $CINTSYSDIR option added to makecint everywhere; D. Barna
# CINTSYSDIR should be set to the actual build directory (done by the upmost Makefile)

if [ "$CINTSYSDIR" = "" ] ; then
  echo CINTSYSDIR should be set to the actual build directory during the compilation of cint
  exit 1
fi

makecint --builddir $CINTSYSDIR -mk Makefile -dl ../../include/posix.dll -h posix.h exten.h -C exten.c -cint -Z0
make -f Makefile
rm G__* Makefile
rm *.o
