#! /bin/bash
# Last edited on 2025-04-12 08:21:05 by stolfi

echo "comparing pickled library files with originals in JSLIBS ..." 1>&2
ndiff=0
for libfil in `cat 00-SOURCES | sed -e 's:[ ][ ]*$::g' -e 's:[ ][ ]*:.:g'` ; do
  lib=${libfil/.*}
  file=${libfil/*.}
  ofile=${lib}/${file}
  
  if ! cmp -s ${ofile} ${file} ; then
    printf "%s comparing ${ofile} ${file} %s\n" "---" "---"
    prdiff -Bb ${ofile} ${file}
    ndiff=$(( ${ndiff} + 1 ));
  fi
done

if [[ ${ndiff} -gt 0 ]]; then
  echo "** differences detected - fix and recompile" 1>&2
  exit 1
fi