=> Bootstrap dependency digest>=20010302: found digest-20111104
===> 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'.
===> Building for twelf-1.4nb1
--- twelf-server ---
--- twelf-sml ---
--- twelf-server ---
*************************************************
--- twelf-sml ---
*************************************************
--- twelf-server ---
Twelf 1.4: Server
--- twelf-sml ---
Twelf 1.4: SML
--- twelf-server ---
*************************************************
--- twelf-sml ---
*************************************************
--- twelf-server ---
/usr/pkg/bin/sml < smlnj/twelf-server.sml ;
--- twelf-sml ---
/usr/pkg/bin/sml < smlnj/twelf-sml.sml ;
--- twelf-server ---
Standard ML of New Jersey v110.73 [built: Thu May 24 19:42:40 2012]
- [autoloading]
[library $SMLNJ-BASIS/basis.cm is stable]
[autoloading done]
val it = () : unit
[autoloading]
[library $smlnj/cm/cm.cm is stable]
[library $smlnj/internal/cm-sig-lib.cm is stable]
[library $/pgraph.cm is stable]
[library $smlnj/internal/srcpath-lib.cm is stable]
--- twelf-sml ---
Standard ML of New Jersey v110.73 [built: Thu May 24 19:42:40 2012]
- [autoloading]
[library $SMLNJ-BASIS/basis.cm is stable]
--- twelf-server ---
[autoloading done]
[scanning server.cm]
[scanning (server.cm):src/server/sources.cm]
[scanning (server.cm):src/server/(sources.cm):../timing/sources.cm]
--- twelf-sml ---
[autoloading done]
--- twelf-server ---
[parsing (server.cm):src/server/(sources.cm):../timing/(sources.cm):timers.sig]
--- twelf-sml ---
val it = () : unit
[autoloading]
--- twelf-server ---
[creating directory src/timing/.cm/SKEL]
--- twelf-sml ---
[library $smlnj/cm/cm.cm is stable]
--- twelf-server ---
[parsing (server.cm):src/server/(sources.cm):../timing/(sources.cm):timers.fun]
--- twelf-sml ---
[library $smlnj/internal/cm-sig-lib.cm is stable]
[library $/pgraph.cm is stable]
--- twelf-server ---
[parsing (server.cm):src/server/(sources.cm):../timing/(sources.cm):timers.sml]
[parsing (server.cm):src/server/(sources.cm):../timing/(sources.cm):timing.sml]
--- twelf-sml ---
[library $smlnj/internal/srcpath-lib.cm is stable]
--- twelf-server ---
[scanning (server.cm):src/server/(sources.cm):../frontend/sources.cm]
[scanning (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../stream/sources.cm]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../stream/(sources.cm):stream.sml]
--- twelf-sml ---
[autoloading done]
--- twelf-server ---
[creating directory src/stream/.cm/SKEL]
[scanning (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../global/sources.cm]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../global/(sources.cm):global.sig]
[creating directory src/global/.cm/SKEL]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../global/(sources.cm):global.sml]
--- twelf-sml ---
[scanning sources.cm]
[scanning (sources.cm):src/frontend/sources.cm]
--- twelf-server ---
[scanning (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../table/sources.cm]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../table/(sources.cm):table.sig]
--- twelf-sml ---
[scanning (sources.cm):src/frontend/(sources.cm):../timing/sources.cm]
--- twelf-server ---
[creating directory src/table/.cm/SKEL]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../table/(sources.cm):hash-table.sml]
--- twelf-sml ---
[scanning (sources.cm):src/frontend/(sources.cm):../stream/sources.cm]
[scanning (sources.cm):src/frontend/(sources.cm):../global/sources.cm]
[scanning (sources.cm):src/frontend/(sources.cm):../table/sources.cm]
[parsing (sources.cm):src/frontend/(sources.cm):../table/(sources.cm):hash-table.sml]

