=> Bootstrap dependency digest>=20010302: found digest-20121220
===> Skipping vulnerability checks.
WARNING: No /var/db/pkg/pkg-vulnerabilities file found.
WARNING: To fix run: `/usr/sbin/pkg_admin -K /var/db/pkg fetch-pkg-vulnerabilities'.
===> Installing for maude-2.6
Making install in src
Making install in 3rdParty
Making install in Utility
Making install in Temporal
Making install in Interface
Making install in Core
Making install in Variable
Making install in NA_Theory
Making install in ACU_Persistent
Making install in ACU_Theory
Making install in AU_Persistent
Making install in AU_Theory
Making install in CUI_Theory
Making install in S_Theory
Making install in FreeTheory
Making install in Higher
Making install in BuiltIn
Making install in IO_Stuff
Making install in ObjectSystem
Making install in Meta
Making install in FullCompiler
Making install in MSCP10
Making install in StrategyLanguage
Making install in Mixfix
/usr/bin/make  install-am
Making install in Main
test -z "/usr/pkg/bin" || /bin/sh ../../mkinstalldirs "/scratch/lang/maude/work/.destdir/usr/pkg/bin"
mkdir -p -- /scratch/lang/maude/work/.destdir/usr/pkg/bin
  /usr/bin/install -c -s -o pbulkXXX -g users -m 755 'maude' '/scratch/lang/maude/work/.destdir/usr/pkg/bin/maude'
test -z "/usr/pkg/share/maude" || /bin/sh ../../mkinstalldirs "/scratch/lang/maude/work/.destdir/usr/pkg/share/maude"
mkdir -p -- /scratch/lang/maude/work/.destdir/usr/pkg/share/maude
 /usr/bin/install -c -o pbulkXXX -g users -m 644 'prelude.maude' '/scratch/lang/maude/work/.destdir/usr/pkg/share/maude/prelude.maude'
 /usr/bin/install -c -o pbulkXXX -g users -m 644 'model-checker.maude' '/scratch/lang/maude/work/.destdir/usr/pkg/share/maude/model-checker.maude'
 /usr/bin/install -c -o pbulkXXX -g users -m 644 'socket.maude' '/scratch/lang/maude/work/.destdir/usr/pkg/share/maude/socket.maude'
 /usr/bin/install -c -o pbulkXXX -g users -m 644 'linear.maude' '/scratch/lang/maude/work/.destdir/usr/pkg/share/maude/linear.maude'
 /usr/bin/install -c -o pbulkXXX -g users -m 644 'machine-int.maude' '/scratch/lang/maude/work/.destdir/usr/pkg/share/maude/machine-int.maude'
 /usr/bin/install -c -o pbulkXXX -g users -m 644 'term-order.maude' '/scratch/lang/maude/work/.destdir/usr/pkg/share/maude/term-order.maude'
 /usr/bin/install -c -o pbulkXXX -g users -m 644 'metaInterpreter.maude' '/scratch/lang/maude/work/.destdir/usr/pkg/share/maude/metaInterpreter.maude'
Making install in tests
Making install in BuiltIn
Making install in Misc
Making install in Meta
Making install in ResolvedBugs
cd /scratch/lang/maude/work/Maude-2.6/src/Main && /usr/bin/install -c -o pbulkXXX -g users -m 644 *.maude  /scratch/lang/maude/work/.destdir/usr/pkg/share/maude
=> Automatic manual page handling