[*] /scratch/lang/coq/work/.tools/bin/true 
<.> true  
[*] /scratch/lang/coq/work/.tools/bin/true 
<.> true  
[*] /scratch/lang/coq/work/.tools/bin/true 
<.> true  
[*] /scratch/lang/coq/work/.tools/bin/true 
<.> true  
[*] /scratch/lang/coq/work/.tools/bin/true 
<.> true  
[*] /scratch/lang/coq/work/.tools/bin/true 
<.> true  
[*] /scratch/lang/coq/work/.tools/bin/true 
<.> true  
[*] /scratch/lang/coq/work/.tools/bin/true 
<.> true  
[*] /scratch/lang/coq/work/.tools/bin/true 
<.> true  
[*] /scratch/lang/coq/work/.tools/bin/true 
<.> true  
[*] /scratch/lang/coq/work/.tools/bin/true 
<.> true  
[*] /scratch/lang/coq/work/.tools/bin/true 
<.> true  
[*] /scratch/lang/coq/work/.tools/bin/true 
<.> true  
[*] /scratch/lang/coq/work/.tools/bin/true 
<.> true  
[*] /scratch/lang/coq/work/.tools/bin/true 
<.> true  
[*] /scratch/lang/coq/work/.tools/bin/true 
<.> true  
[*] /scratch/lang/coq/work/.tools/bin/true 
<.> true  
[*] /scratch/lang/coq/work/.tools/bin/true 
<.> true  
[*] /scratch/lang/coq/work/.tools/bin/true 
<.> true  
[*] /scratch/lang/coq/work/.tools/bin/true 
<.> true  
[*] /scratch/lang/coq/work/.tools/bin/true 
<.> true  
[*] /scratch/lang/coq/work/.tools/bin/true 
<.> true  
[*] /scratch/lang/coq/work/.tools/bin/true 
<.> true  
[*] /scratch/lang/coq/work/.tools/bin/true 
<.> true  
[*] /scratch/lang/coq/work/.tools/bin/true 
<.> true  
[*] /scratch/lang/coq/work/.tools/bin/true 
<.> true  
[*] /scratch/lang/coq/work/.tools/bin/true 
<.> true  
[*] /scratch/lang/coq/work/.tools/bin/true 
<.> true  
[*] /scratch/lang/coq/work/.tools/bin/true 
<.> true  
[*] /scratch/lang/coq/work/.tools/bin/true 
<.> true  
[*] /scratch/lang/coq/work/.tools/bin/true 
<.> true  
[*] /scratch/lang/coq/work/.tools/bin/true 
<.> true  
[*] /scratch/lang/coq/work/.tools/bin/echo *****************************************************
<.> echo  *****************************************************
[*] /scratch/lang/coq/work/.tools/bin/echo *****************************************************
<.> echo  *****************************************************
[*] /scratch/lang/coq/work/.tools/bin/echo ****************** Entering stage1 ******************
<.> echo  ****************** Entering stage1 CHANGES COMPATIBILITY COPYRIGHT CREDITS Coq.bat Coqide.bat INSTALL INSTALL.doc INSTALL.ide INSTALL.macosx LICENSE Makefile Makefile.build Makefile.build.orig Makefile.common Makefile.doc Makefile.stage1 Makefile.stage2 README README.doc README.win _tags bin build checker config configure coq-win32.itarget coq.itarget dev doc ide install.sh interp kernel lib library man myocamlbuild.ml parsing plugins pretyping proofs scripts states tactics test-suite theories tools toplevel
[*] /scratch/lang/coq/work/.tools/bin/echo *****************************************************
<.> echo  *****************************************************
[*] /scratch/lang/coq/work/.tools/bin/echo *****************************************************
<.> echo  *****************************************************
[*] cc -MM -MQ kernel/byterun/coq_memory.c.d -MQ kernel/byterun/coq_memory.o -fno-defer-pop -Wall -Wno-unused -isystem /usr/pkg/lib/ocaml kernel/byterun/coq_memory.c
<.> /scratch/lang/coq/work/.gcc/bin/gcc -MM -MQ kernel/byterun/coq_memory.c.d -MQ kernel/byterun/coq_memory.o -fno-defer-pop -Wall -Wno-unused -isystem /usr/pkg/lib/ocaml kernel/byterun/coq_memory.c -I/scratch/lang/coq/work/.buildlink/include -L/scratch/lang/coq/work/.buildlink/lib
[*] cc -MM -MQ kernel/byterun/coq_fix_code.c.d -MQ kernel/byterun/coq_fix_code.o -fno-defer-pop -Wall -Wno-unused -isystem /usr/pkg/lib/ocaml kernel/byterun/coq_fix_code.c
<.> /scratch/lang/coq/work/.gcc/bin/gcc -MM -MQ kernel/byterun/coq_fix_code.c.d -MQ kernel/byterun/coq_fix_code.o -fno-defer-pop -Wall -Wno-unused -isystem /usr/pkg/lib/ocaml kernel/byterun/coq_fix_code.c -I/scratch/lang/coq/work/.buildlink/include -L/scratch/lang/coq/work/.buildlink/lib
[*] cc -MM -MQ kernel/byterun/coq_interp.c.d -MQ kernel/byterun/coq_interp.o -fno-defer-pop -Wall -Wno-unused -isystem /usr/pkg/lib/ocaml kernel/byterun/coq_interp.c
<.> /scratch/lang/coq/work/.gcc/bin/gcc -MM -MQ kernel/byterun/coq_interp.c.d -MQ kernel/byterun/coq_interp.o -fno-defer-pop -Wall -Wno-unused -isystem /usr/pkg/lib/ocaml kernel/byterun/coq_interp.c -I/scratch/lang/coq/work/.buildlink/include -L/scratch/lang/coq/work/.buildlink/lib
[*] cc -MM -MQ kernel/byterun/coq_values.c.d -MQ kernel/byterun/coq_values.o -fno-defer-pop -Wall -Wno-unused -isystem /usr/pkg/lib/ocaml kernel/byterun/coq_values.c
<.> /scratch/lang/coq/work/.gcc/bin/gcc -MM -MQ kernel/byterun/coq_values.c.d -MQ kernel/byterun/coq_values.o -fno-defer-pop -Wall -Wno-unused -isystem /usr/pkg/lib/ocaml kernel/byterun/coq_values.c -I/scratch/lang/coq/work/.buildlink/include -L/scratch/lang/coq/work/.buildlink/lib
[*] as -o tools/coqdep_lexer.o /tmp/camlasm3e2c89.s
<.> as -o tools/coqdep_lexer.o /tmp/camlasm3e2c89.s
[*] as -o tools/coqdep_common.o /tmp/camlasmd5f56a.s
<.> as -o tools/coqdep_common.o /tmp/camlasmd5f56a.s
[*] as -o tools/coqdep_boot.o /tmp/camlasm52e787.s
<.> as -o tools/coqdep_boot.o /tmp/camlasm52e787.s
[*] as -o /tmp/camlstartupaac192.o /tmp/camlstartup936fac.s
<.> as -o /tmp/camlstartupaac192.o /tmp/camlstartup936fac.s
[*] cc -o bin/coqdep_boot -Lconfig -Ltools -Ltools/coqdoc -Lscripts -Llib -Lkernel -Lkernel/byterun -Llibrary -Lproofs -Ltactics -Lpretyping -Linterp -Ltoplevel -Lparsing -Lide/utils -Lide -Lplugins/omega -Lplugins/romega -Lplugins/micromega -Lplugins/quote -Lplugins/ring -Lplugins/dp -Lplugins/setoid_ring -Lplugins/xml -Lplugins/extraction -Lplugins/fourier -Lplugins/cc -Lplugins/funind -Lplugins/firstorder -Lplugins/field -Lplugins/subtac -Lplugins/rtauto -Lplugins/nsatz -Lplugins/syntax -L/usr/pkg/lib/ocaml/camlp5 -Ltools -L/usr/pkg/lib/ocaml -O2 -I/usr/include -L/usr/lib -Wl,-R/usr/lib -L/usr/pkg/lib -Wl,-R/usr/pkg/lib /tmp/camlstartupaac192.o /usr/pkg/lib/ocaml/std_exit.o tools/coqdep_boot.o tools/coqdep_common.o tools/coqdep_lexer.o /usr/pkg/lib/ocaml/unix.a /usr/pkg/lib/ocaml/stdlib.a -lunix /usr/pkg/lib/ocaml/libasmrun.a -L/usr/lib -Wl,-R/usr/lib -Wl,-R/usr/pkg/lib -lm
<.> /scratch/lang/coq/work/.gcc/bin/gcc -o bin/coqdep_boot -Lconfig -Ltools -Ltools/coqdoc -Lscripts -Llib -Lkernel -Lkernel/byterun -Llibrary -Lproofs -Ltactics -Lpretyping -Linterp -Ltoplevel -Lparsing -Lide/utils -Lide -Lplugins/omega -Lplugins/romega -Lplugins/micromega -Lplugins/quote -Lplugins/ring -Lplugins/dp -Lplugins/setoid_ring -Lplugins/xml -Lplugins/extraction -Lplugins/fourier -Lplugins/cc -Lplugins/funind -Lplugins/firstorder -Lplugins/field -Lplugins/subtac -Lplugins/rtauto -Lplugins/nsatz -Lplugins/syntax -L/scratch/lang/coq/work/.buildlink/lib/ocaml/camlp5 -L/scratch/lang/coq/work/.buildlink/lib/ocaml -O2 -I/usr/include -L/usr/lib -Wl,-rpath,/usr/lib -L/scratch/lang/coq/work/.buildlink/lib -Wl,-rpath,/usr/pkg/lib /tmp/camlstartupaac192.o /usr/pkg/lib/ocaml/std_exit.o tools/coqdep_boot.o tools/coqdep_common.o tools/coqdep_lexer.o /usr/pkg/lib/ocaml/unix.a /usr/pkg/lib/ocaml/stdlib.a -lunix /usr/pkg/lib/ocaml/libasmrun.a -Wl,-rpath,/usr/lib -Wl,-rpath,/usr/pkg/lib -lm -I/scratch/lang/coq/work/.buildlink/include
[*] /scratch/lang/coq/work/.tools/bin/echo *****************************************************
<.> echo  *****************************************************
[*] /scratch/lang/coq/work/.tools/bin/echo *****************************************************
<.> echo  *****************************************************
[*] /scratch/lang/coq/work/.tools/bin/echo ****************** Entering stage2 ******************
<.> echo  ****************** Entering stage2 CHANGES COMPATIBILITY COPYRIGHT CREDITS Coq.bat Coqide.bat INSTALL INSTALL.doc INSTALL.ide INSTALL.macosx LICENSE Makefile Makefile.build Makefile.build.orig Makefile.common Makefile.doc Makefile.stage1 Makefile.stage2 README README.doc README.win _tags bin build checker config configure coq-win32.itarget coq.itarget dev doc ide install.sh interp kernel lib library man myocamlbuild.ml myocamlbuild.ml.d parsing plugins pretyping proofs scripts states tactics test-suite theories tools toplevel
[*] /scratch/lang/coq/work/.tools/bin/echo *****************************************************
<.> echo  *****************************************************
[*] /scratch/lang/coq/work/.tools/bin/echo *****************************************************
<.> echo  *****************************************************
[*] as -o config/coq_config.o /tmp/camlasm085c3b.s
<.> as -o config/coq_config.o /tmp/camlasm085c3b.s
[*] as -o lib/compat.o /tmp/camlasm5cf3e5.s
<.> as -o lib/compat.o /tmp/camlasm5cf3e5.s
[*] as -o lib/pp_control.o /tmp/camlasm1eefce.s
<.> as -o lib/pp_control.o /tmp/camlasm1eefce.s
[*] as -o lib/segmenttree.o /tmp/camlasmc4c714.s
<.> as -o lib/segmenttree.o /tmp/camlasmc4c714.s
[*] as -o scripts/tolink.o /tmp/camlasm075b34.s
<.> as -o scripts/tolink.o /tmp/camlasm075b34.s
[*] as -o lib/hashcons.o /tmp/camlasmffe76a.s
<.> as -o lib/hashcons.o /tmp/camlasmffe76a.s
[*] as -o lib/unicodetable.o /tmp/camlasm256349.s
<.> as -o lib/unicodetable.o /tmp/camlasm256349.s
[*] as -o lib/predicate.o /tmp/camlasma1d9d7.s
<.> as -o lib/predicate.o /tmp/camlasma1d9d7.s
[*] as -o kernel/copcodes.o /tmp/camlasm3873f8.s
<.> as -o kernel/copcodes.o /tmp/camlasm3873f8.s
[*] as -o lib/option.o /tmp/camlasm737513.s
<.> as -o lib/option.o /tmp/camlasm737513.s
[*] as -o lib/profile.o /tmp/camlasmfa23b3.s
<.> as -o lib/profile.o /tmp/camlasmfa23b3.s
[*] as -o plugins/micromega/sos_types.o /tmp/camlasm683367.s
<.> as -o plugins/micromega/sos_types.o /tmp/camlasm683367.s
[*] as -o plugins/micromega/persistent_cache.o /tmp/camlasm82fe7a.s
<.> as -o plugins/micromega/persistent_cache.o /tmp/camlasm82fe7a.s
[*] as -o plugins/fourier/fourier.o /tmp/camlasm70530c.s
<.> as -o plugins/fourier/fourier.o /tmp/camlasm70530c.s
[*] cc -O2 -I/usr/include -D_FILE_OFFSET_BITS=64 -D_REENTRANT -fPIC -c -O2 -I/usr/include -fno-defer-pop -Wall -Wno-unused -I/usr/pkg/lib/ocaml coq_memory.c
<.> /scratch/lang/coq/work/.gcc/bin/gcc -O2 -I/usr/include -D_FILE_OFFSET_BITS=64 -D_REENTRANT -fPIC -c -O2 -fno-defer-pop -Wall -Wno-unused -I/scratch/lang/coq/work/.buildlink/lib/ocaml coq_memory.c -I/scratch/lang/coq/work/.buildlink/include -L/scratch/lang/coq/work/.buildlink/lib
[*] cc -O2 -I/usr/include -D_FILE_OFFSET_BITS=64 -D_REENTRANT -fPIC -c -O2 -I/usr/include -fno-defer-pop -Wall -Wno-unused -I/usr/pkg/lib/ocaml coq_fix_code.c
<.> /scratch/lang/coq/work/.gcc/bin/gcc -O2 -I/usr/include -D_FILE_OFFSET_BITS=64 -D_REENTRANT -fPIC -c -O2 -fno-defer-pop -Wall -Wno-unused -I/scratch/lang/coq/work/.buildlink/lib/ocaml coq_fix_code.c -I/scratch/lang/coq/work/.buildlink/include -L/scratch/lang/coq/work/.buildlink/lib
[*] cc -O2 -I/usr/include -D_FILE_OFFSET_BITS=64 -D_REENTRANT -fPIC -c -O2 -I/usr/include -fno-defer-pop -Wall -Wno-unused -I/usr/pkg/lib/ocaml coq_values.c
<.> /scratch/lang/coq/work/.gcc/bin/gcc -O2 -I/usr/include -D_FILE_OFFSET_BITS=64 -D_REENTRANT -fPIC -c -O2 -fno-defer-pop -Wall -Wno-unused -I/scratch/lang/coq/work/.buildlink/lib/ocaml coq_values.c -I/scratch/lang/coq/work/.buildlink/include -L/scratch/lang/coq/work/.buildlink/lib
[*] cc -O2 -I/usr/include -D_FILE_OFFSET_BITS=64 -D_REENTRANT -fPIC -c -O2 -I/usr/include -fno-defer-pop -Wall -Wno-unused -I/usr/pkg/lib/ocaml coq_interp.c
<.> /scratch/lang/coq/work/.gcc/bin/gcc -O2 -I/usr/include -D_FILE_OFFSET_BITS=64 -D_REENTRANT -fPIC -c -O2 -fno-defer-pop -Wall -Wno-unused -I/scratch/lang/coq/work/.buildlink/lib/ocaml coq_interp.c -I/scratch/lang/coq/work/.buildlink/include -L/scratch/lang/coq/work/.buildlink/lib
[*] as -o tools/coq_makefile.o /tmp/camlasmbb25b9.s
<.> as -o tools/coq_makefile.o /tmp/camlasmbb25b9.s
[*] as -o tools/gallina_lexer.o /tmp/camlasmce5338.s
<.> as -o tools/gallina_lexer.o /tmp/camlasmce5338.s
[*] as -o tools/coqwc.o /tmp/camlasme20ee9.s
<.> as -o tools/coqwc.o /tmp/camlasme20ee9.s
[*] as -o tools/coq_tex.o /tmp/camlasm78ef9c.s
<.> as -o tools/coq_tex.o /tmp/camlasm78ef9c.s
[*] as -o tools/coqdoc/cdglobals.o /tmp/camlasm35b8a8.s
<.> as -o tools/coqdoc/cdglobals.o /tmp/camlasm35b8a8.s
[*] as -o checker/validate.o /tmp/camlasm5f899a.s
<.> as -o checker/validate.o /tmp/camlasm5f899a.s
[*] as -o lib/flags.o /tmp/camlasm7ccdea.s
<.> as -o lib/flags.o /tmp/camlasm7ccdea.s
[*] as -o lib/pp.o /tmp/camlasm262a9c.s
<.> as -o lib/pp.o /tmp/camlasm262a9c.s
[*] as -o lib/gmap.o /tmp/camlasm98a592.s
<.> as -o lib/gmap.o /tmp/camlasm98a592.s
[*] as -o lib/gset.o /tmp/camlasm50269d.s
<.> as -o lib/gset.o /tmp/camlasm50269d.s
[*] as -o lib/fset.o /tmp/camlasm6e2896.s
<.> as -o lib/fset.o /tmp/camlasm6e2896.s
[*] as -o lib/heap.o /tmp/camlasm86ac91.s
<.> as -o lib/heap.o /tmp/camlasm86ac91.s
[*] as -o lib/explore.o /tmp/camlasm1e7046.s
<.> as -o lib/explore.o /tmp/camlasm1e7046.s
[*] as -o lib/fmap.o /tmp/camlasmccc981.s
<.> as -o lib/fmap.o /tmp/camlasmccc981.s
[*] as -o lib/dnet.o /tmp/camlasm7d1984.s
<.> as -o lib/dnet.o /tmp/camlasm7d1984.s
[*] as -o toplevel/usage.o /tmp/camlasm7469e0.s
<.> as -o toplevel/usage.o /tmp/camlasm7469e0.s
[*] as -o plugins/micromega/sos_lib.o /tmp/camlasm706f41.s
<.> as -o plugins/micromega/sos_lib.o /tmp/camlasm706f41.s
[*] as -o plugins/micromega/micromega.o /tmp/camlasmcd4df8.s
<.> as -o plugins/micromega/micromega.o /tmp/camlasmcd4df8.s
[*] as -o plugins/xml/unshare.o /tmp/camlasme780b6.s
<.> as -o plugins/xml/unshare.o /tmp/camlasme780b6.s
[*] as -o plugins/nsatz/utile.o /tmp/camlasm4af0a6.s
<.> as -o plugins/nsatz/utile.o /tmp/camlasm4af0a6.s
[*] as -o plugins/xml/xml.o /tmp/camlasm520852.s
<.> as -o plugins/xml/xml.o /tmp/camlasm520852.s
[*] cc -shared -o ./dllcoqrun.so coq_fix_code.o coq_memory.o coq_values.o coq_interp.o
<.> /scratch/lang/coq/work/.gcc/bin/gcc -shared -o ./dllcoqrun.so coq_fix_code.o coq_memory.o coq_values.o coq_interp.o -I/scratch/lang/coq/work/.buildlink/include -L/scratch/lang/coq/work/.buildlink/lib
[*] as -o tools/gallina.o /tmp/camlasm38bb0d.s
<.> as -o tools/gallina.o /tmp/camlasm38bb0d.s
[*] as -o /tmp/camlstartupef821f.o /tmp/camlstartup073fd3.s
<.> as -o /tmp/camlstartupef821f.o /tmp/camlstartup073fd3.s
[*] as -o /tmp/camlstartup09166c.o /tmp/camlstartupbcd82e.s
<.> as -o /tmp/camlstartup09166c.o /tmp/camlstartupbcd82e.s
[*] cc -o bin/coq-tex -Lconfig -Ltools -Ltools/coqdoc -Lscripts -Llib -Lkernel -Lkernel/byterun -Llibrary -Lproofs -Ltactics -Lpretyping -Linterp -Ltoplevel -Lparsing -Lide/utils -Lide -Lplugins/omega -Lplugins/romega -Lplugins/micromega -Lplugins/quote -Lplugins/ring -Lplugins/dp -Lplugins/setoid_ring -Lplugins/xml -Lplugins/extraction -Lplugins/fourier -Lplugins/cc -Lplugins/funind -Lplugins/firstorder -Lplugins/field -Lplugins/subtac -Lplugins/rtauto -Lplugins/nsatz -Lplugins/syntax -L/usr/pkg/lib/ocaml/camlp5 -L/usr/pkg/lib/ocaml -O2 -I/usr/include -L/usr/lib -Wl,-R/usr/lib -L/usr/pkg/lib -Wl,-R/usr/pkg/lib /tmp/camlstartupef821f.o /usr/pkg/lib/ocaml/std_exit.o tools/coq_tex.o /usr/pkg/lib/ocaml/str.a /usr/pkg/lib/ocaml/stdlib.a -lcamlstr /usr/pkg/lib/ocaml/libasmrun.a -L/usr/lib -Wl,-R/usr/lib -Wl,-R/usr/pkg/lib -lm
<.> /scratch/lang/coq/work/.gcc/bin/gcc -o bin/coq-tex -Lconfig -Ltools -Ltools/coqdoc -Lscripts -Llib -Lkernel -Lkernel/byterun -Llibrary -Lproofs -Ltactics -Lpretyping -Linterp -Ltoplevel -Lparsing -Lide/utils -Lide -Lplugins/omega -Lplugins/romega -Lplugins/micromega -Lplugins/quote -Lplugins/ring -Lplugins/dp -Lplugins/setoid_ring -Lplugins/xml -Lplugins/extraction -Lplugins/fourier -Lplugins/cc -Lplugins/funind -Lplugins/firstorder -Lplugins/field -Lplugins/subtac -Lplugins/rtauto -Lplugins/nsatz -Lplugins/syntax -L/scratch/lang/coq/work/.buildlink/lib/ocaml/camlp5 -L/scratch/lang/coq/work/.buildlink/lib/ocaml -O2 -I/usr/include -L/usr/lib -Wl,-rpath,/usr/lib -L/scratch/lang/coq/work/.buildlink/lib -Wl,-rpath,/usr/pkg/lib /tmp/camlstartupef821f.o /usr/pkg/lib/ocaml/std_exit.o tools/coq_tex.o /usr/pkg/lib/ocaml/str.a /usr/pkg/lib/ocaml/stdlib.a -lcamlstr /usr/pkg/lib/ocaml/libasmrun.a -Wl,-rpath,/usr/lib -Wl,-rpath,/usr/pkg/lib -lm -I/scratch/lang/coq/work/.buildlink/include
[*] cc -o bin/coq_makefile -Lconfig -Ltools -Ltools/coqdoc -Lscripts -Llib -Lkernel -Lkernel/byterun -Llibrary -Lproofs -Ltactics -Lpretyping -Linterp -Ltoplevel -Lparsing -Lide/utils -Lide -Lplugins/omega -Lplugins/romega -Lplugins/micromega -Lplugins/quote -Lplugins/ring -Lplugins/dp -Lplugins/setoid_ring -Lplugins/xml -Lplugins/extraction -Lplugins/fourier -Lplugins/cc -Lplugins/funind -Lplugins/firstorder -Lplugins/field -Lplugins/subtac -Lplugins/rtauto -Lplugins/nsatz -Lplugins/syntax -L/usr/pkg/lib/ocaml/camlp5 -L/usr/pkg/lib/ocaml -O2 -I/usr/include -L/usr/lib -Wl,-R/usr/lib -L/usr/pkg/lib -Wl,-R/usr/pkg/lib /tmp/camlstartup09166c.o /usr/pkg/lib/ocaml/std_exit.o tools/coq_makefile.o config/coq_config.o /usr/pkg/lib/ocaml/str.a /usr/pkg/lib/ocaml/stdlib.a -lcamlstr /usr/pkg/lib/ocaml/libasmrun.a -L/usr/lib -Wl,-R/usr/lib -Wl,-R/usr/pkg/lib -lm
<.> /scratch/lang/coq/work/.gcc/bin/gcc -o bin/coq_makefile -Lconfig -Ltools -Ltools/coqdoc -Lscripts -Llib -Lkernel -Lkernel/byterun -Llibrary -Lproofs -Ltactics -Lpretyping -Linterp -Ltoplevel -Lparsing -Lide/utils -Lide -Lplugins/omega -Lplugins/romega -Lplugins/micromega -Lplugins/quote -Lplugins/ring -Lplugins/dp -Lplugins/setoid_ring -Lplugins/xml -Lplugins/extraction -Lplugins/fourier -Lplugins/cc -Lplugins/funind -Lplugins/firstorder -Lplugins/field -Lplugins/subtac -Lplugins/rtauto -Lplugins/nsatz -Lplugins/syntax -L/scratch/lang/coq/work/.buildlink/lib/ocaml/camlp5 -L/scratch/lang/coq/work/.buildlink/lib/ocaml -O2 -I/usr/include -L/usr/lib -Wl,-rpath,/usr/lib -L/scratch/lang/coq/work/.buildlink/lib -Wl,-rpath,/usr/pkg/lib /tmp/camlstartup09166c.o /usr/pkg/lib/ocaml/std_exit.o tools/coq_makefile.o config/coq_config.o /usr/pkg/lib/ocaml/str.a /usr/pkg/lib/ocaml/stdlib.a -lcamlstr /usr/pkg/lib/ocaml/libasmrun.a -Wl,-rpath,/usr/lib -Wl,-rpath,/usr/pkg/lib -lm -I/scratch/lang/coq/work/.buildlink/include
[*] as -o /tmp/camlstartup315348.o /tmp/camlstartup9be681.s
<.> as -o /tmp/camlstartup315348.o /tmp/camlstartup9be681.s
[*] cc -o bin/coqwc -Lconfig -Ltools -Ltools/coqdoc -Lscripts -Llib -Lkernel -Lkernel/byterun -Llibrary -Lproofs -Ltactics -Lpretyping -Linterp -Ltoplevel -Lparsing -Lide/utils -Lide -Lplugins/omega -Lplugins/romega -Lplugins/micromega -Lplugins/quote -Lplugins/ring -Lplugins/dp -Lplugins/setoid_ring -Lplugins/xml -Lplugins/extraction -Lplugins/fourier -Lplugins/cc -Lplugins/funind -Lplugins/firstorder -Lplugins/field -Lplugins/subtac -Lplugins/rtauto -Lplugins/nsatz -Lplugins/syntax -L/usr/pkg/lib/ocaml/camlp5 -L/usr/pkg/lib/ocaml -O2 -I/usr/include -L/usr/lib -Wl,-R/usr/lib -L/usr/pkg/lib -Wl,-R/usr/pkg/lib /tmp/camlstartup315348.o /usr/pkg/lib/ocaml/std_exit.o tools/coqwc.o /usr/pkg/lib/ocaml/stdlib.a /usr/pkg/lib/ocaml/libasmrun.a -L/usr/lib -Wl,-R/usr/lib -Wl,-R/usr/pkg/lib -lm
<.> /scratch/lang/coq/work/.gcc/bin/gcc -o bin/coqwc -Lconfig -Ltools -Ltools/coqdoc -Lscripts -Llib -Lkernel -Lkernel/byterun -Llibrary -Lproofs -Ltactics -Lpretyping -Linterp -Ltoplevel -Lparsing -Lide/utils -Lide -Lplugins/omega -Lplugins/romega -Lplugins/micromega -Lplugins/quote -Lplugins/ring -Lplugins/dp -Lplugins/setoid_ring -Lplugins/xml -Lplugins/extraction -Lplugins/fourier -Lplugins/cc -Lplugins/funind -Lplugins/firstorder -Lplugins/field -Lplugins/subtac -Lplugins/rtauto -Lplugins/nsatz -Lplugins/syntax -L/scratch/lang/coq/work/.buildlink/lib/ocaml/camlp5 -L/scratch/lang/coq/work/.buildlink/lib/ocaml -O2 -I/usr/include -L/usr/lib -Wl,-rpath,/usr/lib -L/scratch/lang/coq/work/.buildlink/lib -Wl,-rpath,/usr/pkg/lib /tmp/camlstartup315348.o /usr/pkg/lib/ocaml/std_exit.o tools/coqwc.o /usr/pkg/lib/ocaml/stdlib.a /usr/pkg/lib/ocaml/libasmrun.a -Wl,-rpath,/usr/lib -Wl,-rpath,/usr/pkg/lib -lm -I/scratch/lang/coq/work/.buildlink/include
[*] as -o tools/coqdoc/alpha.o /tmp/camlasmcd781f.s
<.> as -o tools/coqdoc/alpha.o /tmp/camlasmcd781f.s
[*] as -o lib/bigint.o /tmp/camlasm6d6ec5.s
<.> as -o lib/bigint.o /tmp/camlasm6d6ec5.s
[*] as -o lib/tlm.o /tmp/camlasmaf3fdf.s
<.> as -o lib/tlm.o /tmp/camlasmaf3fdf.s
[*] as -o lib/tries.o /tmp/camlasm3c9009.s
<.> as -o lib/tries.o /tmp/camlasm3c9009.s
[*] as -o plugins/micromega/sos.o /tmp/camlasm939e03.s
<.> as -o plugins/micromega/sos.o /tmp/camlasm939e03.s
[*] as -o tactics/dn.o /tmp/camlasmf515bc.s
<.> as -o tactics/dn.o /tmp/camlasmf515bc.s
[*] as -o lib/util.o /tmp/camlasm20ee09.s
<.> as -o lib/util.o /tmp/camlasm20ee09.s
[*] as -o plugins/micromega/mutils.o /tmp/camlasme16a14.s
<.> as -o plugins/micromega/mutils.o /tmp/camlasme16a14.s
[*] as -o plugins/nsatz/polynom.o /tmp/camlasm01e0c9.s
<.> as -o plugins/nsatz/polynom.o /tmp/camlasm01e0c9.s
[*] as -o tools/coqdoc/index.o /tmp/camlasm50a15e.s
<.> as -o tools/coqdoc/index.o /tmp/camlasm50a15e.s
[*] as -o /tmp/camlstartup4334eb.o /tmp/camlstartup0f4c8f.s
<.> as -o /tmp/camlstartup4334eb.o /tmp/camlstartup0f4c8f.s
[*] cc -o bin/gallina -Lconfig -Ltools -Ltools/coqdoc -Lscripts -Llib -Lkernel -Lkernel/byterun -Llibrary -Lproofs -Ltactics -Lpretyping -Linterp -Ltoplevel -Lparsing -Lide/utils -Lide -Lplugins/omega -Lplugins/romega -Lplugins/micromega -Lplugins/quote -Lplugins/ring -Lplugins/dp -Lplugins/setoid_ring -Lplugins/xml -Lplugins/extraction -Lplugins/fourier -Lplugins/cc -Lplugins/funind -Lplugins/firstorder -Lplugins/field -Lplugins/subtac -Lplugins/rtauto -Lplugins/nsatz -Lplugins/syntax -L/usr/pkg/lib/ocaml/camlp5 -L/usr/pkg/lib/ocaml -O2 -I/usr/include -L/usr/lib -Wl,-R/usr/lib -L/usr/pkg/lib -Wl,-R/usr/pkg/lib /tmp/camlstartup4334eb.o /usr/pkg/lib/ocaml/std_exit.o tools/gallina.o tools/gallina_lexer.o /usr/pkg/lib/ocaml/stdlib.a /usr/pkg/lib/ocaml/libasmrun.a -L/usr/lib -Wl,-R/usr/lib -Wl,-R/usr/pkg/lib -lm
<.> /scratch/lang/coq/work/.gcc/bin/gcc -o bin/gallina -Lconfig -Ltools -Ltools/coqdoc -Lscripts -Llib -Lkernel -Lkernel/byterun -Llibrary -Lproofs -Ltactics -Lpretyping -Linterp -Ltoplevel -Lparsing -Lide/utils -Lide -Lplugins/omega -Lplugins/romega -Lplugins/micromega -Lplugins/quote -Lplugins/ring -Lplugins/dp -Lplugins/setoid_ring -Lplugins/xml -Lplugins/extraction -Lplugins/fourier -Lplugins/cc -Lplugins/funind -Lplugins/firstorder -Lplugins/field -Lplugins/subtac -Lplugins/rtauto -Lplugins/nsatz -Lplugins/syntax -L/scratch/lang/coq/work/.buildlink/lib/ocaml/camlp5 -L/scratch/lang/coq/work/.buildlink/lib/ocaml -O2 -I/usr/include -L/usr/lib -Wl,-rpath,/usr/lib -L/scratch/lang/coq/work/.buildlink/lib -Wl,-rpath,/usr/pkg/lib /tmp/camlstartup4334eb.o /usr/pkg/lib/ocaml/std_exit.o tools/gallina.o tools/gallina_lexer.o /usr/pkg/lib/ocaml/stdlib.a /usr/pkg/lib/ocaml/libasmrun.a -Wl,-rpath,/usr/lib -Wl,-rpath,/usr/pkg/lib -lm -I/scratch/lang/coq/work/.buildlink/include
[*] as -o plugins/micromega/csdpcert.o /tmp/camlasm51d496.s
<.> as -o plugins/micromega/csdpcert.o /tmp/camlasm51d496.s
[*] as -o lib/dyn.o /tmp/camlasm8bb580.s
<.> as -o lib/dyn.o /tmp/camlasm8bb580.s
[*] as -o lib/bstack.o /tmp/camlasmc0a24a.s
<.> as -o lib/bstack.o /tmp/camlasmc0a24a.s
[*] as -o lib/gmapl.o /tmp/camlasm1ce3bd.s
<.> as -o lib/gmapl.o /tmp/camlasm1ce3bd.s
[*] as -o lib/rtree.o /tmp/camlasm14354c.s
<.> as -o lib/rtree.o /tmp/camlasm14354c.s
[*] as -o lib/system.o /tmp/camlasmea283a.s
<.> as -o lib/system.o /tmp/camlasmea283a.s
[*] as -o library/summary.o /tmp/camlasma50e06.s
<.> as -o library/summary.o /tmp/camlasma50e06.s
[*] as -o kernel/esubst.o /tmp/camlasm8aa456.s
<.> as -o kernel/esubst.o /tmp/camlasm8aa456.s
[*] as -o kernel/names.o /tmp/camlasm445fa9.s
<.> as -o kernel/names.o /tmp/camlasm445fa9.s
[*] as -o parsing/extend.o /tmp/camlasm138107.s
<.> as -o parsing/extend.o /tmp/camlasm138107.s
[*] as -o parsing/lexer.o /tmp/camlasmcc88fd.s
<.> as -o parsing/lexer.o /tmp/camlasmcc88fd.s
[*] as -o plugins/micromega/mfourier.o /tmp/camlasm039de6.s
<.> as -o plugins/micromega/mfourier.o /tmp/camlasm039de6.s
[*] as -o plugins/omega/omega.o /tmp/camlasm6dc402.s
<.> as -o plugins/omega/omega.o /tmp/camlasm6dc402.s
[*] as -o plugins/nsatz/ideal.o /tmp/camlasmbe7f78.s
<.> as -o plugins/nsatz/ideal.o /tmp/camlasmbe7f78.s
[*] as -o tools/coqdoc/tokens.o /tmp/camlasmc71f18.s
<.> as -o tools/coqdoc/tokens.o /tmp/camlasmc71f18.s
[*] as -o lib/edit.o /tmp/camlasme9fabe.s
<.> as -o lib/edit.o /tmp/camlasme9fabe.s
[*] as -o lib/envars.o /tmp/camlasm0beb44.s
<.> as -o lib/envars.o /tmp/camlasm0beb44.s
[*] as -o kernel/conv_oracle.o /tmp/camlasm9b871b.s
<.> as -o kernel/conv_oracle.o /tmp/camlasm9b871b.s
[*] as -o library/nameops.o /tmp/camlasm476bfa.s
<.> as -o library/nameops.o /tmp/camlasm476bfa.s
[*] as -o interp/ppextend.o /tmp/camlasm1935d4.s
<.> as -o interp/ppextend.o /tmp/camlasm1935d4.s
[*] as -o kernel/univ.o /tmp/camlasm5a4d54.s
<.> as -o kernel/univ.o /tmp/camlasm5a4d54.s
[*] as -o plugins/micromega/certificate.o /tmp/camlasmae2999.s
<.> as -o plugins/micromega/certificate.o /tmp/camlasmae2999.s
[*] as -o tools/coqdep.o /tmp/camlasm1820ee.s
<.> as -o tools/coqdep.o /tmp/camlasm1820ee.s
[*] as -o scripts/coqc.o /tmp/camlasmfb73b6.s
<.> as -o scripts/coqc.o /tmp/camlasmfb73b6.s
[*] as -o tools/coqdoc/output.o /tmp/camlasmbaf69a.s
<.> as -o tools/coqdoc/output.o /tmp/camlasmbaf69a.s
[*] as -o /tmp/camlstartup94a805.o /tmp/camlstartup38f59a.s
<.> as -o /tmp/camlstartup94a805.o /tmp/camlstartup38f59a.s
[*] cc -o plugins/micromega/csdpcert -Lconfig -Ltools -Ltools/coqdoc -Lscripts -Llib -Lkernel -Lkernel/byterun -Llibrary -Lproofs -Ltactics -Lpretyping -Linterp -Ltoplevel -Lparsing -Lide/utils -Lide -Lplugins/omega -Lplugins/romega -Lplugins/micromega -Lplugins/quote -Lplugins/ring -Lplugins/dp -Lplugins/setoid_ring -Lplugins/xml -Lplugins/extraction -Lplugins/fourier -Lplugins/cc -Lplugins/funind -Lplugins/firstorder -Lplugins/field -Lplugins/subtac -Lplugins/rtauto -Lplugins/nsatz -Lplugins/syntax -L/usr/pkg/lib/ocaml/camlp5 -L/usr/pkg/lib/ocaml -O2 -I/usr/include -L/usr/lib -Wl,-R/usr/lib -L/usr/pkg/lib -Wl,-R/usr/pkg/lib /tmp/camlstartup94a805.o /usr/pkg/lib/ocaml/std_exit.o plugins/micromega/csdpcert.o plugins/micromega/sos.o plugins/micromega/sos_lib.o plugins/micromega/sos_types.o plugins/micromega/certificate.o plugins/micromega/mfourier.o plugins/micromega/micromega.o plugins/micromega/mutils.o /usr/pkg/lib/ocaml/unix.a /usr/pkg/lib/ocaml/nums.a /usr/pkg/lib/ocaml/stdlib.a -lunix -lnums /usr/pkg/lib/ocaml/libasmrun.a -L/usr/lib -Wl,-R/usr/lib -Wl,-R/usr/pkg/lib -lm
<.> /scratch/lang/coq/work/.gcc/bin/gcc -o plugins/micromega/csdpcert -Lconfig -Ltools -Ltools/coqdoc -Lscripts -Llib -Lkernel -Lkernel/byterun -Llibrary -Lproofs -Ltactics -Lpretyping -Linterp -Ltoplevel -Lparsing -Lide/utils -Lide -Lplugins/omega -Lplugins/romega -Lplugins/micromega -Lplugins/quote -Lplugins/ring -Lplugins/dp -Lplugins/setoid_ring -Lplugins/xml -Lplugins/extraction -Lplugins/fourier -Lplugins/cc -Lplugins/funind -Lplugins/firstorder -Lplugins/field -Lplugins/subtac -Lplugins/rtauto -Lplugins/nsatz -Lplugins/syntax -L/scratch/lang/coq/work/.buildlink/lib/ocaml/camlp5 -L/scratch/lang/coq/work/.buildlink/lib/ocaml -O2 -I/usr/include -L/usr/lib -Wl,-rpath,/usr/lib -L/scratch/lang/coq/work/.buildlink/lib -Wl,-rpath,/usr/pkg/lib /tmp/camlstartup94a805.o /usr/pkg/lib/ocaml/std_exit.o plugins/micromega/csdpcert.o plugins/micromega/sos.o plugins/micromega/sos_lib.o plugins/micromega/sos_types.o plugins/micromega/certificate.o plugins/micromega/mfourier.o plugins/micromega/micromega.o plugins/micromega/mutils.o /usr/pkg/lib/ocaml/unix.a /usr/pkg/lib/ocaml/nums.a /usr/pkg/lib/ocaml/stdlib.a -lunix -lnums /usr/pkg/lib/ocaml/libasmrun.a -Wl,-rpath,/usr/lib -Wl,-rpath,/usr/pkg/lib -lm -I/scratch/lang/coq/work/.buildlink/include
[*] as -o checker/term.o /tmp/camlasmf6119f.s
<.> as -o checker/term.o /tmp/camlasmf6119f.s
[*] as -o scripts/coqmktop.o /tmp/camlasm8f5dc7.s
<.> as -o scripts/coqmktop.o /tmp/camlasm8f5dc7.s
[*] as -o kernel/term.o /tmp/camlasm5afa83.s
<.> as -o kernel/term.o /tmp/camlasm5afa83.s
[*] as -o /tmp/camlstartup02aa6c.o /tmp/camlstartupb2703c.s
<.> as -o /tmp/camlstartup02aa6c.o /tmp/camlstartupb2703c.s
[*] cc -o bin/coqdep -Lconfig -Ltools -Ltools/coqdoc -Lscripts -Llib -Lkernel -Lkernel/byterun -Llibrary -Lproofs -Ltactics -Lpretyping -Linterp -Ltoplevel -Lparsing -Lide/utils -Lide -Lplugins/omega -Lplugins/romega -Lplugins/micromega -Lplugins/quote -Lplugins/ring -Lplugins/dp -Lplugins/setoid_ring -Lplugins/xml -Lplugins/extraction -Lplugins/fourier -Lplugins/cc -Lplugins/funind -Lplugins/firstorder -Lplugins/field -Lplugins/subtac -Lplugins/rtauto -Lplugins/nsatz -Lplugins/syntax -L/usr/pkg/lib/ocaml/camlp5 -L/usr/pkg/lib/ocaml -O2 -I/usr/include -L/usr/lib -Wl,-R/usr/lib -L/usr/pkg/lib -Wl,-R/usr/pkg/lib -O2 -L/usr/pkg/lib -Wl,-R/usr/pkg/lib /tmp/camlstartup02aa6c.o /usr/pkg/lib/ocaml/std_exit.o tools/coqdep.o tools/coqdep_common.o tools/coqdep_lexer.o lib/envars.o lib/system.o lib/util.o lib/unicodetable.o lib/segmenttree.o lib/flags.o lib/compat.o lib/pp.o lib/pp_control.o config/coq_config.o /usr/pkg/lib/ocaml/camlp5/gramlib.a /usr/pkg/lib/ocaml/unix.a /usr/pkg/lib/ocaml/str.a /usr/pkg/lib/ocaml/stdlib.a -lunix -lcamlstr -lunix /usr/pkg/lib/ocaml/libasmrun.a -L/usr/lib -Wl,-R/usr/lib -Wl,-R/usr/pkg/lib -lm
<.> /scratch/lang/coq/work/.gcc/bin/gcc -o bin/coqdep -Lconfig -Ltools -Ltools/coqdoc -Lscripts -Llib -Lkernel -Lkernel/byterun -Llibrary -Lproofs -Ltactics -Lpretyping -Linterp -Ltoplevel -Lparsing -Lide/utils -Lide -Lplugins/omega -Lplugins/romega -Lplugins/micromega -Lplugins/quote -Lplugins/ring -Lplugins/dp -Lplugins/setoid_ring -Lplugins/xml -Lplugins/extraction -Lplugins/fourier -Lplugins/cc -Lplugins/funind -Lplugins/firstorder -Lplugins/field -Lplugins/subtac -Lplugins/rtauto -Lplugins/nsatz -Lplugins/syntax -L/scratch/lang/coq/work/.buildlink/lib/ocaml/camlp5 -L/scratch/lang/coq/work/.buildlink/lib/ocaml -O2 -I/usr/include -L/usr/lib -Wl,-rpath,/usr/lib -L/scratch/lang/coq/work/.buildlink/lib -Wl,-rpath,/usr/pkg/lib -O2 -Wl,-rpath,/usr/pkg/lib /tmp/camlstartup02aa6c.o /usr/pkg/lib/ocaml/std_exit.o tools/coqdep.o tools/coqdep_common.o tools/coqdep_lexer.o lib/envars.o lib/system.o lib/util.o lib/unicodetable.o lib/segmenttree.o lib/flags.o lib/compat.o lib/pp.o lib/pp_control.o config/coq_config.o /usr/pkg/lib/ocaml/camlp5/gramlib.a /usr/pkg/lib/ocaml/unix.a /usr/pkg/lib/ocaml/str.a /usr/pkg/lib/ocaml/stdlib.a -lunix -lcamlstr -lunix /usr/pkg/lib/ocaml/libasmrun.a -Wl,-rpath,/usr/lib -Wl,-rpath,/usr/pkg/lib -lm -I/scratch/lang/coq/work/.buildlink/include
[*] as -o /tmp/camlstartup9a3b64.o /tmp/camlstartup944eba.s
<.> as -o /tmp/camlstartup9a3b64.o /tmp/camlstartup944eba.s
[*] as -o checker/declarations.o /tmp/camlasm6707e8.s
<.> as -o checker/declarations.o /tmp/camlasm6707e8.s
[*] as -o tools/coqdoc/cpretty.o /tmp/camlasmaf6e7a.s
<.> as -o tools/coqdoc/cpretty.o /tmp/camlasmaf6e7a.s
[*] cc -o bin/coqmktop.opt -Lconfig -Ltools -Ltools/coqdoc -Lscripts -Llib -Lkernel -Lkernel/byterun -Llibrary -Lproofs -Ltactics -Lpretyping -Linterp -Ltoplevel -Lparsing -Lide/utils -Lide -Lplugins/omega -Lplugins/romega -Lplugins/micromega -Lplugins/quote -Lplugins/ring -Lplugins/dp -Lplugins/setoid_ring -Lplugins/xml -Lplugins/extraction -Lplugins/fourier -Lplugins/cc -Lplugins/funind -Lplugins/firstorder -Lplugins/field -Lplugins/subtac -Lplugins/rtauto -Lplugins/nsatz -Lplugins/syntax -L/usr/pkg/lib/ocaml/camlp5 -L/usr/pkg/lib/ocaml -O2 -I/usr/include -L/usr/lib -Wl,-R/usr/lib -L/usr/pkg/lib -Wl,-R/usr/pkg/lib -O2 -L/usr/pkg/lib -Wl,-R/usr/pkg/lib /tmp/camlstartup9a3b64.o /usr/pkg/lib/ocaml/std_exit.o scripts/coqmktop.o scripts/tolink.o lib/envars.o lib/system.o lib/util.o lib/unicodetable.o lib/segmenttree.o lib/flags.o lib/compat.o lib/pp.o lib/pp_control.o config/coq_config.o /usr/pkg/lib/ocaml/camlp5/gramlib.a /usr/pkg/lib/ocaml/unix.a /usr/pkg/lib/ocaml/str.a /usr/pkg/lib/ocaml/stdlib.a -lunix -lcamlstr -lunix /usr/pkg/lib/ocaml/libasmrun.a -L/usr/lib -Wl,-R/usr/lib -Wl,-R/usr/pkg/lib -lm
<.> /scratch/lang/coq/work/.gcc/bin/gcc -o bin/coqmktop.opt -Lconfig -Ltools -Ltools/coqdoc -Lscripts -Llib -Lkernel -Lkernel/byterun -Llibrary -Lproofs -Ltactics -Lpretyping -Linterp -Ltoplevel -Lparsing -Lide/utils -Lide -Lplugins/omega -Lplugins/romega -Lplugins/micromega -Lplugins/quote -Lplugins/ring -Lplugins/dp -Lplugins/setoid_ring -Lplugins/xml -Lplugins/extraction -Lplugins/fourier -Lplugins/cc -Lplugins/funind -Lplugins/firstorder -Lplugins/field -Lplugins/subtac -Lplugins/rtauto -Lplugins/nsatz -Lplugins/syntax -L/scratch/lang/coq/work/.buildlink/lib/ocaml/camlp5 -L/scratch/lang/coq/work/.buildlink/lib/ocaml -O2 -I/usr/include -L/usr/lib -Wl,-rpath,/usr/lib -L/scratch/lang/coq/work/.buildlink/lib -Wl,-rpath,/usr/pkg/lib -O2 -Wl,-rpath,/usr/pkg/lib /tmp/camlstartup9a3b64.o /usr/pkg/lib/ocaml/std_exit.o scripts/coqmktop.o scripts/tolink.o lib/envars.o lib/system.o lib/util.o lib/unicodetable.o lib/segmenttree.o lib/flags.o lib/compat.o lib/pp.o lib/pp_control.o config/coq_config.o /usr/pkg/lib/ocaml/camlp5/gramlib.a /usr/pkg/lib/ocaml/unix.a /usr/pkg/lib/ocaml/str.a /usr/pkg/lib/ocaml/stdlib.a -lunix -lcamlstr -lunix /usr/pkg/lib/ocaml/libasmrun.a -Wl,-rpath,/usr/lib -Wl,-rpath,/usr/pkg/lib -lm -I/scratch/lang/coq/work/.buildlink/include
[*] as -o kernel/cbytecodes.o /tmp/camlasm9a6e01.s
<.> as -o kernel/cbytecodes.o /tmp/camlasm9a6e01.s
[*] as -o kernel/sign.o /tmp/camlasmde5c1c.s
<.> as -o kernel/sign.o /tmp/camlasmde5c1c.s
[*] as -o plugins/xml/acic.o /tmp/camlasm88f40c.s
<.> as -o plugins/xml/acic.o /tmp/camlasm88f40c.s
[*] as -o plugins/dp/dp_why.o /tmp/camlasm979648.s
<.> as -o plugins/dp/dp_why.o /tmp/camlasm979648.s
[*] as -o kernel/mod_subst.o /tmp/camlasm721312.s
<.> as -o kernel/mod_subst.o /tmp/camlasm721312.s
[*] as -o checker/environ.o /tmp/camlasm4494a5.s
<.> as -o checker/environ.o /tmp/camlasm4494a5.s
[*] as -o tools/coqdoc/main.o /tmp/camlasmb9589d.s
<.> as -o tools/coqdoc/main.o /tmp/camlasmb9589d.s
[*] as -o kernel/entries.o /tmp/camlasm91a963.s
<.> as -o kernel/entries.o /tmp/camlasm91a963.s
[*] as -o kernel/cemitcodes.o /tmp/camlasm1348de.s
<.> as -o kernel/cemitcodes.o /tmp/camlasm1348de.s
[*] as -o kernel/retroknowledge.o /tmp/camlasm90d8a7.s
<.> as -o kernel/retroknowledge.o /tmp/camlasm90d8a7.s
[*] as -o library/libnames.o /tmp/camlasmd550d8.s
<.> as -o library/libnames.o /tmp/camlasmd550d8.s
[*] as -o /tmp/camlstartup078f99.o /tmp/camlstartupb4eb05.s
<.> as -o /tmp/camlstartup078f99.o /tmp/camlstartupb4eb05.s
[*] cc -o bin/coqdoc -Lconfig -Ltools -Ltools/coqdoc -Lscripts -Llib -Lkernel -Lkernel/byterun -Llibrary -Lproofs -Ltactics -Lpretyping -Linterp -Ltoplevel -Lparsing -Lide/utils -Lide -Lplugins/omega -Lplugins/romega -Lplugins/micromega -Lplugins/quote -Lplugins/ring -Lplugins/dp -Lplugins/setoid_ring -Lplugins/xml -Lplugins/extraction -Lplugins/fourier -Lplugins/cc -Lplugins/funind -Lplugins/firstorder -Lplugins/field -Lplugins/subtac -Lplugins/rtauto -Lplugins/nsatz -Lplugins/syntax -L/usr/pkg/lib/ocaml/camlp5 -L/usr/pkg/lib/ocaml -O2 -I/usr/include -L/usr/lib -Wl,-R/usr/lib -L/usr/pkg/lib -Wl,-R/usr/pkg/lib /tmp/camlstartup078f99.o /usr/pkg/lib/ocaml/std_exit.o tools/coqdoc/main.o tools/coqdoc/cpretty.o tools/coqdoc/output.o tools/coqdoc/tokens.o tools/coqdoc/index.o tools/coqdoc/alpha.o tools/coqdoc/cdglobals.o config/coq_config.o /usr/pkg/lib/ocaml/unix.a /usr/pkg/lib/ocaml/str.a /usr/pkg/lib/ocaml/stdlib.a -lunix -lcamlstr /usr/pkg/lib/ocaml/libasmrun.a -L/usr/lib -Wl,-R/usr/lib -Wl,-R/usr/pkg/lib -lm
<.> /scratch/lang/coq/work/.gcc/bin/gcc -o bin/coqdoc -Lconfig -Ltools -Ltools/coqdoc -Lscripts -Llib -Lkernel -Lkernel/byterun -Llibrary -Lproofs -Ltactics -Lpretyping -Linterp -Ltoplevel -Lparsing -Lide/utils -Lide -Lplugins/omega -Lplugins/romega -Lplugins/micromega -Lplugins/quote -Lplugins/ring -Lplugins/dp -Lplugins/setoid_ring -Lplugins/xml -Lplugins/extraction -Lplugins/fourier -Lplugins/cc -Lplugins/funind -Lplugins/firstorder -Lplugins/field -Lplugins/subtac -Lplugins/rtauto -Lplugins/nsatz -Lplugins/syntax -L/scratch/lang/coq/work/.buildlink/lib/ocaml/camlp5 -L/scratch/lang/coq/work/.buildlink/lib/ocaml -O2 -I/usr/include -L/usr/lib -Wl,-rpath,/usr/lib -L/scratch/lang/coq/work/.buildlink/lib -Wl,-rpath,/usr/pkg/lib /tmp/camlstartup078f99.o /usr/pkg/lib/ocaml/std_exit.o tools/coqdoc/main.o tools/coqdoc/cpretty.o tools/coqdoc/output.o tools/coqdoc/tokens.o tools/coqdoc/index.o tools/coqdoc/alpha.o tools/coqdoc/cdglobals.o config/coq_config.o /usr/pkg/lib/ocaml/unix.a /usr/pkg/lib/ocaml/str.a /usr/pkg/lib/ocaml/stdlib.a -lunix -lcamlstr /usr/pkg/lib/ocaml/libasmrun.a -Wl,-rpath,/usr/lib -Wl,-rpath,/usr/pkg/lib -lm -I/scratch/lang/coq/work/.buildlink/include
[*] as -o kernel/vm.o /tmp/camlasm0e5a38.s
<.> as -o kernel/vm.o /tmp/camlasm0e5a38.s
[*] as -o checker/type_errors.o /tmp/camlasmd7ab69.s
<.> as -o checker/type_errors.o /tmp/camlasmd7ab69.s
[*] as -o checker/modops.o /tmp/camlasm0327b7.s
<.> as -o checker/modops.o /tmp/camlasm0327b7.s
[*] as -o kernel/declarations.o /tmp/camlasm994340.s
<.> as -o kernel/declarations.o /tmp/camlasm994340.s
[*] as -o library/decl_kinds.o /tmp/camlasm2e2b7f.s
<.> as -o library/decl_kinds.o /tmp/camlasm2e2b7f.s
[*] as -o library/libobject.o /tmp/camlasm6c8099.s
<.> as -o library/libobject.o /tmp/camlasm6c8099.s
[*] as -o kernel/pre_env.o /tmp/camlasm364858.s
<.> as -o kernel/pre_env.o /tmp/camlasm364858.s
[*] as -o checker/closure.o /tmp/camlasm114a67.s
<.> as -o checker/closure.o /tmp/camlasm114a67.s
[*] as -o library/nametab.o /tmp/camlasm4d5253.s
<.> as -o library/nametab.o /tmp/camlasm4d5253.s
[*] as -o checker/reduction.o /tmp/camlasm0281bf.s
<.> as -o checker/reduction.o /tmp/camlasm0281bf.s
[*] as -o kernel/cbytegen.o /tmp/camlasm123c62.s
<.> as -o kernel/cbytegen.o /tmp/camlasm123c62.s
[*] as -o kernel/environ.o /tmp/camlasmbb816d.s
<.> as -o kernel/environ.o /tmp/camlasmbb816d.s
[*] as -o checker/inductive.o /tmp/camlasm12eb24.s
<.> as -o checker/inductive.o /tmp/camlasm12eb24.s
[*] as -o kernel/csymtable.o /tmp/camlasme43614.s
<.> as -o kernel/csymtable.o /tmp/camlasme43614.s
[*] as -o kernel/modops.o /tmp/camlasm6c660f.s
<.> as -o kernel/modops.o /tmp/camlasm6c660f.s
[*] as -o checker/typeops.o /tmp/camlasmc7566f.s
<.> as -o checker/typeops.o /tmp/camlasmc7566f.s
[*] as -o kernel/closure.o /tmp/camlasm055fbd.s
<.> as -o kernel/closure.o /tmp/camlasm055fbd.s
[*] as -o checker/indtypes.o /tmp/camlasm7c8fec.s
<.> as -o checker/indtypes.o /tmp/camlasm7c8fec.s
[*] as -o checker/subtyping.o /tmp/camlasme3bfa4.s
<.> as -o checker/subtyping.o /tmp/camlasme3bfa4.s
[*] as -o checker/mod_checking.o /tmp/camlasma221bc.s
<.> as -o checker/mod_checking.o /tmp/camlasma221bc.s
[*] as -o checker/safe_typing.o /tmp/camlasm913fa4.s
<.> as -o checker/safe_typing.o /tmp/camlasm913fa4.s
[*] as -o kernel/reduction.o /tmp/camlasm4c59d3.s
<.> as -o kernel/reduction.o /tmp/camlasm4c59d3.s
[*] as -o checker/check_stat.o /tmp/camlasm86c30a.s
<.> as -o checker/check_stat.o /tmp/camlasm86c30a.s
[*] as -o kernel/type_errors.o /tmp/camlasm915370.s
<.> as -o kernel/type_errors.o /tmp/camlasm915370.s
[*] as -o checker/check.o /tmp/camlasm036d64.s
<.> as -o checker/check.o /tmp/camlasm036d64.s
[*] as -o kernel/vconv.o /tmp/camlasm562ea2.s
<.> as -o kernel/vconv.o /tmp/camlasm562ea2.s
[*] as -o checker/checker.o /tmp/camlasm4d81c3.s
<.> as -o checker/checker.o /tmp/camlasm4d81c3.s
[*] as -o checker/main.o /tmp/camlasme876cb.s
<.> as -o checker/main.o /tmp/camlasme876cb.s
[*] as -o kernel/inductive.o /tmp/camlasmf42935.s
<.> as -o kernel/inductive.o /tmp/camlasmf42935.s
[*] as -o /tmp/camlstartupaa7912.o /tmp/camlstartupd9f810.s
<.> as -o /tmp/camlstartupaa7912.o /tmp/camlstartupd9f810.s
[*] cc -o bin/coqchk.opt -Lchecker -Llib -Lconfig -Lkernel -L/usr/pkg/lib/ocaml/camlp5 -L/usr/pkg/lib/ocaml -O2 -I/usr/include -L/usr/lib -Wl,-R/usr/lib -L/usr/pkg/lib -Wl,-R/usr/pkg/lib -O2 -I/usr/include -L/usr/lib -Wl,-R/usr/lib -L/usr/pkg/lib -Wl,-R/usr/pkg/lib -O2 -L/usr/pkg/lib -Wl,-R/usr/pkg/lib /tmp/camlstartupaa7912.o /usr/pkg/lib/ocaml/std_exit.o checker/main.o checker/check.a /usr/pkg/lib/ocaml/camlp5/gramlib.a /usr/pkg/lib/ocaml/unix.a /usr/pkg/lib/ocaml/str.a /usr/pkg/lib/ocaml/stdlib.a -lunix -lcamlstr /usr/pkg/lib/ocaml/libasmrun.a -L/usr/lib -Wl,-R/usr/lib -Wl,-R/usr/pkg/lib -lm
<.> /scratch/lang/coq/work/.gcc/bin/gcc -o bin/coqchk.opt -Lchecker -Llib -Lconfig -Lkernel -L/scratch/lang/coq/work/.buildlink/lib/ocaml/camlp5 -L/scratch/lang/coq/work/.buildlink/lib/ocaml -O2 -I/usr/include -L/usr/lib -Wl,-rpath,/usr/lib -L/scratch/lang/coq/work/.buildlink/lib -Wl,-rpath,/usr/pkg/lib -O2 -Wl,-rpath,/usr/lib -Wl,-rpath,/usr/pkg/lib -O2 -Wl,-rpath,/usr/pkg/lib /tmp/camlstartupaa7912.o /usr/pkg/lib/ocaml/std_exit.o checker/main.o checker/check.a /usr/pkg/lib/ocaml/camlp5/gramlib.a /usr/pkg/lib/ocaml/unix.a /usr/pkg/lib/ocaml/str.a /usr/pkg/lib/ocaml/stdlib.a -lunix -lcamlstr /usr/pkg/lib/ocaml/libasmrun.a -Wl,-rpath,/usr/lib -Wl,-rpath,/usr/pkg/lib -lm -I/scratch/lang/coq/work/.buildlink/include
[*] as -o kernel/typeops.o /tmp/camlasmf346ac.s
<.> as -o kernel/typeops.o /tmp/camlasmf346ac.s
[*] as -o kernel/cooking.o /tmp/camlasmb7e933.s
<.> as -o kernel/cooking.o /tmp/camlasmb7e933.s
[*] as -o kernel/subtyping.o /tmp/camlasm4bbded.s
<.> as -o kernel/subtyping.o /tmp/camlasm4bbded.s
[*] as -o kernel/indtypes.o /tmp/camlasm641b12.s
<.> as -o kernel/indtypes.o /tmp/camlasm641b12.s
[*] as -o pretyping/vnorm.o /tmp/camlasm298782.s
<.> as -o pretyping/vnorm.o /tmp/camlasm298782.s
[*] as -o library/lib.o /tmp/camlasm29a855.s
<.> as -o library/lib.o /tmp/camlasm29a855.s
[*] as -o library/dischargedhypsmap.o /tmp/camlasm1e875c.s
<.> as -o library/dischargedhypsmap.o /tmp/camlasm1e875c.s
[*] as -o kernel/term_typing.o /tmp/camlasmbe6758.s
<.> as -o kernel/term_typing.o /tmp/camlasmbe6758.s
[*] as -o library/goptions.o /tmp/camlasm856e14.s
<.> as -o library/goptions.o /tmp/camlasm856e14.s
[*] as -o kernel/mod_typing.o /tmp/camlasm0b2ac9.s
<.> as -o kernel/mod_typing.o /tmp/camlasm0b2ac9.s
[*] as -o plugins/rtauto/proof_search.o /tmp/camlasm439a5a.s
<.> as -o plugins/rtauto/proof_search.o /tmp/camlasm439a5a.s
[*] as -o kernel/safe_typing.o /tmp/camlasm8efb04.s
<.> as -o kernel/safe_typing.o /tmp/camlasm8efb04.s
[*] as -o library/global.o /tmp/camlasmf0fd8c.s
<.> as -o library/global.o /tmp/camlasmf0fd8c.s
[*] as -o library/decls.o /tmp/camlasm8cd193.s
<.> as -o library/decls.o /tmp/camlasm8cd193.s
[*] as -o library/heads.o /tmp/camlasmca231e.s
<.> as -o library/heads.o /tmp/camlasmca231e.s
[*] as -o pretyping/termops.o /tmp/camlasm99f4ad.s
<.> as -o pretyping/termops.o /tmp/camlasm99f4ad.s
[*] as -o toplevel/discharge.o /tmp/camlasma25703.s
<.> as -o toplevel/discharge.o /tmp/camlasma25703.s
[*] as -o pretyping/namegen.o /tmp/camlasmf349b5.s
<.> as -o pretyping/namegen.o /tmp/camlasmf349b5.s
[*] as -o parsing/printmod.o /tmp/camlasm51dd76.s
<.> as -o parsing/printmod.o /tmp/camlasm51dd76.s
[*] as -o pretyping/evd.o /tmp/camlasmb394a7.s
<.> as -o pretyping/evd.o /tmp/camlasmb394a7.s
[*] as -o pretyping/rawterm.o /tmp/camlasmc6968d.s
<.> as -o pretyping/rawterm.o /tmp/camlasmc6968d.s
[*] as -o interp/reserve.o /tmp/camlasm384930.s
<.> as -o interp/reserve.o /tmp/camlasm384930.s
[*] as -o pretyping/reductionops.o /tmp/camlasmad5530.s
<.> as -o pretyping/reductionops.o /tmp/camlasmad5530.s
[*] as -o pretyping/cbv.o /tmp/camlasmc7ee91.s
<.> as -o pretyping/cbv.o /tmp/camlasmc7ee91.s
[*] as -o pretyping/inductiveops.o /tmp/camlasm7cc37f.s
<.> as -o pretyping/inductiveops.o /tmp/camlasm7cc37f.s
[*] as -o pretyping/pretype_errors.o /tmp/camlasm0a01a0.s
<.> as -o pretyping/pretype_errors.o /tmp/camlasm0a01a0.s
[*] as -o pretyping/retyping.o /tmp/camlasma1e5e6.s
<.> as -o pretyping/retyping.o /tmp/camlasma1e5e6.s
[*] as -o pretyping/pattern.o /tmp/camlasmb8d07b.s
<.> as -o pretyping/pattern.o /tmp/camlasmb8d07b.s
[*] as -o pretyping/detyping.o /tmp/camlasm6b3db9.s
<.> as -o pretyping/detyping.o /tmp/camlasm6b3db9.s
[*] as -o pretyping/indrec.o /tmp/camlasm286120.s
<.> as -o pretyping/indrec.o /tmp/camlasm286120.s
[*] as -o tactics/termdn.o /tmp/camlasm97aedf.s
<.> as -o tactics/termdn.o /tmp/camlasm97aedf.s
[*] as -o pretyping/matching.o /tmp/camlasm721c77.s
<.> as -o pretyping/matching.o /tmp/camlasm721c77.s
[*] as -o pretyping/evarutil.o /tmp/camlasm10d78a.s
<.> as -o pretyping/evarutil.o /tmp/camlasm10d78a.s
[*] as -o tactics/btermdn.o /tmp/camlasm2d2486.s
<.> as -o tactics/btermdn.o /tmp/camlasm2d2486.s
[*] as -o pretyping/term_dnet.o /tmp/camlasm679530.s
<.> as -o pretyping/term_dnet.o /tmp/camlasm679530.s
[*] as -o interp/topconstr.o /tmp/camlasm4e1f30.s
<.> as -o interp/topconstr.o /tmp/camlasm4e1f30.s
[*] as -o pretyping/typeclasses_errors.o /tmp/camlasmb43fee.s
<.> as -o pretyping/typeclasses_errors.o /tmp/camlasmb43fee.s
[*] as -o pretyping/typeclasses.o /tmp/camlasm07cfd7.s
<.> as -o pretyping/typeclasses.o /tmp/camlasm07cfd7.s
[*] as -o library/impargs.o /tmp/camlasm938ec8.s
<.> as -o library/impargs.o /tmp/camlasm938ec8.s
[*] as -o interp/dumpglob.o /tmp/camlasm57b855.s
<.> as -o interp/dumpglob.o /tmp/camlasm57b855.s
[*] as -o library/declaremods.o /tmp/camlasm3df816.s
<.> as -o library/declaremods.o /tmp/camlasm3df816.s
[*] as -o interp/implicit_quantifiers.o /tmp/camlasm6f953b.s
<.> as -o interp/implicit_quantifiers.o /tmp/camlasm6f953b.s
[*] as -o library/library.o /tmp/camlasma7bd8e.s
<.> as -o library/library.o /tmp/camlasma7bd8e.s
[*] as -o library/states.o /tmp/camlasm3532e8.s
<.> as -o library/states.o /tmp/camlasm3532e8.s
[*] as -o tactics/nbtermdn.o /tmp/camlasmb41f02.s
<.> as -o tactics/nbtermdn.o /tmp/camlasmb41f02.s
[*] as -o pretyping/recordops.o /tmp/camlasmdd3be4.s
<.> as -o pretyping/recordops.o /tmp/camlasmdd3be4.s
[*] as -o pretyping/evarconv.o /tmp/camlasm73c593.s
<.> as -o pretyping/evarconv.o /tmp/camlasm73c593.s
[*] as -o pretyping/typing.o /tmp/camlasm3c5741.s
<.> as -o pretyping/typing.o /tmp/camlasm3c5741.s
[*] as -o pretyping/tacred.o /tmp/camlasm0178aa.s
<.> as -o pretyping/tacred.o /tmp/camlasm0178aa.s
[*] as -o proofs/redexpr.o /tmp/camlasmc6d1ed.s
<.> as -o proofs/redexpr.o /tmp/camlasmc6d1ed.s
[*] as -o pretyping/classops.o /tmp/camlasm6ea7ce.s
<.> as -o pretyping/classops.o /tmp/camlasm6ea7ce.s
[*] as -o pretyping/coercion.o /tmp/camlasme4da8d.s
<.> as -o pretyping/coercion.o /tmp/camlasme4da8d.s
[*] as -o interp/notation.o /tmp/camlasm9d9c01.s
<.> as -o interp/notation.o /tmp/camlasm9d9c01.s
[*] as -o interp/genarg.o /tmp/camlasm75febc.s
<.> as -o interp/genarg.o /tmp/camlasm75febc.s
[*] as -o pretyping/cases.o /tmp/camlasm7a0a9a.s
<.> as -o pretyping/cases.o /tmp/camlasm7a0a9a.s
[*] as -o interp/syntax_def.o /tmp/camlasm7d9374.s
<.> as -o interp/syntax_def.o /tmp/camlasm7d9374.s
[*] as -o pretyping/unification.o /tmp/camlasm338b2a.s
<.> as -o pretyping/unification.o /tmp/camlasm338b2a.s
[*] as -o library/declare.o /tmp/camlasm15bfab.s
<.> as -o library/declare.o /tmp/camlasm15bfab.s
[*] as -o parsing/extrawit.o /tmp/camlasmb7ccdd.s
<.> as -o parsing/extrawit.o /tmp/camlasmb7ccdd.s
[*] as -o proofs/tacexpr.o /tmp/camlasm1db665.s
<.> as -o proofs/tacexpr.o /tmp/camlasm1db665.s
[*] as -o toplevel/ind_tables.o /tmp/camlasmf93a52.s
<.> as -o toplevel/ind_tables.o /tmp/camlasmf93a52.s
[*] as -o toplevel/libtypes.o /tmp/camlasmcd36a2.s
<.> as -o toplevel/libtypes.o /tmp/camlasmcd36a2.s
[*] as -o interp/constrextern.o /tmp/camlasm0454e3.s
<.> as -o interp/constrextern.o /tmp/camlasm0454e3.s
[*] as -o interp/smartlocate.o /tmp/camlasma82c2a.s
<.> as -o interp/smartlocate.o /tmp/camlasma82c2a.s
[*] as -o pretyping/clenv.o /tmp/camlasm25d33a.s
<.> as -o pretyping/clenv.o /tmp/camlasm25d33a.s
[*] as -o proofs/proof_type.o /tmp/camlasm596e6f.s
<.> as -o proofs/proof_type.o /tmp/camlasm596e6f.s
[*] as -o toplevel/vernacexpr.o /tmp/camlasm76dab5.s
<.> as -o toplevel/vernacexpr.o /tmp/camlasm76dab5.s
[*] as -o pretyping/pretyping.o /tmp/camlasm771981.s
<.> as -o pretyping/pretyping.o /tmp/camlasm771981.s
[*] as -o tactics/elimschemes.o /tmp/camlasmd46dc2.s
<.> as -o tactics/elimschemes.o /tmp/camlasmd46dc2.s
[*] as -o parsing/pcoq.o /tmp/camlasm1a7dec.s
<.> as -o parsing/pcoq.o /tmp/camlasm1a7dec.s
[*] as -o parsing/ppconstr.o /tmp/camlasmbff46b.s
<.> as -o parsing/ppconstr.o /tmp/camlasmbff46b.s
[*] as -o interp/coqlib.o /tmp/camlasm68e32b.s
<.> as -o interp/coqlib.o /tmp/camlasm68e32b.s
[*] as -o proofs/proof_trees.o /tmp/camlasm72006e.s
<.> as -o proofs/proof_trees.o /tmp/camlasm72006e.s
[*] as -o parsing/egrammar.o /tmp/camlasm8fcf46.s
<.> as -o parsing/egrammar.o /tmp/camlasm8fcf46.s
[*] as -o interp/constrintern.o /tmp/camlasm8c955a.s
<.> as -o interp/constrintern.o /tmp/camlasm8c955a.s
[*] as -o parsing/g_xml.o /tmp/camlasm7b8724.s
<.> as -o parsing/g_xml.o /tmp/camlasm7b8724.s
[*] as -o parsing/g_prim.o /tmp/camlasmd26210.s
<.> as -o parsing/g_prim.o /tmp/camlasmd26210.s
[*] as -o tactics/eqschemes.o /tmp/camlasm9eb9fe.s
<.> as -o tactics/eqschemes.o /tmp/camlasm9eb9fe.s
[*] as -o parsing/g_constr.o /tmp/camlasm1129a8.s
<.> as -o parsing/g_constr.o /tmp/camlasm1129a8.s
[*] as -o parsing/g_ltac.o /tmp/camlasma05b3e.s
<.> as -o parsing/g_ltac.o /tmp/camlasma05b3e.s
[*] as -o plugins/syntax/nat_syntax.o /tmp/camlasm83857a.s
<.> as -o plugins/syntax/nat_syntax.o /tmp/camlasm83857a.s
[*] as -o plugins/syntax/z_syntax.o /tmp/camlasm81297b.s
<.> as -o plugins/syntax/z_syntax.o /tmp/camlasm81297b.s
[*] as -o plugins/syntax/numbers_syntax.o /tmp/camlasm9d7cb1.s
<.> as -o plugins/syntax/numbers_syntax.o /tmp/camlasm9d7cb1.s
[*] as -o parsing/g_decl_mode.o /tmp/camlasm1a4faf.s
<.> as -o parsing/g_decl_mode.o /tmp/camlasm1a4faf.s
[*] as -o plugins/syntax/r_syntax.o /tmp/camlasm5e3f56.s
<.> as -o plugins/syntax/r_syntax.o /tmp/camlasm5e3f56.s
[*] as -o parsing/g_tactic.o /tmp/camlasmb3b66e.s
<.> as -o parsing/g_tactic.o /tmp/camlasmb3b66e.s
[*] as -o plugins/syntax/ascii_syntax.o /tmp/camlasmd65084.s
<.> as -o plugins/syntax/ascii_syntax.o /tmp/camlasmd65084.s
[*] as -o interp/modintern.o /tmp/camlasm797a95.s
<.> as -o interp/modintern.o /tmp/camlasm797a95.s
[*] as -o plugins/syntax/string_syntax.o /tmp/camlasme6dcc5.s
<.> as -o plugins/syntax/string_syntax.o /tmp/camlasme6dcc5.s
[*] as -o proofs/logic.o /tmp/camlasmfaa794.s
<.> as -o proofs/logic.o /tmp/camlasmfaa794.s
[*] as -o proofs/refiner.o /tmp/camlasme395dc.s
<.> as -o proofs/refiner.o /tmp/camlasme395dc.s
[*] as -o proofs/tactic_debug.o /tmp/camlasm446f4e.s
<.> as -o proofs/tactic_debug.o /tmp/camlasm446f4e.s
[*] as -o proofs/evar_refiner.o /tmp/camlasmeb1e29.s
<.> as -o proofs/evar_refiner.o /tmp/camlasmeb1e29.s
[*] as -o proofs/tacmach.o /tmp/camlasm03feec.s
<.> as -o proofs/tacmach.o /tmp/camlasm03feec.s
[*] as -o proofs/pfedit.o /tmp/camlasm60b6b5.s
<.> as -o proofs/pfedit.o /tmp/camlasm60b6b5.s
[*] as -o proofs/clenvtac.o /tmp/camlasm4fd603.s
<.> as -o proofs/clenvtac.o /tmp/camlasm4fd603.s
[*] as -o proofs/decl_mode.o /tmp/camlasm48e93f.s
<.> as -o proofs/decl_mode.o /tmp/camlasm48e93f.s
[*] as -o plugins/romega/const_omega.o /tmp/camlasm3f4bd2.s
<.> as -o plugins/romega/const_omega.o /tmp/camlasm3f4bd2.s
[*] as -o plugins/cc/ccalgo.o /tmp/camlasmd26a08.s
<.> as -o plugins/cc/ccalgo.o /tmp/camlasmd26a08.s
[*] as -o plugins/cc/ccproof.o /tmp/camlasmc1ae4e.s
<.> as -o plugins/cc/ccproof.o /tmp/camlasmc1ae4e.s
[*] as -o tactics/tacticals.o /tmp/camlasm417431.s
<.> as -o tactics/tacticals.o /tmp/camlasm417431.s
[*] as -o parsing/printer.o /tmp/camlasmd219c7.s
<.> as -o parsing/printer.o /tmp/camlasmd219c7.s
[*] as -o tactics/hipattern.o /tmp/camlasm5b4ea5.s
<.> as -o tactics/hipattern.o /tmp/camlasm5b4ea5.s
[*] as -o parsing/prettyp.o /tmp/camlasm406614.s
<.> as -o parsing/prettyp.o /tmp/camlasm406614.s
[*] as -o toplevel/class.o /tmp/camlasmddaebe.s
<.> as -o toplevel/class.o /tmp/camlasmddaebe.s
[*] as -o toplevel/search.o /tmp/camlasm6eb2c8.s
<.> as -o toplevel/search.o /tmp/camlasm6eb2c8.s
[*] as -o parsing/pptactic.o /tmp/camlasm94e874.s
<.> as -o parsing/pptactic.o /tmp/camlasm94e874.s
[*] as -o plugins/extraction/table.o /tmp/camlasm7f3b7b.s
<.> as -o plugins/extraction/table.o /tmp/camlasm7f3b7b.s
[*] as -o plugins/subtac/subtac_errors.o /tmp/camlasm49cfbb.s
<.> as -o plugins/subtac/subtac_errors.o /tmp/camlasm49cfbb.s
[*] as -o plugins/xml/doubleTypeInference.o /tmp/camlasmc1031c.s
<.> as -o plugins/xml/doubleTypeInference.o /tmp/camlasmc1031c.s
[*] as -o plugins/firstorder/formula.o /tmp/camlasm8ebcc3.s
<.> as -o plugins/firstorder/formula.o /tmp/camlasm8ebcc3.s
[*] as -o parsing/ppdecl_proof.o /tmp/camlasm180035.s
<.> as -o parsing/ppdecl_proof.o /tmp/camlasm180035.s
[*] as -o plugins/funind/indfun_common.o /tmp/camlasm5acf44.s
<.> as -o plugins/funind/indfun_common.o /tmp/camlasm5acf44.s
[*] as -o plugins/extraction/mlutil.o /tmp/camlasm7ec4e7.s
<.> as -o plugins/extraction/mlutil.o /tmp/camlasm7ec4e7.s
[*] as -o toplevel/himsg.o /tmp/camlasmc01a27.s
<.> as -o toplevel/himsg.o /tmp/camlasmc01a27.s
[*] as -o plugins/firstorder/unify.o /tmp/camlasm6daa3b.s
<.> as -o plugins/firstorder/unify.o /tmp/camlasm6daa3b.s
[*] as -o tactics/tactics.o /tmp/camlasm4202a4.s
<.> as -o tactics/tactics.o /tmp/camlasm4202a4.s
[*] as -o plugins/xml/cic2acic.o /tmp/camlasmaf8864.s
<.> as -o plugins/xml/cic2acic.o /tmp/camlasmaf8864.s
[*] as -o plugins/funind/rawtermops.o /tmp/camlasmd41883.s
<.> as -o plugins/funind/rawtermops.o /tmp/camlasmd41883.s
[*] as -o parsing/tactic_printer.o /tmp/camlasmc81f26.s
<.> as -o parsing/tactic_printer.o /tmp/camlasmc81f26.s
[*] as -o tactics/dhyp.o /tmp/camlasm3a7972.s
<.> as -o tactics/dhyp.o /tmp/camlasm3a7972.s
[*] as -o tactics/contradiction.o /tmp/camlasmcfa7f0.s
<.> as -o tactics/contradiction.o /tmp/camlasmcfa7f0.s
[*] as -o tactics/hiddentac.o /tmp/camlasmc3a88b.s
<.> as -o tactics/hiddentac.o /tmp/camlasmc3a88b.s
[*] as -o toplevel/cerrors.o /tmp/camlasm71f5f1.s
<.> as -o toplevel/cerrors.o /tmp/camlasm71f5f1.s
[*] as -o plugins/quote/quote.o /tmp/camlasm733c8c.s
<.> as -o plugins/quote/quote.o /tmp/camlasm733c8c.s
[*] as -o plugins/dp/dp_zenon.o /tmp/camlasm118dd7.s
<.> as -o plugins/dp/dp_zenon.o /tmp/camlasm118dd7.s
[*] as -o plugins/extraction/modutil.o /tmp/camlasm4d304c.s
<.> as -o plugins/extraction/modutil.o /tmp/camlasm4d304c.s
[*] as -o plugins/romega/refl_omega.o /tmp/camlasme3e882.s
<.> as -o plugins/romega/refl_omega.o /tmp/camlasme3e882.s
[*] as -o plugins/extraction/common.o /tmp/camlasmc0d650.s
<.> as -o plugins/extraction/common.o /tmp/camlasmc0d650.s
[*] as -o plugins/micromega/coq_micromega.o /tmp/camlasmc87469.s
<.> as -o plugins/micromega/coq_micromega.o /tmp/camlasmc87469.s
[*] as -o plugins/xml/proof2aproof.o /tmp/camlasm1fb082.s
<.> as -o plugins/xml/proof2aproof.o /tmp/camlasm1fb082.s
[*] as -o plugins/extraction/extraction.o /tmp/camlasm041d0f.s
<.> as -o plugins/extraction/extraction.o /tmp/camlasm041d0f.s
[*] as -o plugins/xml/acic2Xml.o /tmp/camlasmb6b6a9.s
<.> as -o plugins/xml/acic2Xml.o /tmp/camlasmb6b6a9.s
[*] as -o tactics/elim.o /tmp/camlasmb0361a.s
<.> as -o tactics/elim.o /tmp/camlasmb0361a.s
[*] as -o toplevel/autoinstance.o /tmp/camlasm7534fe.s
<.> as -o toplevel/autoinstance.o /tmp/camlasm7534fe.s
[*] as -o plugins/dp/dp.o /tmp/camlasmdb05c8.s
<.> as -o plugins/dp/dp.o /tmp/camlasmdb05c8.s
[*] as -o tactics/auto.o /tmp/camlasm0a6bb0.s
<.> as -o tactics/auto.o /tmp/camlasm0a6bb0.s
[*] as -o plugins/extraction/haskell.o /tmp/camlasm6e6479.s
<.> as -o plugins/extraction/haskell.o /tmp/camlasm6e6479.s
[*] as -o plugins/extraction/ocaml.o /tmp/camlasm3c5a2c.s
<.> as -o plugins/extraction/ocaml.o /tmp/camlasm3c5a2c.s
[*] as -o plugins/extraction/scheme.o /tmp/camlasm444b2c.s
<.> as -o plugins/extraction/scheme.o /tmp/camlasm444b2c.s
[*] as -o plugins/xml/proofTree2Xml.o /tmp/camlasm1c4f3b.s
<.> as -o plugins/xml/proofTree2Xml.o /tmp/camlasm1c4f3b.s
[*] as -o plugins/firstorder/sequent.o /tmp/camlasmbcbb2b.s
<.> as -o plugins/firstorder/sequent.o /tmp/camlasmbcbb2b.s
[*] as -o toplevel/lemmas.o /tmp/camlasmbe28d8.s
<.> as -o toplevel/lemmas.o /tmp/camlasmbe28d8.s
[*] as -o plugins/firstorder/rules.o /tmp/camlasm8364b9.s
<.> as -o plugins/firstorder/rules.o /tmp/camlasm8364b9.s
[*] as -o tactics/equality.o /tmp/camlasmc5d015.s
<.> as -o tactics/equality.o /tmp/camlasmc5d015.s
[*] as -o plugins/extraction/extract_env.o /tmp/camlasm5d5a06.s
<.> as -o plugins/extraction/extract_env.o /tmp/camlasm5d5a06.s
[*] as -o plugins/subtac/subtac_utils.o /tmp/camlasm1b698d.s
<.> as -o plugins/subtac/subtac_utils.o /tmp/camlasm1b698d.s
[*] as -o tactics/inv.o /tmp/camlasm2cca4b.s
<.> as -o tactics/inv.o /tmp/camlasm2cca4b.s
[*] as -o plugins/firstorder/instances.o /tmp/camlasm154691.s
<.> as -o plugins/firstorder/instances.o /tmp/camlasm154691.s
[*] as -o toplevel/auto_ind_decl.o /tmp/camlasmb93684.s
<.> as -o toplevel/auto_ind_decl.o /tmp/camlasmb93684.s
[*] as -o tactics/leminv.o /tmp/camlasm0f4f03.s
<.> as -o tactics/leminv.o /tmp/camlasm0f4f03.s
[*] as -o toplevel/indschemes.o /tmp/camlasma21a8f.s
<.> as -o toplevel/indschemes.o /tmp/camlasma21a8f.s
[*] as -o plugins/omega/coq_omega.o /tmp/camlasm56dde5.s
<.> as -o plugins/omega/coq_omega.o /tmp/camlasm56dde5.s
[*] as -o plugins/subtac/subtac_cases.o /tmp/camlasm798710.s
<.> as -o plugins/subtac/subtac_cases.o /tmp/camlasm798710.s
[*] as -o tactics/tacinterp.o /tmp/camlasm3d05fe.s
<.> as -o tactics/tacinterp.o /tmp/camlasm3d05fe.s
[*] as -o toplevel/vernacinterp.o /tmp/camlasm940f04.s
<.> as -o toplevel/vernacinterp.o /tmp/camlasm940f04.s
[*] as -o tactics/evar_tactics.o /tmp/camlasm193d73.s
<.> as -o tactics/evar_tactics.o /tmp/camlasm193d73.s
[*] as -o tactics/tactic_option.o /tmp/camlasm4036b3.s
<.> as -o tactics/tactic_option.o /tmp/camlasm4036b3.s
[*] as -o tactics/decl_interp.o /tmp/camlasm6c4f21.s
<.> as -o tactics/decl_interp.o /tmp/camlasm6c4f21.s
[*] as -o toplevel/mltop.o /tmp/camlasmd99edc.s
<.> as -o toplevel/mltop.o /tmp/camlasmd99edc.s
[*] as -o tactics/tauto.o /tmp/camlasm228920.s
<.> as -o tactics/tauto.o /tmp/camlasm228920.s
[*] as -o plugins/omega/g_omega.o /tmp/camlasmbaf5de.s
<.> as -o plugins/omega/g_omega.o /tmp/camlasmbaf5de.s
[*] as -o plugins/omega/omega_plugin_mod.o /tmp/camlasme46b23.s
<.> as -o plugins/omega/omega_plugin_mod.o /tmp/camlasme46b23.s
[*] as -o parsing/ppvernac.o /tmp/camlasm732cc0.s
<.> as -o parsing/ppvernac.o /tmp/camlasm732cc0.s
[*] as -o plugins/romega/romega_plugin_mod.o /tmp/camlasm3c7f85.s
<.> as -o plugins/romega/romega_plugin_mod.o /tmp/camlasm3c7f85.s
[*] as -o toplevel/metasyntax.o /tmp/camlasmdc79b3.s
<.> as -o toplevel/metasyntax.o /tmp/camlasmdc79b3.s
[*] as -o plugins/romega/g_romega.o /tmp/camlasm5f72f4.s
<.> as -o plugins/romega/g_romega.o /tmp/camlasm5f72f4.s
[*] as -o plugins/micromega/micromega_plugin_mod.o /tmp/camlasm82ddf3.s
<.> as -o plugins/micromega/micromega_plugin_mod.o /tmp/camlasm82ddf3.s
[*] as -o plugins/quote/quote_plugin_mod.o /tmp/camlasmd23698.s
<.> as -o plugins/quote/quote_plugin_mod.o /tmp/camlasmd23698.s
[*] as -o plugins/ring/ring_plugin_mod.o /tmp/camlasm111cb3.s
<.> as -o plugins/ring/ring_plugin_mod.o /tmp/camlasm111cb3.s
[*] as -o plugins/setoid_ring/newring_plugin_mod.o /tmp/camlasmffe69c.s
<.> as -o plugins/setoid_ring/newring_plugin_mod.o /tmp/camlasmffe69c.s
[*] as -o plugins/quote/g_quote.o /tmp/camlasm9982ad.s
<.> as -o plugins/quote/g_quote.o /tmp/camlasm9982ad.s
[*] as -o plugins/dp/dp_plugin_mod.o /tmp/camlasm55cdc1.s
<.> as -o plugins/dp/dp_plugin_mod.o /tmp/camlasm55cdc1.s
[*] as -o plugins/field/field_plugin_mod.o /tmp/camlasmdbeb1c.s
<.> as -o plugins/field/field_plugin_mod.o /tmp/camlasmdbeb1c.s
[*] as -o plugins/fourier/fourier_plugin_mod.o /tmp/camlasme22940.s
<.> as -o plugins/fourier/fourier_plugin_mod.o /tmp/camlasme22940.s
[*] as -o plugins/ring/ring.o /tmp/camlasm3b59c9.s
<.> as -o plugins/ring/ring.o /tmp/camlasm3b59c9.s
[*] as -o plugins/dp/g_dp.o /tmp/camlasm77df7a.s
<.> as -o plugins/dp/g_dp.o /tmp/camlasm77df7a.s
[*] as -o plugins/extraction/extraction_plugin_mod.o /tmp/camlasmf3cffe.s
<.> as -o plugins/extraction/extraction_plugin_mod.o /tmp/camlasmf3cffe.s
[*] as -o plugins/xml/cic2Xml.o /tmp/camlasma2dd24.s
<.> as -o plugins/xml/cic2Xml.o /tmp/camlasma2dd24.s
[*] as -o plugins/xml/xml_plugin_mod.o /tmp/camlasmee79df.s
<.> as -o plugins/xml/xml_plugin_mod.o /tmp/camlasmee79df.s
[*] as -o plugins/extraction/g_extraction.o /tmp/camlasmf4f677.s
<.> as -o plugins/extraction/g_extraction.o /tmp/camlasmf4f677.s
[*] as -o plugins/cc/cc_plugin_mod.o /tmp/camlasmd39f17.s
<.> as -o plugins/cc/cc_plugin_mod.o /tmp/camlasmd39f17.s
[*] as -o plugins/xml/dumptree.o /tmp/camlasm7507bc.s
<.> as -o plugins/xml/dumptree.o /tmp/camlasm7507bc.s
[*] as -o plugins/firstorder/ground_plugin_mod.o /tmp/camlasm31a8aa.s
<.> as -o plugins/firstorder/ground_plugin_mod.o /tmp/camlasm31a8aa.s
[*] as -o plugins/firstorder/ground.o /tmp/camlasm5b3048.s
<.> as -o plugins/firstorder/ground.o /tmp/camlasm5b3048.s
[*] as -o plugins/subtac/subtac_plugin_mod.o /tmp/camlasmd91a24.s
<.> as -o plugins/subtac/subtac_plugin_mod.o /tmp/camlasmd91a24.s
[*] as -o plugins/cc/cctac.o /tmp/camlasm70d35b.s
<.> as -o plugins/cc/cctac.o /tmp/camlasm70d35b.s
[*] as -o plugins/subtac/eterm.o /tmp/camlasm8b0da5.s
<.> as -o plugins/subtac/eterm.o /tmp/camlasm8b0da5.s
[*] as -o plugins/rtauto/rtauto_plugin_mod.o /tmp/camlasmc84abd.s
<.> as -o plugins/rtauto/rtauto_plugin_mod.o /tmp/camlasmc84abd.s
[*] as -o plugins/funind/recdef_plugin_mod.o /tmp/camlasm205837.s
<.> as -o plugins/funind/recdef_plugin_mod.o /tmp/camlasm205837.s
[*] as -o plugins/nsatz/nsatz_plugin_mod.o /tmp/camlasm844224.s
<.> as -o plugins/nsatz/nsatz_plugin_mod.o /tmp/camlasm844224.s
[*] as -o plugins/rtauto/refl_tauto.o /tmp/camlasm7afad1.s
<.> as -o plugins/rtauto/refl_tauto.o /tmp/camlasm7afad1.s
[*] as -o plugins/syntax/nat_syntax_plugin_mod.o /tmp/camlasm03e2de.s
<.> as -o plugins/syntax/nat_syntax_plugin_mod.o /tmp/camlasm03e2de.s
[*] as -o plugins/syntax/z_syntax_plugin_mod.o /tmp/camlasmb519f3.s
<.> as -o plugins/syntax/z_syntax_plugin_mod.o /tmp/camlasmb519f3.s
[*] as -o plugins/syntax/r_syntax_plugin_mod.o /tmp/camlasmfd582a.s
<.> as -o plugins/syntax/r_syntax_plugin_mod.o /tmp/camlasmfd582a.s
[*] as -o plugins/syntax/numbers_syntax_plugin_mod.o /tmp/camlasm60f0b3.s
<.> as -o plugins/syntax/numbers_syntax_plugin_mod.o /tmp/camlasm60f0b3.s
[*] as -o plugins/syntax/ascii_syntax_plugin_mod.o /tmp/camlasm448539.s
<.> as -o plugins/syntax/ascii_syntax_plugin_mod.o /tmp/camlasm448539.s
[*] as -o plugins/syntax/string_syntax_plugin_mod.o /tmp/camlasm3e5a63.s
<.> as -o plugins/syntax/string_syntax_plugin_mod.o /tmp/camlasm3e5a63.s
[*] as -o plugins/nsatz/nsatz.o /tmp/camlasmd2a5e4.s
<.> as -o plugins/nsatz/nsatz.o /tmp/camlasmd2a5e4.s
[*] as -o tactics/autorewrite.o /tmp/camlasmdbc0a0.s
<.> as -o tactics/autorewrite.o /tmp/camlasmdbc0a0.s
[*] as -o tactics/decl_proof_instr.o /tmp/camlasmb11b58.s
<.> as -o tactics/decl_proof_instr.o /tmp/camlasmb11b58.s
[*] as -o toplevel/command.o /tmp/camlasmdec1cf.s
<.> as -o toplevel/command.o /tmp/camlasmdec1cf.s
[*] as -o plugins/micromega/g_micromega.o /tmp/camlasmf2f4c0.s
<.> as -o plugins/micromega/g_micromega.o /tmp/camlasmf2f4c0.s
[*] as -o tactics/extraargs.o /tmp/camlasm4c640c.s
<.> as -o tactics/extraargs.o /tmp/camlasm4c640c.s
[*] as -o plugins/ring/g_ring.o /tmp/camlasm1bbbe3.s
<.> as -o plugins/ring/g_ring.o /tmp/camlasm1bbbe3.s
[*] as -o parsing/g_vernac.o /tmp/camlasmd3c481.s
<.> as -o parsing/g_vernac.o /tmp/camlasmd3c481.s
[*] as -o plugins/fourier/fourierR.o /tmp/camlasmf26873.s
<.> as -o plugins/fourier/fourierR.o /tmp/camlasmf26873.s
[*] as -o plugins/field/field.o /tmp/camlasm2aa7b1.s
<.> as -o plugins/field/field.o /tmp/camlasm2aa7b1.s
[*] as -o plugins/cc/g_congruence.o /tmp/camlasmba6906.s
<.> as -o plugins/cc/g_congruence.o /tmp/camlasmba6906.s
[*] as -o plugins/firstorder/g_ground.o /tmp/camlasmab71b6.s
<.> as -o plugins/firstorder/g_ground.o /tmp/camlasmab71b6.s
[*] as -o plugins/rtauto/g_rtauto.o /tmp/camlasm04f89e.s
<.> as -o plugins/rtauto/g_rtauto.o /tmp/camlasm04f89e.s
[*] as -o plugins/subtac/subtac_obligations.o /tmp/camlasmd985ec.s
<.> as -o plugins/subtac/subtac_obligations.o /tmp/camlasmd985ec.s
[*] as -o plugins/subtac/subtac_coercion.o /tmp/camlasm625208.s
<.> as -o plugins/subtac/subtac_coercion.o /tmp/camlasm625208.s
[*] as -o plugins/funind/merge.o /tmp/camlasm334f63.s
<.> as -o plugins/funind/merge.o /tmp/camlasm334f63.s
[*] as -o plugins/funind/rawterm_to_relation.o /tmp/camlasm0d44f0.s
<.> as -o plugins/funind/rawterm_to_relation.o /tmp/camlasm0d44f0.s
[*] as -o toplevel/classes.o /tmp/camlasmc697e5.s
<.> as -o toplevel/classes.o /tmp/camlasmc697e5.s
[*] as -o parsing/g_proofs.o /tmp/camlasm8874ef.s
<.> as -o parsing/g_proofs.o /tmp/camlasm8874ef.s
[*] as -o toplevel/whelp.o /tmp/camlasm4ea3aa.s
<.> as -o toplevel/whelp.o /tmp/camlasm4ea3aa.s
[*] as -o tactics/refine.o /tmp/camlasm49b3ac.s
<.> as -o tactics/refine.o /tmp/camlasm49b3ac.s
[*] as -o plugins/fourier/g_fourier.o /tmp/camlasm1800af.s
<.> as -o plugins/fourier/g_fourier.o /tmp/camlasm1800af.s
[*] as -o plugins/subtac/subtac_pretyping_F.o /tmp/camlasmd0aa61.s
<.> as -o plugins/subtac/subtac_pretyping_F.o /tmp/camlasmd0aa61.s
[*] as -o tactics/eauto.o /tmp/camlasm733ed2.s
<.> as -o tactics/eauto.o /tmp/camlasm733ed2.s
[*] as -o toplevel/record.o /tmp/camlasm956367.s
<.> as -o toplevel/record.o /tmp/camlasm956367.s
[*] as -o plugins/subtac/subtac_pretyping.o /tmp/camlasm743d6a.s
<.> as -o plugins/subtac/subtac_pretyping.o /tmp/camlasm743d6a.s
[*] as -o tactics/class_tactics.o /tmp/camlasm1a6c84.s
<.> as -o tactics/class_tactics.o /tmp/camlasm1a6c84.s
[*] as -o tactics/extratactics.o /tmp/camlasm6bb387.s
<.> as -o tactics/extratactics.o /tmp/camlasm6bb387.s
[*] as -o plugins/subtac/subtac_command.o /tmp/camlasm6dde59.s
<.> as -o plugins/subtac/subtac_command.o /tmp/camlasm6dde59.s
[*] as -o tactics/eqdecide.o /tmp/camlasme14242.s
<.> as -o tactics/eqdecide.o /tmp/camlasme14242.s
[*] as -o plugins/subtac/subtac_classes.o /tmp/camlasm8204e6.s
<.> as -o plugins/subtac/subtac_classes.o /tmp/camlasm8204e6.s
[*] as -o tactics/rewrite.o /tmp/camlasm4c901e.s
<.> as -o tactics/rewrite.o /tmp/camlasm4c901e.s
[*] as -o plugins/subtac/subtac.o /tmp/camlasm24a091.s
<.> as -o plugins/subtac/subtac.o /tmp/camlasm24a091.s
[*] as -o toplevel/vernacentries.o /tmp/camlasm229f64.s
<.> as -o toplevel/vernacentries.o /tmp/camlasm229f64.s
[*] as -o toplevel/vernac.o /tmp/camlasm1e6210.s
<.> as -o toplevel/vernac.o /tmp/camlasm1e6210.s
[*] as -o plugins/subtac/g_subtac.o /tmp/camlasm2c1896.s
<.> as -o plugins/subtac/g_subtac.o /tmp/camlasm2c1896.s
[*] as -o plugins/funind/invfun.o /tmp/camlasm383c82.s
<.> as -o plugins/funind/invfun.o /tmp/camlasm383c82.s
[*] as -o toplevel/toplevel.o /tmp/camlasmef45c1.s
<.> as -o toplevel/toplevel.o /tmp/camlasmef45c1.s
[*] as -o plugins/xml/xmlcommand.o /tmp/camlasma88850.s
<.> as -o plugins/xml/xmlcommand.o /tmp/camlasma88850.s
[*] as -o toplevel/coqinit.o /tmp/camlasm91a431.s
<.> as -o toplevel/coqinit.o /tmp/camlasm91a431.s
[*] as -o plugins/xml/xmlentries.o /tmp/camlasmd31642.s
<.> as -o plugins/xml/xmlentries.o /tmp/camlasmd31642.s
[*] as -o toplevel/coqtop.o /tmp/camlasm92b2c3.s
<.> as -o toplevel/coqtop.o /tmp/camlasm92b2c3.s
[*] as -o plugins/funind/recdef.o /tmp/camlasm3dcf24.s
<.> as -o plugins/funind/recdef.o /tmp/camlasm3dcf24.s
[*] as -o plugins/setoid_ring/newring.o /tmp/camlasmc0d850.s
<.> as -o plugins/setoid_ring/newring.o /tmp/camlasmc0d850.s
[*] as -o plugins/funind/functional_principles_proofs.o /tmp/camlasm41ac05.s
<.> as -o plugins/funind/functional_principles_proofs.o /tmp/camlasm41ac05.s
[*] as -o plugins/funind/functional_principles_types.o /tmp/camlasmb9750e.s
<.> as -o plugins/funind/functional_principles_types.o /tmp/camlasmb9750e.s
[*] as -o plugins/funind/indfun.o /tmp/camlasmdca921.s
<.> as -o plugins/funind/indfun.o /tmp/camlasmdca921.s
[*] as -o plugins/funind/g_indfun.o /tmp/camlasm02bae7.s
<.> as -o plugins/funind/g_indfun.o /tmp/camlasm02bae7.s
[*] as -o /tmp/coqmainc07208.o /tmp/camlasm255cee.s
<.> as -o /tmp/coqmainc07208.o /tmp/camlasm255cee.s
[*] as -o /tmp/camlstartup00ddd9.o /tmp/camlstartup754209.s
<.> as -o /tmp/camlstartup00ddd9.o /tmp/camlstartup754209.s
[*] cc -o bin/coqtop.opt -Lconfig -Ltools -Ltools/coqdoc -Lscripts -Llib -Lkernel -Lkernel/byterun -Llibrary -Lproofs -Ltactics -Lpretyping -Linterp -Ltoplevel -Lparsing -Lide/utils -Lide -Lplugins/omega -Lplugins/romega -Lplugins/micromega -Lplugins/quote -Lplugins/ring -Lplugins/dp -Lplugins/setoid_ring -Lplugins/xml -Lplugins/extraction -Lplugins/fourier -Lplugins/cc -Lplugins/funind -Lplugins/firstorder -Lplugins/field -Lplugins/subtac -Lplugins/rtauto -Lplugins/nsatz -Lplugins/syntax -L/usr/pkg/lib/ocaml/camlp5 -L/scratch/lang/coq/work/coq-8.3pl1 -L/scratch/lang/coq/work/coq-8.3pl1/kernel/byterun -L/scratch/lang/coq/work/coq-8.3pl1/config -L/scratch/lang/coq/work/coq-8.3pl1/toplevel -L/usr/pkg/lib/ocaml/camlp5 -L/scratch/lang/coq/work/coq-8.3pl1 -L/usr/pkg/lib/ocaml -O2 -I/usr/include -L/usr/lib -Wl,-R/usr/lib -L/usr/pkg/lib -Wl,-R/usr/pkg/lib -O2 -I/usr/include -L/usr/lib -Wl,-R/usr/lib -L/usr/pkg/lib -Wl,-R/usr/pkg/lib -O2 -I/usr/include -L/usr/lib -Wl,-R/usr/lib -L/usr/pkg/lib -Wl,-R/usr/pkg/lib -O2 -I/usr/include -L/usr/lib -Wl,-R/usr/lib -L/usr/pkg/lib -Wl,-R/usr/pkg/lib -O2 -I/usr/include -L/usr/lib -Wl,-R/usr/lib -L/usr/pkg/lib -Wl,-R/usr/pkg/lib -O2 -I/usr/include -L/usr/lib -Wl,-R/usr/lib -L/usr/pkg/lib -Wl,-R/usr/pkg/lib -O2 -I/usr/include -L/usr/lib -Wl,-R/usr/lib -L/usr/pkg/lib -Wl,-R/usr/pkg/lib -O2 -I/usr/include -L/usr/lib -Wl,-R/usr/lib -L/usr/pkg/lib -Wl,-R/usr/pkg/lib -O2 -I/usr/include -L/usr/lib -Wl,-R/usr/lib -L/usr/pkg/lib -Wl,-R/usr/pkg/lib -O2 -I/usr/include -L/usr/lib -Wl,-R/usr/lib -L/usr/pkg/lib -Wl,-R/usr/pkg/lib -O2 -I/usr/include -L/usr/lib -Wl,-R/usr/lib -L/usr/pkg/lib -Wl,-R/usr/pkg/lib -O2 -I/usr/include -L/usr/lib -Wl,-R/usr/lib -L/usr/pkg/lib -Wl,-R/usr/pkg/lib -O2 -I/usr/include -L/usr/lib -Wl,-R/usr/lib -L/usr/pkg/lib -Wl,-R/usr/pkg/lib -O2 -I/usr/include -L/usr/lib -Wl,-R/usr/lib -L/usr/pkg/lib -Wl,-R/usr/pkg/lib -O2 -I/usr/include -L/usr/lib -Wl,-R/usr/lib -L/usr/pkg/lib -Wl,-R/usr/pkg/lib -O2 -I/usr/include -L/usr/lib -Wl,-R/usr/lib -L/usr/pkg/lib -Wl,-R/usr/pkg/lib -O2 -I/usr/include -L/usr/lib -Wl,-R/usr/lib -L/usr/pkg/lib -Wl,-R/usr/pkg/lib -O2 -I/usr/include -L/usr/lib -Wl,-R/usr/lib -L/usr/pkg/lib -Wl,-R/usr/pkg/lib -O2 -I/usr/include -L/usr/lib -Wl,-R/usr/lib -L/usr/pkg/lib -Wl,-R/usr/pkg/lib -O2 -I/usr/include -L/usr/lib -Wl,-R/usr/lib -L/usr/pkg/lib -Wl,-R/usr/pkg/lib -O2 -I/usr/include -L/usr/lib -Wl,-R/usr/lib -L/usr/pkg/lib -Wl,-R/usr/pkg/lib -O2 -I/usr/include -L/usr/lib -Wl,-R/usr/lib -L/usr/pkg/lib -Wl,-R/usr/pkg/lib -O2 -I/usr/include -L/usr/lib -Wl,-R/usr/lib -L/usr/pkg/lib -Wl,-R/usr/pkg/lib -O2 -I/usr/include -L/usr/lib -Wl,-R/usr/lib -L/usr/pkg/lib -Wl,-R/usr/pkg/lib -O2 -I/usr/include -L/usr/lib -Wl,-R/usr/lib -L/usr/pkg/lib -Wl,-R/usr/pkg/lib -O2 -I/usr/include -L/usr/lib -Wl,-R/usr/lib -L/usr/pkg/lib -Wl,-R/usr/pkg/lib -O2 -I/usr/include -L/usr/lib -Wl,-R/usr/lib -L/usr/pkg/lib -Wl,-R/usr/pkg/lib -O2 -I/usr/include -L/usr/lib -Wl,-R/usr/lib -L/usr/pkg/lib -Wl,-R/usr/pkg/lib -O2 -I/usr/include -L/usr/lib -Wl,-R/usr/lib -L/usr/pkg/lib -Wl,-R/usr/pkg/lib -O2 -I/usr/include -L/usr/lib -Wl,-R/usr/lib -L/usr/pkg/lib -Wl,-R/usr/pkg/lib -O2 -I/usr/include -L/usr/lib -Wl,-R/usr/lib -L/usr/pkg/lib -Wl,-R/usr/pkg/lib -O2 -I/usr/include -L/usr/lib -Wl,-R/usr/lib -L/usr/pkg/lib -Wl,-R/usr/pkg/lib -O2 -I/usr/include -L/usr/lib -Wl,-R/usr/lib -L/usr/pkg/lib -Wl,-R/usr/pkg/lib -O2 -I/usr/include -L/usr/lib -Wl,-R/usr/lib -L/usr/pkg/lib -Wl,-R/usr/pkg/lib -O2 -I/usr/include -L/usr/lib -Wl,-R/usr/lib -L/usr/pkg/lib -Wl,-R/usr/pkg/lib -O2 -L/usr/pkg/lib -Wl,-R/usr/pkg/lib /tmp/camlstartup00ddd9.o /usr/pkg/lib/ocaml/std_exit.o /tmp/coqmainc07208.o plugins/syntax/string_syntax_plugin.a plugins/syntax/ascii_syntax_plugin.a plugins/syntax/r_syntax_plugin.a plugins/syntax/numbers_syntax_plugin.a plugins/syntax/z_syntax_plugin.a plugins/syntax/nat_syntax_plugin.a plugins/nsatz/nsatz_plugin.a plugins/funind/recdef_plugin.a plugins/rtauto/rtauto_plugin.a plugins/subtac/subtac_plugin.a plugins/firstorder/ground_plugin.a plugins/cc/cc_plugin.a plugins/xml/xml_plugin.a plugins/extraction/extraction_plugin.a plugins/fourier/fourier_plugin.a plugins/field/field_plugin.a plugins/dp/dp_plugin.a plugins/setoid_ring/newring_plugin.a plugins/ring/ring_plugin.a plugins/quote/quote_plugin.a plugins/micromega/micromega_plugin.a plugins/romega/romega_plugin.a plugins/omega/omega_plugin.a tactics/hightactics.a parsing/highparsing.a toplevel/toplevel.a tactics/tactics.a parsing/parsing.a proofs/proofs.a interp/interp.a pretyping/pretyping.a library/library.a kernel/kernel.a lib/lib.a config/coq_config.o /usr/pkg/lib/ocaml/camlp5/gramlib.a /usr/pkg/lib/ocaml/nums.a /usr/pkg/lib/ocaml/unix.a /usr/pkg/lib/ocaml/str.a /usr/pkg/lib/ocaml/stdlib.a -lnums -lunix -lcamlstr -lunix -lcoqrun /usr/pkg/lib/ocaml/libasmrun.a -L/usr/lib -Wl,-R/usr/lib -Wl,-R/usr/pkg/lib -lm
<.> /scratch/lang/coq/work/.gcc/bin/gcc -o bin/coqtop.opt -Lconfig -Ltools -Ltools/coqdoc -Lscripts -Llib -Lkernel -Lkernel/byterun -Llibrary -Lproofs -Ltactics -Lpretyping -Linterp -Ltoplevel -Lparsing -Lide/utils -Lide -Lplugins/omega -Lplugins/romega -Lplugins/micromega -Lplugins/quote -Lplugins/ring -Lplugins/dp -Lplugins/setoid_ring -Lplugins/xml -Lplugins/extraction -Lplugins/fourier -Lplugins/cc -Lplugins/funind -Lplugins/firstorder -Lplugins/field -Lplugins/subtac -Lplugins/rtauto -Lplugins/nsatz -Lplugins/syntax -L/scratch/lang/coq/work/.buildlink/lib/ocaml/camlp5 -L/scratch/lang/coq/work/coq-8.3pl1 -L/scratch/lang/coq/work/coq-8.3pl1/kernel/byterun -L/scratch/lang/coq/work/coq-8.3pl1/config -L/scratch/lang/coq/work/coq-8.3pl1/toplevel -L/scratch/lang/coq/work/.buildlink/lib/ocaml -O2 -I/usr/include -L/usr/lib -Wl,-rpath,/usr/lib -L/scratch/lang/coq/work/.buildlink/lib -Wl,-rpath,/usr/pkg/lib -O2 -Wl,-rpath,/usr/lib -Wl,-rpath,/usr/pkg/lib -O2 -Wl,-rpath,/usr/lib -Wl,-rpath,/usr/pkg/lib -O2 -Wl,-rpath,/usr/lib -Wl,-rpath,/usr/pkg/lib -O2 -Wl,-rpath,/usr/lib -Wl,-rpath,/usr/pkg/lib -O2 -Wl,-rpath,/usr/lib -Wl,-rpath,/usr/pkg/lib -O2 -Wl,-rpath,/usr/lib -Wl,-rpath,/usr/pkg/lib -O2 -Wl,-rpath,/usr/lib -Wl,-rpath,/usr/pkg/lib -O2 -Wl,-rpath,/usr/lib -Wl,-rpath,/usr/pkg/lib -O2 -Wl,-rpath,/usr/lib -Wl,-rpath,/usr/pkg/lib -O2 -Wl,-rpath,/usr/lib -Wl,-rpath,/usr/pkg/lib -O2 -Wl,-rpath,/usr/lib -Wl,-rpath,/usr/pkg/lib -O2 -Wl,-rpath,/usr/lib -Wl,-rpath,/usr/pkg/lib -O2 -Wl,-rpath,/usr/lib -Wl,-rpath,/usr/pkg/lib -O2 -Wl,-rpath,/usr/lib -Wl,-rpath,/usr/pkg/lib -O2 -Wl,-rpath,/usr/lib -Wl,-rpath,/usr/pkg/lib -O2 -Wl,-rpath,/usr/lib -Wl,-rpath,/usr/pkg/lib -O2 -Wl,-rpath,/usr/lib -Wl,-rpath,/usr/pkg/lib -O2 -Wl,-rpath,/usr/lib -Wl,-rpath,/usr/pkg/lib -O2 -Wl,-rpath,/usr/lib -Wl,-rpath,/usr/pkg/lib -O2 -Wl,-rpath,/usr/lib -Wl,-rpath,/usr/pkg/lib -O2 -Wl,-rpath,/usr/lib -Wl,-rpath,/usr/pkg/lib -O2 -Wl,-rpath,/usr/lib -Wl,-rpath,/usr/pkg/lib -O2 -Wl,-rpath,/usr/lib -Wl,-rpath,/usr/pkg/lib -O2 -Wl,-rpath,/usr/lib -Wl,-rpath,/usr/pkg/lib -O2 -Wl,-rpath,/usr/lib -Wl,-rpath,/usr/pkg/lib -O2 -Wl,-rpath,/usr/lib -Wl,-rpath,/usr/pkg/lib -O2 -Wl,-rpath,/usr/lib -Wl,-rpath,/usr/pkg/lib -O2 -Wl,-rpath,/usr/lib -Wl,-rpath,/usr/pkg/lib -O2 -Wl,-rpath,/usr/lib -Wl,-rpath,/usr/pkg/lib -O2 -Wl,-rpath,/usr/lib -Wl,-rpath,/usr/pkg/lib -O2 -Wl,-rpath,/usr/lib -Wl,-rpath,/usr/pkg/lib -O2 -Wl,-rpath,/usr/lib -Wl,-rpath,/usr/pkg/lib -O2 -Wl,-rpath,/usr/lib -Wl,-rpath,/usr/pkg/lib -O2 -Wl,-rpath,/usr/lib -Wl,-rpath,/usr/pkg/lib -O2 -Wl,-rpath,/usr/pkg/lib /tmp/camlstartup00ddd9.o /usr/pkg/lib/ocaml/std_exit.o /tmp/coqmainc07208.o plugins/syntax/string_syntax_plugin.a plugins/syntax/ascii_syntax_plugin.a plugins/syntax/r_syntax_plugin.a plugins/syntax/numbers_syntax_plugin.a plugins/syntax/z_syntax_plugin.a plugins/syntax/nat_syntax_plugin.a plugins/nsatz/nsatz_plugin.a plugins/funind/recdef_plugin.a plugins/rtauto/rtauto_plugin.a plugins/subtac/subtac_plugin.a plugins/firstorder/ground_plugin.a plugins/cc/cc_plugin.a plugins/xml/xml_plugin.a plugins/extraction/extraction_plugin.a plugins/fourier/fourier_plugin.a plugins/field/field_plugin.a plugins/dp/dp_plugin.a plugins/setoid_ring/newring_plugin.a plugins/ring/ring_plugin.a plugins/quote/quote_plugin.a plugins/micromega/micromega_plugin.a plugins/romega/romega_plugin.a plugins/omega/omega_plugin.a tactics/hightactics.a parsing/highparsing.a toplevel/toplevel.a tactics/tactics.a parsing/parsing.a proofs/proofs.a interp/interp.a pretyping/pretyping.a library/library.a kernel/kernel.a lib/lib.a config/coq_config.o /usr/pkg/lib/ocaml/camlp5/gramlib.a /usr/pkg/lib/ocaml/nums.a /usr/pkg/lib/ocaml/unix.a /usr/pkg/lib/ocaml/str.a /usr/pkg/lib/ocaml/stdlib.a -lnums -lunix -lcamlstr -lunix -lcoqrun /usr/pkg/lib/ocaml/libasmrun.a -Wl,-rpath,/usr/lib -Wl,-rpath,/usr/pkg/lib -lm -I/scratch/lang/coq/work/.buildlink/include
[*] as -o /tmp/camlstartup8fd542.o /tmp/camlstartupab438f.s
<.> as -o /tmp/camlstartup8fd542.o /tmp/camlstartupab438f.s
[*] cc -o bin/coqc.opt -Lconfig -Ltools -Ltools/coqdoc -Lscripts -Llib -Lkernel -Lkernel/byterun -Llibrary -Lproofs -Ltactics -Lpretyping -Linterp -Ltoplevel -Lparsing -Lide/utils -Lide -Lplugins/omega -Lplugins/romega -Lplugins/micromega -Lplugins/quote -Lplugins/ring -Lplugins/dp -Lplugins/setoid_ring -Lplugins/xml -Lplugins/extraction -Lplugins/fourier -Lplugins/cc -Lplugins/funind -Lplugins/firstorder -Lplugins/field -Lplugins/subtac -Lplugins/rtauto -Lplugins/nsatz -Lplugins/syntax -L/usr/pkg/lib/ocaml/camlp5 -L/usr/pkg/lib/ocaml -O2 -I/usr/include -L/usr/lib -Wl,-R/usr/lib -L/usr/pkg/lib -Wl,-R/usr/pkg/lib -O2 -L/usr/pkg/lib -Wl,-R/usr/pkg/lib /tmp/camlstartup8fd542.o /usr/pkg/lib/ocaml/std_exit.o scripts/coqc.o toplevel/usage.o lib/envars.o lib/system.o lib/util.o lib/unicodetable.o lib/segmenttree.o lib/flags.o lib/compat.o lib/pp.o lib/pp_control.o config/coq_config.o /usr/pkg/lib/ocaml/camlp5/gramlib.a /usr/pkg/lib/ocaml/unix.a /usr/pkg/lib/ocaml/str.a /usr/pkg/lib/ocaml/stdlib.a -lunix -lcamlstr -lunix /usr/pkg/lib/ocaml/libasmrun.a -L/usr/lib -Wl,-R/usr/lib -Wl,-R/usr/pkg/lib -lm
<.> /scratch/lang/coq/work/.gcc/bin/gcc -o bin/coqc.opt -Lconfig -Ltools -Ltools/coqdoc -Lscripts -Llib -Lkernel -Lkernel/byterun -Llibrary -Lproofs -Ltactics -Lpretyping -Linterp -Ltoplevel -Lparsing -Lide/utils -Lide -Lplugins/omega -Lplugins/romega -Lplugins/micromega -Lplugins/quote -Lplugins/ring -Lplugins/dp -Lplugins/setoid_ring -Lplugins/xml -Lplugins/extraction -Lplugins/fourier -Lplugins/cc -Lplugins/funind -Lplugins/firstorder -Lplugins/field -Lplugins/subtac -Lplugins/rtauto -Lplugins/nsatz -Lplugins/syntax -L/scratch/lang/coq/work/.buildlink/lib/ocaml/camlp5 -L/scratch/lang/coq/work/.buildlink/lib/ocaml -O2 -I/usr/include -L/usr/lib -Wl,-rpath,/usr/lib -L/scratch/lang/coq/work/.buildlink/lib -Wl,-rpath,/usr/pkg/lib -O2 -Wl,-rpath,/usr/pkg/lib /tmp/camlstartup8fd542.o /usr/pkg/lib/ocaml/std_exit.o scripts/coqc.o toplevel/usage.o lib/envars.o lib/system.o lib/util.o lib/unicodetable.o lib/segmenttree.o lib/flags.o lib/compat.o lib/pp.o lib/pp_control.o config/coq_config.o /usr/pkg/lib/ocaml/camlp5/gramlib.a /usr/pkg/lib/ocaml/unix.a /usr/pkg/lib/ocaml/str.a /usr/pkg/lib/ocaml/stdlib.a -lunix -lcamlstr -lunix /usr/pkg/lib/ocaml/libasmrun.a -Wl,-rpath,/usr/lib -Wl,-rpath,/usr/pkg/lib -lm -I/scratch/lang/coq/work/.buildlink/include
[*] /scratch/lang/coq/work/.tools/bin/true 
<.> true  
[*] /scratch/lang/coq/work/.tools/bin/true 
<.> true  
[*] /scratch/lang/coq/work/.tools/bin/true 
<.> true  
[*] /scratch/lang/coq/work/.tools/bin/true 
<.> true  
[*] /scratch/lang/coq/work/.tools/bin/true 
<.> true  
[*] /scratch/lang/coq/work/.tools/bin/true 
<.> true  
[*] /scratch/lang/coq/work/.tools/bin/true 
<.> true  
[*] /scratch/lang/coq/work/.tools/bin/true 
<.> true  
[*] /scratch/lang/coq/work/.tools/bin/true 
<.> true  
[*] /scratch/lang/coq/work/.tools/bin/echo *****************************************************
<.> echo  *****************************************************
[*] /scratch/lang/coq/work/.tools/bin/echo *****************************************************
<.> echo  *****************************************************
[*] /scratch/lang/coq/work/.tools/bin/echo ****************** Entering stage1 ******************
<.> echo  ****************** Entering stage1 CHANGES COMPATIBILITY COPYRIGHT CREDITS Coq.bat Coqide.bat INSTALL INSTALL.doc INSTALL.ide INSTALL.macosx LICENSE Makefile Makefile.build Makefile.build.orig Makefile.common Makefile.doc Makefile.stage1 Makefile.stage2 README README.doc README.win _tags bin build checker config configure coq-win32.itarget coq.itarget dev doc ide install.sh interp kernel lib library man myocamlbuild.ml myocamlbuild.ml.d parsing plugins pretyping proofs scripts states tactics test-suite theories tools toplevel
[*] /scratch/lang/coq/work/.tools/bin/echo *****************************************************
<.> echo  *****************************************************
[*] /scratch/lang/coq/work/.tools/bin/echo *****************************************************
<.> echo  *****************************************************
[*] /scratch/lang/coq/work/.tools/bin/echo *****************************************************
<.> echo  *****************************************************
[*] /scratch/lang/coq/work/.tools/bin/echo *****************************************************
<.> echo  *****************************************************
[*] /scratch/lang/coq/work/.tools/bin/echo ****************** Entering stage2 ******************
<.> echo  ****************** Entering stage2 CHANGES COMPATIBILITY COPYRIGHT CREDITS Coq.bat Coqide.bat INSTALL INSTALL.doc INSTALL.ide INSTALL.macosx LICENSE Makefile Makefile.build Makefile.build.orig Makefile.common Makefile.doc Makefile.stage1 Makefile.stage2 README README.doc README.win _tags bin build checker config configure coq-win32.itarget coq.itarget dev doc ide install.sh interp kernel lib library man myocamlbuild.ml myocamlbuild.ml.d parsing plugins pretyping proofs scripts states tactics test-suite theories tools toplevel
[*] /scratch/lang/coq/work/.tools/bin/echo *****************************************************
<.> echo  *****************************************************
[*] /scratch/lang/coq/work/.tools/bin/echo *****************************************************
<.> echo  *****************************************************