uncaught exception SysErr [SysErr: No such file or directory [noent]]
  raised at: <utime.c>
             ../cm/util/safeio.sml:41.55
             ../cm/parse/parse.sml:502.47
             ../cm/parse/parse.sml:377.19
             ../cm/util/safeio.sml:41.55
             ../cm/parse/parse.sml:502.47
             ../cm/parse/parse.sml:377.19
             ../cm/util/safeio.sml:41.55
             ../cm/parse/parse.sml:502.47
- 
bin/.mkexec "/usr/pkg/bin/sml" "`pwd`" twelf-sml "twelf-sml" ;
--- twelf-server ---
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../table/(sources.cm):string-hash.sig]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../table/(sources.cm):string-hash.sml]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../table/(sources.cm):red-black-tree.fun]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../table/(sources.cm):ring.sig]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../table/(sources.cm):ring.sml]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../table/(sources.cm):queue.sig]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../table/(sources.cm):queue.sml]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../table/(sources.cm):sparse-array.sig]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../table/(sources.cm):sparse-array.fun]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../table/(sources.cm):sparse-array2.sig]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../table/(sources.cm):sparse-array2.fun]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../table/(sources.cm):table.sml]
[scanning (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../lambda/sources.cm]
[scanning (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../lambda/(sources.cm):../trail/sources.cm]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../lambda/(sources.cm):../trail/(sources.cm):trail.sig]
[creating directory src/trail/.cm/SKEL]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../lambda/(sources.cm):../trail/(sources.cm):trail.sml]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../lambda/(sources.cm):../trail/(sources.cm):notrail.sml]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../lambda/(sources.cm):intsyn.sig]
[creating directory src/lambda/.cm/SKEL]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../lambda/(sources.cm):intsyn.fun]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../lambda/(sources.cm):whnf.sig]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../lambda/(sources.cm):whnf.fun]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../lambda/(sources.cm):conv.sig]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../lambda/(sources.cm):conv.fun]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../lambda/(sources.cm):constraints.sig]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../lambda/(sources.cm):constraints.fun]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../lambda/(sources.cm):unify.sig]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../lambda/(sources.cm):unify.fun]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../lambda/(sources.cm):abstract.sig]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../lambda/(sources.cm):abstract.fun]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../lambda/(sources.cm):approx.sig]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../lambda/(sources.cm):approx.fun]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../lambda/(sources.cm):lambda.sml]
[scanning (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../names/sources.cm]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../names/(sources.cm):names.sig]
[creating directory src/names/.cm/SKEL]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../names/(sources.cm):names.fun]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../names/(sources.cm):names.sml]
[scanning (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../paths/sources.cm]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../paths/(sources.cm):paths.sig]
[creating directory src/paths/.cm/SKEL]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../paths/(sources.cm):paths.fun]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../paths/(sources.cm):origins.sig]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../paths/(sources.cm):origins.fun]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../paths/(sources.cm):paths.sml]
[scanning (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../print/sources.cm]
[scanning (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../print/(sources.cm):../formatter/sources.cm]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../print/(sources.cm):../formatter/(sources.cm):formatter.sig]
[creating directory src/formatter/.cm/SKEL]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../print/(sources.cm):../formatter/(sources.cm):formatter.fun]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../print/(sources.cm):../formatter/(sources.cm):formatter.sml]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../print/(sources.cm):symbol.sig]
[creating directory src/print/.cm/SKEL]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../print/(sources.cm):symbol.fun]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../print/(sources.cm):print.sig]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../print/(sources.cm):print.fun]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../print/(sources.cm):clause-print.sig]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../print/(sources.cm):clause-print.fun]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../print/(sources.cm):print.sml]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../print/(sources.cm):traverse.sig]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../print/(sources.cm):traverse.fun]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../print/(sources.cm):print-twega.sig]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../print/(sources.cm):print-twega.fun]
[scanning (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../typecheck/sources.cm]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../typecheck/(sources.cm):typecheck.sig]
[creating directory src/typecheck/.cm/SKEL]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../typecheck/(sources.cm):typecheck.fun]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../typecheck/(sources.cm):typecheck.sml]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../typecheck/(sources.cm):strict.sig]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../typecheck/(sources.cm):strict.fun]
[scanning (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../modes/sources.cm]
[scanning (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../modes/(sources.cm):../index/sources.cm]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../modes/(sources.cm):../index/(sources.cm):index.sig]
[creating directory src/index/.cm/SKEL]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../modes/(sources.cm):../index/(sources.cm):index.fun]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../modes/(sources.cm):../index/(sources.cm):index-skolem.fun]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../modes/(sources.cm):../index/(sources.cm):index.sml]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../modes/(sources.cm):modesyn.sig]
[creating directory src/modes/.cm/SKEL]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../modes/(sources.cm):modesyn.fun]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../modes/(sources.cm):modedec.sig]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../modes/(sources.cm):modedec.fun]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../modes/(sources.cm):modecheck.sig]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../modes/(sources.cm):modecheck.fun]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../modes/(sources.cm):modeprint.sig]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../modes/(sources.cm):modeprint.fun]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../modes/(sources.cm):modes.sml]
[scanning (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../tabling/sources.cm]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../tabling/(sources.cm):tabledsyn.sig]
[creating directory src/tabling/.cm/SKEL]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../tabling/(sources.cm):tabledsyn.fun]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../tabling/(sources.cm):tabled.sml]
[scanning (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../terminate/sources.cm]
[scanning (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../terminate/(sources.cm):../order/sources.cm]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../terminate/(sources.cm):../order/(sources.cm):order.sig]
[creating directory src/order/.cm/SKEL]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../terminate/(sources.cm):../order/(sources.cm):order.fun]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../terminate/(sources.cm):../order/(sources.cm):order.sml]
[scanning (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../terminate/(sources.cm):../subordinate/sources.cm]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../terminate/(sources.cm):../subordinate/(sources.cm):intset.sml]
[creating directory src/subordinate/.cm/SKEL]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../terminate/(sources.cm):../subordinate/(sources.cm):subordinate.sig]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../terminate/(sources.cm):../subordinate/(sources.cm):subordinate.fun]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../terminate/(sources.cm):../subordinate/(sources.cm):subordinate.sml]
[scanning (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../terminate/(sources.cm):../solvers/sources.cm]
[scanning (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../terminate/(sources.cm):../solvers/(sources.cm):../domains/sources.cm]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../terminate/(sources.cm):../solvers/(sources.cm):../domains/(sources.cm):field.sig]
[creating directory src/domains/.cm/SKEL]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../terminate/(sources.cm):../solvers/(sources.cm):../domains/(sources.cm):ordered-field.sig]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../terminate/(sources.cm):../solvers/(sources.cm):../domains/(sources.cm):integers.sig]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../terminate/(sources.cm):../solvers/(sources.cm):../domains/(sources.cm):integers.fun]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../terminate/(sources.cm):../solvers/(sources.cm):../domains/(sources.cm):rationals.sig]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../terminate/(sources.cm):../solvers/(sources.cm):../domains/(sources.cm):rationals.fun]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../terminate/(sources.cm):../solvers/(sources.cm):../domains/(sources.cm):integers-mod.fun]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../terminate/(sources.cm):../solvers/(sources.cm):../domains/(sources.cm):domains.sml]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../terminate/(sources.cm):../solvers/(sources.cm):cs-manager.sig]
[creating directory src/solvers/.cm/SKEL]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../terminate/(sources.cm):../solvers/(sources.cm):cs-manager.fun]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../terminate/(sources.cm):../solvers/(sources.cm):cs.sig]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../terminate/(sources.cm):../solvers/(sources.cm):cs-eq-field.sig]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../terminate/(sources.cm):../solvers/(sources.cm):cs-eq-field.fun]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../terminate/(sources.cm):../solvers/(sources.cm):cs-ineq-field.fun]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../terminate/(sources.cm):../solvers/(sources.cm):cs-eq-integers.sig]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../terminate/(sources.cm):../solvers/(sources.cm):cs-eq-integers.fun]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../terminate/(sources.cm):../solvers/(sources.cm):cs-ineq-integers.fun]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../terminate/(sources.cm):../solvers/(sources.cm):cs-eq-strings.fun]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../terminate/(sources.cm):../solvers/(sources.cm):cs-eq-bools.fun]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../terminate/(sources.cm):../solvers/(sources.cm):cs-integers-word.fun]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../terminate/(sources.cm):../solvers/(sources.cm):solvers.sml]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../terminate/(sources.cm):checking.sig]
[creating directory src/terminate/.cm/SKEL]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../terminate/(sources.cm):checking.fun]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../terminate/(sources.cm):reduces.sig]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../terminate/(sources.cm):reduces.fun]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../terminate/(sources.cm):terminate.sml]
[scanning (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../thm/sources.cm]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../thm/(sources.cm):thmsyn.sig]
[creating directory src/thm/.cm/SKEL]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../thm/(sources.cm):thmsyn.fun]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../thm/(sources.cm):thmprint.sig]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../thm/(sources.cm):thmprint.fun]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../thm/(sources.cm):thm.sig]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../thm/(sources.cm):thm.fun]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../thm/(sources.cm):thm.sml]
[scanning (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../m2/sources.cm]
[scanning (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../m2/(sources.cm):../opsem/sources.cm]
[scanning (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../m2/(sources.cm):../opsem/(sources.cm):../compile/sources.cm]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../m2/(sources.cm):../opsem/(sources.cm):../compile/(sources.cm):compsyn.sig]
[creating directory src/compile/.cm/SKEL]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../m2/(sources.cm):../opsem/(sources.cm):../compile/(sources.cm):compsyn.fun]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../m2/(sources.cm):../opsem/(sources.cm):../compile/(sources.cm):compile.sig]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../m2/(sources.cm):../opsem/(sources.cm):../compile/(sources.cm):compile.fun]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../m2/(sources.cm):../opsem/(sources.cm):../compile/(sources.cm):cprint.sig]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../m2/(sources.cm):../opsem/(sources.cm):../compile/(sources.cm):cprint.fun]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../m2/(sources.cm):../opsem/(sources.cm):../compile/(sources.cm):assign.sig]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../m2/(sources.cm):../opsem/(sources.cm):../compile/(sources.cm):assign.fun]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../m2/(sources.cm):../opsem/(sources.cm):../compile/(sources.cm):compile.sml]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../m2/(sources.cm):../opsem/(sources.cm):abstract.sig]
[creating directory src/opsem/.cm/SKEL]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../m2/(sources.cm):../opsem/(sources.cm):abstract.fun]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../m2/(sources.cm):../opsem/(sources.cm):index.sig]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../m2/(sources.cm):../opsem/(sources.cm):index.fun]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../m2/(sources.cm):../opsem/(sources.cm):tabled.sig]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../m2/(sources.cm):../opsem/(sources.cm):tabled.fun]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../m2/(sources.cm):../opsem/(sources.cm):absmachine.sig]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../m2/(sources.cm):../opsem/(sources.cm):absmachine.fun]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../m2/(sources.cm):../opsem/(sources.cm):ptrecon.sig]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../m2/(sources.cm):../opsem/(sources.cm):ptrecon.fun]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../m2/(sources.cm):../opsem/(sources.cm):trace.sig]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../m2/(sources.cm):../opsem/(sources.cm):trace.fun]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../m2/(sources.cm):../opsem/(sources.cm):tmachine.fun]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../m2/(sources.cm):../opsem/(sources.cm):swmachine.fun]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../m2/(sources.cm):../opsem/(sources.cm):opsem.sml]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../m2/(sources.cm):meta-global.sig]
[creating directory src/m2/.cm/SKEL]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../m2/(sources.cm):meta-global.sml]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../m2/(sources.cm):skolem.sig]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../m2/(sources.cm):skolem.fun]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../m2/(sources.cm):metasyn.sig]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../m2/(sources.cm):metasyn.fun]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../m2/(sources.cm):meta-abstract.sig]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../m2/(sources.cm):meta-abstract.fun]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../m2/(sources.cm):meta-print.sig]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../m2/(sources.cm):meta-print.fun]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../m2/(sources.cm):init.sig]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../m2/(sources.cm):init.fun]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../m2/(sources.cm):search.sig]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../m2/(sources.cm):search.fun]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../m2/(sources.cm):lemma.sig]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../m2/(sources.cm):lemma.fun]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../m2/(sources.cm):splitting.sig]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../m2/(sources.cm):splitting.fun]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../m2/(sources.cm):filling.sig]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../m2/(sources.cm):filling.fun]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../m2/(sources.cm):qed.sig]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../m2/(sources.cm):qed.fun]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../m2/(sources.cm):recursion.sig]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../m2/(sources.cm):recursion.fun]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../m2/(sources.cm):strategy.sig]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../m2/(sources.cm):strategy.fun]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../m2/(sources.cm):prover.sig]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../m2/(sources.cm):prover.fun]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../m2/(sources.cm):mpi.sig]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../m2/(sources.cm):mpi.fun]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../m2/(sources.cm):m2.sml]
[scanning (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../modules/sources.cm]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../modules/(sources.cm):modsyn.sig]
[creating directory src/modules/.cm/SKEL]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../modules/(sources.cm):modsyn.fun]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../modules/(sources.cm):modules.sml]
[scanning (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../meta/sources.cm]
[scanning (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../meta/(sources.cm):../heuristic/sources.cm]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../meta/(sources.cm):../heuristic/(sources.cm):heuristic.sig]
[creating directory src/heuristic/.cm/SKEL]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../meta/(sources.cm):../heuristic/(sources.cm):heuristic.sum.fun]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../meta/(sources.cm):funsyn.sig]
[creating directory src/meta/.cm/SKEL]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../meta/(sources.cm):funsyn.fun]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../meta/(sources.cm):funnames.sig]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../meta/(sources.cm):funnames.fun]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../meta/(sources.cm):funtypecheck.sig]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../meta/(sources.cm):funtypecheck.fun]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../meta/(sources.cm):funprint.sig]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../meta/(sources.cm):funprint.fun]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../meta/(sources.cm):weaken.sig]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../meta/(sources.cm):weaken.fun]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../meta/(sources.cm):funweaken.sig]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../meta/(sources.cm):funweaken.fun]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../meta/(sources.cm):relfun.sig]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../meta/(sources.cm):relfun.fun]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../meta/(sources.cm):interpret.sig]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../meta/(sources.cm):meta.sml]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../meta/(sources.cm):abstract.sig]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../meta/(sources.cm):abstract.fun]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../meta/(sources.cm):init.sig]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../meta/(sources.cm):init.fun]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../meta/(sources.cm):filling.sig]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../meta/(sources.cm):filling.fun]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../meta/(sources.cm):global.sig]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../meta/(sources.cm):global.fun]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../meta/(sources.cm):data.sig]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../meta/(sources.cm):data.fun]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../meta/(sources.cm):mpi.sig]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../meta/(sources.cm):mpi.fun]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../meta/(sources.cm):recursion.sig]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../meta/(sources.cm):recursion.fun]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../meta/(sources.cm):search.sig]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../meta/(sources.cm):search.fun]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../meta/(sources.cm):uniquesearch.sig]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../meta/(sources.cm):uniquesearch.fun]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../meta/(sources.cm):splitting.sig]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../meta/(sources.cm):splitting.fun]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../meta/(sources.cm):inference.sig]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../meta/(sources.cm):inference.fun]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../meta/(sources.cm):statesyn.sig]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../meta/(sources.cm):statesyn.fun]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../meta/(sources.cm):strategy.sig]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../meta/(sources.cm):strategy.fun]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../meta/(sources.cm):print.sig]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../meta/(sources.cm):print.fun]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../meta/(sources.cm):prover.fun]
[scanning (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../worldcheck/sources.cm]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../worldcheck/(sources.cm):worldsyn.sig]
[creating directory src/worldcheck/.cm/SKEL]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../worldcheck/(sources.cm):worldsyn.fun]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../worldcheck/(sources.cm):worldprint.sig]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../worldcheck/(sources.cm):worldprint.fun]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../worldcheck/(sources.cm):worldcheck.sml]
[scanning (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../cover/sources.cm]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../cover/(sources.cm):cover.sig]
[creating directory src/cover/.cm/SKEL]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../cover/(sources.cm):cover.fun]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../cover/(sources.cm):total.sig]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../cover/(sources.cm):total.fun]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):../cover/(sources.cm):cover.sml]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):mkabsolute.sig]
[creating directory src/frontend/.cm/SKEL]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):mkabsolute.sml]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):lexer.sig]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):lexer.fun]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):parsing.sig]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):parsing.fun]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):recon-term.sig]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):recon-term.fun]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):recon-condec.sig]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):recon-condec.fun]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):recon-query.sig]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):recon-query.fun]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):recon-mode.sig]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):recon-mode.fun]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):recon-thm.sig]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):recon-thm.fun]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):recon-module.sig]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):recon-module.fun]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):parse-term.sig]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):parse-term.fun]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):parse-condec.sig]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):parse-condec.fun]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):parse-query.sig]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):parse-query.fun]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):parse-fixity.sig]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):parse-fixity.fun]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):parse-mode.sig]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):parse-mode.fun]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):parse-thm.sig]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):parse-thm.fun]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):parse-module.sig]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):parse-module.fun]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):parser.sig]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):parser.fun]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):solve.sig]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):solve.fun]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):twelf.sig]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):twelf.fun]
[parsing (server.cm):src/server/(sources.cm):../frontend/(sources.cm):frontend.sml]
[parsing (server.cm):src/server/(sources.cm):sigint.sig]
[creating directory src/server/.cm/SKEL]
[parsing (server.cm):src/server/(sources.cm):sigint-smlnj.sml]
[parsing (server.cm):src/server/(sources.cm):server.sml]
[compiling (server.cm):src/server/(sources.cm):sigint.sig]
[creating directory src/server/.cm/GUID]
[creating directory src/server/.cm/x86-unix]
[code: 64, env: 111 bytes]
[compiling (server.cm):src/server/(sources.cm):sigint-smlnj.sml]
[code: 652, data: 40, env: 49 bytes]
[compiling (server.cm):src/server/(sources.cm):../timing/(sources.cm):timing.sml]
[creating directory src/timing/.cm/GUID]
src/timing/timing.sml:83.26-84.38 Error: operator and operand don't agree [tycon mismatch]
  operator domain: {gc:Time.time, sys:Time.time, usr:Time.time} * 
                   {gc:Time.time, sys:Time.time, usr:Time.time}
  operand:         {gc:Time.time, sys:Time.time, usr:Time.time} * 
                   {sys:Time.time, usr:Time.time}
  in expression:
    plus (CPUTime,evalCPUTime)
val it = false : bool
stdIn:6.45-6.58 Error: unbound structure: Server in path Server.server
- 
bin/.mkexec "/usr/pkg/bin/sml" "`pwd`" twelf-server "twelf-server" ;
=> Unwrapping files-to-be-installed.
find /scratch/lang/twelf/work/twelf -name "*.orig" | xargs rm