doc/find_public_interface.sh

   1 #!/bin/bash
   2 #
   3 # Enumerates public interface headers, so that public-only documentation
   4 # can be produced.
   5 #
   6
   7 cd "$(dirname "$0")"
   8
   9 echo -n "\"$srcdir/src/include/cvc4.h\" "
  10 echo -n "\"$srcdir/src/include/cvc4_public.h\" "
  11 ( (find "$builddir" -name '*.h' | xargs grep -l '^# *include  *"cvc4.*_public\.h"'); \
  12   (find "$srcdir" -name '*.h' | xargs grep -l '^# *include  *"cvc4.*_public\.h"'); \
  13 ) | \
  14 while read f; do
  15   if expr "$f" : ".*_\(template\|private\|test_utils\)\.h$" &>/dev/null; then
  16     continue
  17   fi
  18   echo -n "\"$f\" "
  19 done
  20