summaryrefslogtreecommitdiff
path: root/manual/tests/check-stdlib-modules
blob: e01e580e72b3147d04011efd961d2189b7aa5930 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
#!/bin/sh

TMPDIR="${TMPDIR:-/tmp}"

(cd $1/stdlib; ls -1 *.mli) | sed -e 's/\.mli//' >$TMPDIR/stdlib-$$-files
cut -c 1 $TMPDIR/stdlib-$$-files | tr a-z A-Z >$TMPDIR/stdlib-$$-initials
cut -c 2- $TMPDIR/stdlib-$$-files \
| paste -d '\0' $TMPDIR/stdlib-$$-initials - >$TMPDIR/stdlib-$$-modules

exitcode=0
for i in `cat $TMPDIR/stdlib-$$-modules`; do
  case $i in
    Stdlib | Camlinternal* | *Labels | Obj | In_channel | Out_channel) continue;;
    Std_exit*) continue;;
  esac
  grep -q -e '"'$i'" & p\.~\\stdpageref{'$i'} &' $1/manual/src/library/stdlib-blurb.etex || {
    echo "Module $i is missing from the module description in library/stdlib-blurb.etex." >&2
    exitcode=2
  } &&
  grep -q -e '\\stddocitem{'$i'}' $1/manual/src/library/stdlib-blurb.etex || {
    echo "Module $i is missing from the linklist in library/stdlib-blurb.etex." >&2
    exitcode=2
  }
done

rm -f $TMPDIR/stdlib-$$-*

if [ $exitcode -eq 0 ]; then
  echo "All Standard Library modules are referenced"
fi

exit $exitcode