[*] /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.common Makefile.doc Makefile.orig Makefile.stage1 Makefile.stage1.orig Makefile.stage2 Makefile.stage3 README README.doc README.win bin checker config configure configure.orig contrib dev doc ide install.sh interp kernel lib library man parsing 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_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
[*] 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_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_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
[*] /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.common Makefile.doc Makefile.orig Makefile.stage1 Makefile.stage1.orig Makefile.stage2 Makefile.stage3 README README.doc README.win bin checker config configure configure.orig contrib dev doc ide install.sh interp kernel lib library man parsing 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/camlasm70f43d.s
<.> as -o config/coq_config.o /tmp/camlasm70f43d.s
[*] as -o lib/pp_control.o /tmp/camlasmbc770c.s
<.> as -o lib/pp_control.o /tmp/camlasmbc770c.s
[*] as -o lib/compat.o /tmp/camlasmae7f93.s
<.> as -o lib/compat.o /tmp/camlasmae7f93.s
[*] as -o lib/flags.o /tmp/camlasme6c1a0.s
<.> as -o lib/flags.o /tmp/camlasme6c1a0.s
[*] as -o tools/coqdep_lexer.o /tmp/camlasm590548.s
<.> as -o tools/coqdep_lexer.o /tmp/camlasm590548.s
[*] as -o lib/pp.o /tmp/camlasmdc15f2.s
<.> as -o lib/pp.o /tmp/camlasmdc15f2.s
[*] as -o lib/util.o /tmp/camlasm93c34e.s
<.> as -o lib/util.o /tmp/camlasm93c34e.s
[*] as -o lib/system.o /tmp/camlasmb2b536.s
<.> as -o lib/system.o /tmp/camlasmb2b536.s
[*] as -o lib/envars.o /tmp/camlasmbb046a.s
<.> as -o lib/envars.o /tmp/camlasmbb046a.s
[*] as -o tools/coqdep.o /tmp/camlasm8e412f.s
<.> as -o tools/coqdep.o /tmp/camlasm8e412f.s
[*] as -o /tmp/camlstartup12b8be.o /tmp/camlstartupa7259a.s
<.> as -o /tmp/camlstartup12b8be.o /tmp/camlstartupa7259a.s
[*] cc -o bin/coqdep -Lconfig -Ltools -Ltools/coqdoc -Lscripts -Llib -Lkernel -Lkernel/byterun -Llibrary -Lproofs -Ltactics -Lpretyping -Linterp -Ltoplevel -Lparsing -Lide/utils -Lide -Lcontrib/omega -Lcontrib/romega -Lcontrib/micromega -Lcontrib/ring -Lcontrib/dp -Lcontrib/setoid_ring -Lcontrib/xml -Lcontrib/extraction -Lcontrib/interface -Lcontrib/fourier -Lcontrib/cc -Lcontrib/funind -Lcontrib/firstorder -Lcontrib/field -Lcontrib/subtac -Lcontrib/rtauto -L/usr/pkg/lib/ocaml/camlp5 -L/usr/pkg/lib/ocaml /tmp/camlstartup12b8be.o /usr/pkg/lib/ocaml/std_exit.o tools/coqdep.o tools/coqdep_lexer.o lib/envars.o lib/system.o lib/util.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 -lstr -lunix /usr/pkg/lib/ocaml/libasmrun.a -L/usr/lib -Wl,-R/usr/lib -Wl,-R/usr/pkg/lib -lm -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
<.> /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 -Lcontrib/omega -Lcontrib/romega -Lcontrib/micromega -Lcontrib/ring -Lcontrib/dp -Lcontrib/setoid_ring -Lcontrib/xml -Lcontrib/extraction -Lcontrib/interface -Lcontrib/fourier -Lcontrib/cc -Lcontrib/funind -Lcontrib/firstorder -Lcontrib/field -Lcontrib/subtac -Lcontrib/rtauto -L/scratch/lang/coq/work/.buildlink/lib/ocaml/camlp5 -L/scratch/lang/coq/work/.buildlink/lib/ocaml /tmp/camlstartup12b8be.o /usr/pkg/lib/ocaml/std_exit.o tools/coqdep.o tools/coqdep_lexer.o lib/envars.o lib/system.o lib/util.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 -lstr -lunix /usr/pkg/lib/ocaml/libasmrun.a -L/usr/lib -Wl,-rpath,/usr/lib -Wl,-rpath,/usr/pkg/lib -lm -O2 -I/usr/include -Wl,-rpath,/usr/lib -L/scratch/lang/coq/work/.buildlink/lib -Wl,-rpath,/usr/pkg/lib -O2 -Wl,-rpath,/usr/pkg/lib -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 stage3 ******************
<.> echo  ****************** Entering stage3 CHANGES COMPATIBILITY COPYRIGHT CREDITS Coq.bat Coqide.bat INSTALL INSTALL.doc INSTALL.ide INSTALL.macosx LICENSE Makefile Makefile.build Makefile.common Makefile.doc Makefile.orig Makefile.stage1 Makefile.stage1.orig Makefile.stage2 Makefile.stage3 README README.doc README.win bin checker config configure configure.orig contrib dev doc ide install.sh interp kernel lib library man parsing 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 scripts/tolink.o /tmp/camlasmbf26d7.s
<.> as -o scripts/tolink.o /tmp/camlasmbf26d7.s
[*] as -o lib/bigint.o /tmp/camlasm90cf2b.s
<.> as -o lib/bigint.o /tmp/camlasm90cf2b.s
[*] as -o lib/hashcons.o /tmp/camlasm535a7e.s
<.> as -o lib/hashcons.o /tmp/camlasm535a7e.s
[*] as -o lib/dyn.o /tmp/camlasmff3b73.s
<.> as -o lib/dyn.o /tmp/camlasmff3b73.s
[*] as -o lib/predicate.o /tmp/camlasm937ecd.s
<.> as -o lib/predicate.o /tmp/camlasm937ecd.s
[*] as -o lib/rtree.o /tmp/camlasmab2bca.s
<.> as -o lib/rtree.o /tmp/camlasmab2bca.s
[*] as -o kernel/names.o /tmp/camlasm691645.s
<.> as -o kernel/names.o /tmp/camlasm691645.s
[*] as -o lib/option.o /tmp/camlasm583d11.s
<.> as -o lib/option.o /tmp/camlasm583d11.s
[*] as -o kernel/esubst.o /tmp/camlasme96781.s
<.> as -o kernel/esubst.o /tmp/camlasme96781.s
[*] as -o kernel/copcodes.o /tmp/camlasm56372c.s
<.> as -o kernel/copcodes.o /tmp/camlasm56372c.s
[*] as -o kernel/conv_oracle.o /tmp/camlasmb7e695.s
<.> as -o kernel/conv_oracle.o /tmp/camlasmb7e695.s
[*] as -o library/nameops.o /tmp/camlasmf0af72.s
<.> as -o library/nameops.o /tmp/camlasmf0af72.s
[*] as -o library/summary.o /tmp/camlasm95e17d.s
<.> as -o library/summary.o /tmp/camlasm95e17d.s
[*] as -o interp/ppextend.o /tmp/camlasm26c5c8.s
<.> as -o interp/ppextend.o /tmp/camlasm26c5c8.s
[*] as -o parsing/lexer.o /tmp/camlasm32541e.s
<.> as -o parsing/lexer.o /tmp/camlasm32541e.s
[*] as -o contrib/fourier/fourier.o /tmp/camlasm3c3e16.s
<.> as -o contrib/fourier/fourier.o /tmp/camlasm3c3e16.s
[*] cc -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 -D_FILE_OFFSET_BITS=64 -D_REENTRANT -fPIC -c -O2 -I/usr/include -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 -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 -D_FILE_OFFSET_BITS=64 -D_REENTRANT -fPIC -c -O2 -I/usr/include -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 -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 -D_FILE_OFFSET_BITS=64 -D_REENTRANT -fPIC -c -O2 -I/usr/include -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 -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 -D_FILE_OFFSET_BITS=64 -D_REENTRANT -fPIC -c -O2 -I/usr/include -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/camlasm11e24e.s
<.> as -o tools/coq_makefile.o /tmp/camlasm11e24e.s
[*] as -o tools/gallina_lexer.o /tmp/camlasm2a6352.s
<.> as -o tools/gallina_lexer.o /tmp/camlasm2a6352.s
[*] as -o contrib/omega/omega.o /tmp/camlasm20e27b.s
<.> as -o contrib/omega/omega.o /tmp/camlasm20e27b.s
[*] as -o tools/coq-tex.o /tmp/camlasmfee8d7.s
<.> as -o tools/coq-tex.o /tmp/camlasmfee8d7.s
[*] as -o tools/coqwc.o /tmp/camlasm087131.s
<.> as -o tools/coqwc.o /tmp/camlasm087131.s
[*] as -o tools/coqdoc/cdglobals.o /tmp/camlasm23004c.s
<.> as -o tools/coqdoc/cdglobals.o /tmp/camlasm23004c.s
[*] as -o checker/validate.o /tmp/camlasm4209c9.s
<.> as -o checker/validate.o /tmp/camlasm4209c9.s
[*] as -o contrib/interface/paths.o /tmp/camlasma986c1.s
<.> as -o contrib/interface/paths.o /tmp/camlasma986c1.s
[*] as -o lib/bstack.o /tmp/camlasm7648f1.s
<.> as -o lib/bstack.o /tmp/camlasm7648f1.s
[*] as -o lib/gset.o /tmp/camlasm940613.s
<.> as -o lib/gset.o /tmp/camlasm940613.s
[*] as -o scripts/coqmktop.o /tmp/camlasm7d526a.s
<.> as -o scripts/coqmktop.o /tmp/camlasm7d526a.s
[*] as -o lib/gmap.o /tmp/camlasm915b01.s
<.> as -o lib/gmap.o /tmp/camlasm915b01.s
[*] as -o lib/explore.o /tmp/camlasm176cb8.s
<.> as -o lib/explore.o /tmp/camlasm176cb8.s
[*] as -o lib/heap.o /tmp/camlasm4ce823.s
<.> as -o lib/heap.o /tmp/camlasm4ce823.s
[*] as -o kernel/univ.o /tmp/camlasmc1b426.s
<.> as -o kernel/univ.o /tmp/camlasmc1b426.s
[*] as -o lib/profile.o /tmp/camlasma5554c.s
<.> as -o lib/profile.o /tmp/camlasma5554c.s
[*] as -o toplevel/line_oriented_parser.o /tmp/camlasm13a63b.s
<.> as -o toplevel/line_oriented_parser.o /tmp/camlasm13a63b.s
[*] as -o toplevel/usage.o /tmp/camlasm1697c7.s
<.> as -o toplevel/usage.o /tmp/camlasm1697c7.s
[*] as -o contrib/micromega/micromega.o /tmp/camlasmbddf91.s
<.> as -o contrib/micromega/micromega.o /tmp/camlasmbddf91.s
[*] as -o contrib/xml/unshare.o /tmp/camlasm3ead39.s
<.> as -o contrib/xml/unshare.o /tmp/camlasm3ead39.s
[*] as -o contrib/xml/xml.o /tmp/camlasme31f01.s
<.> as -o contrib/xml/xml.o /tmp/camlasme31f01.s
[*] cc -shared -o ./dllcoqrun.so coq_interp.o coq_values.o coq_memory.o coq_fix_code.o
<.> /scratch/lang/coq/work/.gcc/bin/gcc -shared -o ./dllcoqrun.so coq_interp.o coq_values.o coq_memory.o coq_fix_code.o -I/scratch/lang/coq/work/.buildlink/include -L/scratch/lang/coq/work/.buildlink/lib
[*] as -o /tmp/camlstartup5ba73f.o /tmp/camlstartup0015f0.s
<.> as -o /tmp/camlstartup5ba73f.o /tmp/camlstartup0015f0.s
[*] cc -o bin/coq_makefile -Lconfig -Ltools -Ltools/coqdoc -Lscripts -Llib -Lkernel -Lkernel/byterun -Llibrary -Lproofs -Ltactics -Lpretyping -Linterp -Ltoplevel -Lparsing -Lide/utils -Lide -Lcontrib/omega -Lcontrib/romega -Lcontrib/micromega -Lcontrib/ring -Lcontrib/dp -Lcontrib/setoid_ring -Lcontrib/xml -Lcontrib/extraction -Lcontrib/interface -Lcontrib/fourier -Lcontrib/cc -Lcontrib/funind -Lcontrib/firstorder -Lcontrib/field -Lcontrib/subtac -Lcontrib/rtauto -L/usr/pkg/lib/ocaml/camlp5 -L/usr/pkg/lib/ocaml /tmp/camlstartup5ba73f.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 -lstr /usr/pkg/lib/ocaml/libasmrun.a -L/usr/lib -Wl,-R/usr/lib -Wl,-R/usr/pkg/lib -lm -O2 -I/usr/include -L/usr/lib -Wl,-R/usr/lib -L/usr/pkg/lib -Wl,-R/usr/pkg/lib
<.> /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 -Lcontrib/omega -Lcontrib/romega -Lcontrib/micromega -Lcontrib/ring -Lcontrib/dp -Lcontrib/setoid_ring -Lcontrib/xml -Lcontrib/extraction -Lcontrib/interface -Lcontrib/fourier -Lcontrib/cc -Lcontrib/funind -Lcontrib/firstorder -Lcontrib/field -Lcontrib/subtac -Lcontrib/rtauto -L/scratch/lang/coq/work/.buildlink/lib/ocaml/camlp5 -L/scratch/lang/coq/work/.buildlink/lib/ocaml /tmp/camlstartup5ba73f.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 -lstr /usr/pkg/lib/ocaml/libasmrun.a -L/usr/lib -Wl,-rpath,/usr/lib -Wl,-rpath,/usr/pkg/lib -lm -O2 -I/usr/include -Wl,-rpath,/usr/lib -L/scratch/lang/coq/work/.buildlink/lib -Wl,-rpath,/usr/pkg/lib -I/scratch/lang/coq/work/.buildlink/include
[*] as -o contrib/micromega/sos.o /tmp/camlasm5d968d.s
<.> as -o contrib/micromega/sos.o /tmp/camlasm5d968d.s
[*] as -o tools/gallina.o /tmp/camlasmbdf712.s
<.> as -o tools/gallina.o /tmp/camlasmbdf712.s
[*] as -o /tmp/camlstartup7bf560.o /tmp/camlstartupf17d1a.s
<.> as -o /tmp/camlstartup7bf560.o /tmp/camlstartupf17d1a.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 -Lcontrib/omega -Lcontrib/romega -Lcontrib/micromega -Lcontrib/ring -Lcontrib/dp -Lcontrib/setoid_ring -Lcontrib/xml -Lcontrib/extraction -Lcontrib/interface -Lcontrib/fourier -Lcontrib/cc -Lcontrib/funind -Lcontrib/firstorder -Lcontrib/field -Lcontrib/subtac -Lcontrib/rtauto -L/usr/pkg/lib/ocaml/camlp5 -L/usr/pkg/lib/ocaml /tmp/camlstartup7bf560.o /usr/pkg/lib/ocaml/std_exit.o tools/coq-tex.o /usr/pkg/lib/ocaml/str.a /usr/pkg/lib/ocaml/stdlib.a -lstr /usr/pkg/lib/ocaml/libasmrun.a -L/usr/lib -Wl,-R/usr/lib -Wl,-R/usr/pkg/lib -lm -O2 -I/usr/include -L/usr/lib -Wl,-R/usr/lib -L/usr/pkg/lib -Wl,-R/usr/pkg/lib
<.> /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 -Lcontrib/omega -Lcontrib/romega -Lcontrib/micromega -Lcontrib/ring -Lcontrib/dp -Lcontrib/setoid_ring -Lcontrib/xml -Lcontrib/extraction -Lcontrib/interface -Lcontrib/fourier -Lcontrib/cc -Lcontrib/funind -Lcontrib/firstorder -Lcontrib/field -Lcontrib/subtac -Lcontrib/rtauto -L/scratch/lang/coq/work/.buildlink/lib/ocaml/camlp5 -L/scratch/lang/coq/work/.buildlink/lib/ocaml /tmp/camlstartup7bf560.o /usr/pkg/lib/ocaml/std_exit.o tools/coq-tex.o /usr/pkg/lib/ocaml/str.a /usr/pkg/lib/ocaml/stdlib.a -lstr /usr/pkg/lib/ocaml/libasmrun.a -L/usr/lib -Wl,-rpath,/usr/lib -Wl,-rpath,/usr/pkg/lib -lm -O2 -I/usr/include -Wl,-rpath,/usr/lib -L/scratch/lang/coq/work/.buildlink/lib -Wl,-rpath,/usr/pkg/lib -I/scratch/lang/coq/work/.buildlink/include
[*] as -o /tmp/camlstartup2675fe.o /tmp/camlstartup13ea2c.s
<.> as -o /tmp/camlstartup2675fe.o /tmp/camlstartup13ea2c.s
[*] cc -o bin/coqwc -Lconfig -Ltools -Ltools/coqdoc -Lscripts -Llib -Lkernel -Lkernel/byterun -Llibrary -Lproofs -Ltactics -Lpretyping -Linterp -Ltoplevel -Lparsing -Lide/utils -Lide -Lcontrib/omega -Lcontrib/romega -Lcontrib/micromega -Lcontrib/ring -Lcontrib/dp -Lcontrib/setoid_ring -Lcontrib/xml -Lcontrib/extraction -Lcontrib/interface -Lcontrib/fourier -Lcontrib/cc -Lcontrib/funind -Lcontrib/firstorder -Lcontrib/field -Lcontrib/subtac -Lcontrib/rtauto -L/usr/pkg/lib/ocaml/camlp5 -L/usr/pkg/lib/ocaml /tmp/camlstartup2675fe.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 -O2 -I/usr/include -L/usr/lib -Wl,-R/usr/lib -L/usr/pkg/lib -Wl,-R/usr/pkg/lib
<.> /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 -Lcontrib/omega -Lcontrib/romega -Lcontrib/micromega -Lcontrib/ring -Lcontrib/dp -Lcontrib/setoid_ring -Lcontrib/xml -Lcontrib/extraction -Lcontrib/interface -Lcontrib/fourier -Lcontrib/cc -Lcontrib/funind -Lcontrib/firstorder -Lcontrib/field -Lcontrib/subtac -Lcontrib/rtauto -L/scratch/lang/coq/work/.buildlink/lib/ocaml/camlp5 -L/scratch/lang/coq/work/.buildlink/lib/ocaml /tmp/camlstartup2675fe.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,-rpath,/usr/lib -Wl,-rpath,/usr/pkg/lib -lm -O2 -I/usr/include -Wl,-rpath,/usr/lib -L/scratch/lang/coq/work/.buildlink/lib -Wl,-rpath,/usr/pkg/lib -I/scratch/lang/coq/work/.buildlink/include
[*] as -o tools/coqdoc/alpha.o /tmp/camlasmb225f9.s
<.> as -o tools/coqdoc/alpha.o /tmp/camlasmb225f9.s
[*] as -o scripts/coqc.o /tmp/camlasm064825.s
<.> as -o scripts/coqc.o /tmp/camlasm064825.s
[*] as -o checker/term.o /tmp/camlasmce155f.s
<.> as -o checker/term.o /tmp/camlasmce155f.s
[*] as -o contrib/interface/history.o /tmp/camlasme642b9.s
<.> as -o contrib/interface/history.o /tmp/camlasme642b9.s
[*] as -o contrib/interface/line_parser.o /tmp/camlasm9ca70e.s
<.> as -o contrib/interface/line_parser.o /tmp/camlasm9ca70e.s
[*] as -o /tmp/camlstartup09c38e.o /tmp/camlstartup3ca59a.s
<.> as -o /tmp/camlstartup09c38e.o /tmp/camlstartup3ca59a.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 -Lcontrib/omega -Lcontrib/romega -Lcontrib/micromega -Lcontrib/ring -Lcontrib/dp -Lcontrib/setoid_ring -Lcontrib/xml -Lcontrib/extraction -Lcontrib/interface -Lcontrib/fourier -Lcontrib/cc -Lcontrib/funind -Lcontrib/firstorder -Lcontrib/field -Lcontrib/subtac -Lcontrib/rtauto -L/usr/pkg/lib/ocaml/camlp5 -L/usr/pkg/lib/ocaml /tmp/camlstartup09c38e.o /usr/pkg/lib/ocaml/std_exit.o scripts/coqmktop.o scripts/tolink.o lib/envars.o lib/system.o lib/util.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 -lstr -lunix /usr/pkg/lib/ocaml/libasmrun.a -L/usr/lib -Wl,-R/usr/lib -Wl,-R/usr/pkg/lib -lm -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
<.> /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 -Lcontrib/omega -Lcontrib/romega -Lcontrib/micromega -Lcontrib/ring -Lcontrib/dp -Lcontrib/setoid_ring -Lcontrib/xml -Lcontrib/extraction -Lcontrib/interface -Lcontrib/fourier -Lcontrib/cc -Lcontrib/funind -Lcontrib/firstorder -Lcontrib/field -Lcontrib/subtac -Lcontrib/rtauto -L/scratch/lang/coq/work/.buildlink/lib/ocaml/camlp5 -L/scratch/lang/coq/work/.buildlink/lib/ocaml /tmp/camlstartup09c38e.o /usr/pkg/lib/ocaml/std_exit.o scripts/coqmktop.o scripts/tolink.o lib/envars.o lib/system.o lib/util.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 -lstr -lunix /usr/pkg/lib/ocaml/libasmrun.a -L/usr/lib -Wl,-rpath,/usr/lib -Wl,-rpath,/usr/pkg/lib -lm -O2 -I/usr/include -Wl,-rpath,/usr/lib -L/scratch/lang/coq/work/.buildlink/lib -Wl,-rpath,/usr/pkg/lib -O2 -Wl,-rpath,/usr/pkg/lib -I/scratch/lang/coq/work/.buildlink/include
[*] as -o lib/edit.o /tmp/camlasm4a4cbe.s
<.> as -o lib/edit.o /tmp/camlasm4a4cbe.s
[*] as -o lib/tlm.o /tmp/camlasm743fd6.s
<.> as -o lib/tlm.o /tmp/camlasm743fd6.s
[*] as -o lib/gmapl.o /tmp/camlasm45460e.s
<.> as -o lib/gmapl.o /tmp/camlasm45460e.s
[*] as -o kernel/term.o /tmp/camlasm9908ad.s
<.> as -o kernel/term.o /tmp/camlasm9908ad.s
[*] as -o tactics/dn.o /tmp/camlasmfc46e0.s
<.> as -o tactics/dn.o /tmp/camlasmfc46e0.s
[*] as -o contrib/micromega/mutils.o /tmp/camlasmd3fba3.s
<.> as -o contrib/micromega/mutils.o /tmp/camlasmd3fba3.s
[*] as -o contrib/dp/dp_why.o /tmp/camlasmce5527.s
<.> as -o contrib/dp/dp_why.o /tmp/camlasmce5527.s
[*] as -o contrib/xml/acic.o /tmp/camlasme7e11e.s
<.> as -o contrib/xml/acic.o /tmp/camlasme7e11e.s
[*] as -o contrib/interface/vtp.o /tmp/camlasm322df5.s
<.> as -o contrib/interface/vtp.o /tmp/camlasm322df5.s
[*] as -o /tmp/camlstartup2cf4b6.o /tmp/camlstartuped4205.s
<.> as -o /tmp/camlstartup2cf4b6.o /tmp/camlstartuped4205.s
[*] cc -o bin/gallina -Lconfig -Ltools -Ltools/coqdoc -Lscripts -Llib -Lkernel -Lkernel/byterun -Llibrary -Lproofs -Ltactics -Lpretyping -Linterp -Ltoplevel -Lparsing -Lide/utils -Lide -Lcontrib/omega -Lcontrib/romega -Lcontrib/micromega -Lcontrib/ring -Lcontrib/dp -Lcontrib/setoid_ring -Lcontrib/xml -Lcontrib/extraction -Lcontrib/interface -Lcontrib/fourier -Lcontrib/cc -Lcontrib/funind -Lcontrib/firstorder -Lcontrib/field -Lcontrib/subtac -Lcontrib/rtauto -L/usr/pkg/lib/ocaml/camlp5 -L/usr/pkg/lib/ocaml /tmp/camlstartup2cf4b6.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 -O2 -I/usr/include -L/usr/lib -Wl,-R/usr/lib -L/usr/pkg/lib -Wl,-R/usr/pkg/lib
<.> /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 -Lcontrib/omega -Lcontrib/romega -Lcontrib/micromega -Lcontrib/ring -Lcontrib/dp -Lcontrib/setoid_ring -Lcontrib/xml -Lcontrib/extraction -Lcontrib/interface -Lcontrib/fourier -Lcontrib/cc -Lcontrib/funind -Lcontrib/firstorder -Lcontrib/field -Lcontrib/subtac -Lcontrib/rtauto -L/scratch/lang/coq/work/.buildlink/lib/ocaml/camlp5 -L/scratch/lang/coq/work/.buildlink/lib/ocaml /tmp/camlstartup2cf4b6.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,-rpath,/usr/lib -Wl,-rpath,/usr/pkg/lib -lm -O2 -I/usr/include -Wl,-rpath,/usr/lib -L/scratch/lang/coq/work/.buildlink/lib -Wl,-rpath,/usr/pkg/lib -I/scratch/lang/coq/work/.buildlink/include
[*] as -o tools/coqdoc/index.o /tmp/camlasm0644ea.s
<.> as -o tools/coqdoc/index.o /tmp/camlasm0644ea.s
[*] as -o checker/declarations.o /tmp/camlasmd80296.s
<.> as -o checker/declarations.o /tmp/camlasmd80296.s
[*] as -o contrib/micromega/csdpcert.o /tmp/camlasm8ac68a.s
<.> as -o contrib/micromega/csdpcert.o /tmp/camlasm8ac68a.s
[*] as -o kernel/sign.o /tmp/camlasma8b7f6.s
<.> as -o kernel/sign.o /tmp/camlasma8b7f6.s
[*] as -o kernel/mod_subst.o /tmp/camlasm98ca0d.s
<.> as -o kernel/mod_subst.o /tmp/camlasm98ca0d.s
[*] as -o kernel/entries.o /tmp/camlasm814e7b.s
<.> as -o kernel/entries.o /tmp/camlasm814e7b.s
[*] as -o kernel/cbytecodes.o /tmp/camlasm28c0f4.s
<.> as -o kernel/cbytecodes.o /tmp/camlasm28c0f4.s
[*] as -o toplevel/ind_tables.o /tmp/camlasm6adbac.s
<.> as -o toplevel/ind_tables.o /tmp/camlasm6adbac.s
[*] as -o library/libnames.o /tmp/camlasm9685bc.s
<.> as -o library/libnames.o /tmp/camlasm9685bc.s
[*] as -o contrib/micromega/vector.o /tmp/camlasm99f5b7.s
<.> as -o contrib/micromega/vector.o /tmp/camlasm99f5b7.s
[*] as -o tools/coqdoc/output.o /tmp/camlasm5fb2c0.s
<.> as -o tools/coqdoc/output.o /tmp/camlasm5fb2c0.s
[*] as -o kernel/cemitcodes.o /tmp/camlasm84dafe.s
<.> as -o kernel/cemitcodes.o /tmp/camlasm84dafe.s
[*] as -o checker/environ.o /tmp/camlasm99413c.s
<.> as -o checker/environ.o /tmp/camlasm99413c.s
[*] as -o kernel/retroknowledge.o /tmp/camlasm496aee.s
<.> as -o kernel/retroknowledge.o /tmp/camlasm496aee.s
[*] as -o kernel/vm.o /tmp/camlasm0d79a1.s
<.> as -o kernel/vm.o /tmp/camlasm0d79a1.s
[*] as -o library/libobject.o /tmp/camlasm045e6a.s
<.> as -o library/libobject.o /tmp/camlasm045e6a.s
[*] as -o library/decl_kinds.o /tmp/camlasm50cbde.s
<.> as -o library/decl_kinds.o /tmp/camlasm50cbde.s
[*] as -o contrib/micromega/mfourier.o /tmp/camlasm977693.s
<.> as -o contrib/micromega/mfourier.o /tmp/camlasm977693.s
[*] as -o tools/coqdoc/pretty.o /tmp/camlasme3adca.s
<.> as -o tools/coqdoc/pretty.o /tmp/camlasme3adca.s
[*] as -o checker/type_errors.o /tmp/camlasmd18cf7.s
<.> as -o checker/type_errors.o /tmp/camlasmd18cf7.s
[*] as -o checker/modops.o /tmp/camlasmd7e42d.s
<.> as -o checker/modops.o /tmp/camlasmd7e42d.s
[*] as -o checker/closure.o /tmp/camlasm84e2eb.s
<.> as -o checker/closure.o /tmp/camlasm84e2eb.s
[*] as -o kernel/declarations.o /tmp/camlasmf7fb20.s
<.> as -o kernel/declarations.o /tmp/camlasmf7fb20.s
[*] as -o contrib/micromega/certificate.o /tmp/camlasme13ab3.s
<.> as -o contrib/micromega/certificate.o /tmp/camlasme13ab3.s
[*] as -o tools/coqdoc/main.o /tmp/camlasm8257c3.s
<.> as -o tools/coqdoc/main.o /tmp/camlasm8257c3.s
[*] as -o /tmp/camlstartupf3d4de.o /tmp/camlstartup269e61.s
<.> as -o /tmp/camlstartupf3d4de.o /tmp/camlstartup269e61.s
[*] cc -o contrib/micromega/csdpcert -Lconfig -Ltools -Ltools/coqdoc -Lscripts -Llib -Lkernel -Lkernel/byterun -Llibrary -Lproofs -Ltactics -Lpretyping -Linterp -Ltoplevel -Lparsing -Lide/utils -Lide -Lcontrib/omega -Lcontrib/romega -Lcontrib/micromega -Lcontrib/ring -Lcontrib/dp -Lcontrib/setoid_ring -Lcontrib/xml -Lcontrib/extraction -Lcontrib/interface -Lcontrib/fourier -Lcontrib/cc -Lcontrib/funind -Lcontrib/firstorder -Lcontrib/field -Lcontrib/subtac -Lcontrib/rtauto -L/usr/pkg/lib/ocaml/camlp5 -L/usr/pkg/lib/ocaml /tmp/camlstartupf3d4de.o /usr/pkg/lib/ocaml/std_exit.o contrib/micromega/csdpcert.o contrib/micromega/sos.o contrib/micromega/certificate.o contrib/micromega/mfourier.o contrib/micromega/vector.o contrib/micromega/micromega.o contrib/micromega/mutils.o /usr/pkg/lib/ocaml/nums.a /usr/pkg/lib/ocaml/stdlib.a -lnums /usr/pkg/lib/ocaml/libasmrun.a -L/usr/lib -Wl,-R/usr/lib -Wl,-R/usr/pkg/lib -lm -O2 -I/usr/include -L/usr/lib -Wl,-R/usr/lib -L/usr/pkg/lib -Wl,-R/usr/pkg/lib
<.> /scratch/lang/coq/work/.gcc/bin/gcc -o contrib/micromega/csdpcert -Lconfig -Ltools -Ltools/coqdoc -Lscripts -Llib -Lkernel -Lkernel/byterun -Llibrary -Lproofs -Ltactics -Lpretyping -Linterp -Ltoplevel -Lparsing -Lide/utils -Lide -Lcontrib/omega -Lcontrib/romega -Lcontrib/micromega -Lcontrib/ring -Lcontrib/dp -Lcontrib/setoid_ring -Lcontrib/xml -Lcontrib/extraction -Lcontrib/interface -Lcontrib/fourier -Lcontrib/cc -Lcontrib/funind -Lcontrib/firstorder -Lcontrib/field -Lcontrib/subtac -Lcontrib/rtauto -L/scratch/lang/coq/work/.buildlink/lib/ocaml/camlp5 -L/scratch/lang/coq/work/.buildlink/lib/ocaml /tmp/camlstartupf3d4de.o /usr/pkg/lib/ocaml/std_exit.o contrib/micromega/csdpcert.o contrib/micromega/sos.o contrib/micromega/certificate.o contrib/micromega/mfourier.o contrib/micromega/vector.o contrib/micromega/micromega.o contrib/micromega/mutils.o /usr/pkg/lib/ocaml/nums.a /usr/pkg/lib/ocaml/stdlib.a -lnums /usr/pkg/lib/ocaml/libasmrun.a -L/usr/lib -Wl,-rpath,/usr/lib -Wl,-rpath,/usr/pkg/lib -lm -O2 -I/usr/include -Wl,-rpath,/usr/lib -L/scratch/lang/coq/work/.buildlink/lib -Wl,-rpath,/usr/pkg/lib -I/scratch/lang/coq/work/.buildlink/include
[*] as -o checker/reduction.o /tmp/camlasm8fb82a.s
<.> as -o checker/reduction.o /tmp/camlasm8fb82a.s
[*] as -o kernel/pre_env.o /tmp/camlasma5019b.s
<.> as -o kernel/pre_env.o /tmp/camlasma5019b.s
[*] as -o library/nametab.o /tmp/camlasm3d865a.s
<.> as -o library/nametab.o /tmp/camlasm3d865a.s
[*] as -o /tmp/camlstartup97c205.o /tmp/camlstartup85c55e.s
<.> as -o /tmp/camlstartup97c205.o /tmp/camlstartup85c55e.s
[*] cc -o bin/coqdoc -Lconfig -Ltools -Ltools/coqdoc -Lscripts -Llib -Lkernel -Lkernel/byterun -Llibrary -Lproofs -Ltactics -Lpretyping -Linterp -Ltoplevel -Lparsing -Lide/utils -Lide -Lcontrib/omega -Lcontrib/romega -Lcontrib/micromega -Lcontrib/ring -Lcontrib/dp -Lcontrib/setoid_ring -Lcontrib/xml -Lcontrib/extraction -Lcontrib/interface -Lcontrib/fourier -Lcontrib/cc -Lcontrib/funind -Lcontrib/firstorder -Lcontrib/field -Lcontrib/subtac -Lcontrib/rtauto -L/usr/pkg/lib/ocaml/camlp5 -L/usr/pkg/lib/ocaml /tmp/camlstartup97c205.o /usr/pkg/lib/ocaml/std_exit.o tools/coqdoc/main.o tools/coqdoc/pretty.o tools/coqdoc/output.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 -lstr /usr/pkg/lib/ocaml/libasmrun.a -L/usr/lib -Wl,-R/usr/lib -Wl,-R/usr/pkg/lib -lm -O2 -I/usr/include -L/usr/lib -Wl,-R/usr/lib -L/usr/pkg/lib -Wl,-R/usr/pkg/lib
<.> /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 -Lcontrib/omega -Lcontrib/romega -Lcontrib/micromega -Lcontrib/ring -Lcontrib/dp -Lcontrib/setoid_ring -Lcontrib/xml -Lcontrib/extraction -Lcontrib/interface -Lcontrib/fourier -Lcontrib/cc -Lcontrib/funind -Lcontrib/firstorder -Lcontrib/field -Lcontrib/subtac -Lcontrib/rtauto -L/scratch/lang/coq/work/.buildlink/lib/ocaml/camlp5 -L/scratch/lang/coq/work/.buildlink/lib/ocaml /tmp/camlstartup97c205.o /usr/pkg/lib/ocaml/std_exit.o tools/coqdoc/main.o tools/coqdoc/pretty.o tools/coqdoc/output.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 -lstr /usr/pkg/lib/ocaml/libasmrun.a -L/usr/lib -Wl,-rpath,/usr/lib -Wl,-rpath,/usr/pkg/lib -lm -O2 -I/usr/include -Wl,-rpath,/usr/lib -L/scratch/lang/coq/work/.buildlink/lib -Wl,-rpath,/usr/pkg/lib -I/scratch/lang/coq/work/.buildlink/include
[*] as -o checker/inductive.o /tmp/camlasm642b0f.s
<.> as -o checker/inductive.o /tmp/camlasm642b0f.s
[*] as -o checker/typeops.o /tmp/camlasm5da8d7.s
<.> as -o checker/typeops.o /tmp/camlasm5da8d7.s
[*] as -o checker/indtypes.o /tmp/camlasmddb76c.s
<.> as -o checker/indtypes.o /tmp/camlasmddb76c.s
[*] as -o kernel/cbytegen.o /tmp/camlasm2c7030.s
<.> as -o kernel/cbytegen.o /tmp/camlasm2c7030.s
[*] as -o checker/subtyping.o /tmp/camlasm4897fe.s
<.> as -o checker/subtyping.o /tmp/camlasm4897fe.s
[*] as -o kernel/environ.o /tmp/camlasmc6d2b4.s
<.> as -o kernel/environ.o /tmp/camlasmc6d2b4.s
[*] as -o checker/mod_checking.o /tmp/camlasme65f56.s
<.> as -o checker/mod_checking.o /tmp/camlasme65f56.s
[*] as -o kernel/csymtable.o /tmp/camlasm61c8be.s
<.> as -o kernel/csymtable.o /tmp/camlasm61c8be.s
[*] as -o kernel/modops.o /tmp/camlasm8287fb.s
<.> as -o kernel/modops.o /tmp/camlasm8287fb.s
[*] as -o checker/safe_typing.o /tmp/camlasmb9fc16.s
<.> as -o checker/safe_typing.o /tmp/camlasmb9fc16.s
[*] as -o checker/check.o /tmp/camlasme272d0.s
<.> as -o checker/check.o /tmp/camlasme272d0.s
[*] as -o checker/check_stat.o /tmp/camlasm585325.s
<.> as -o checker/check_stat.o /tmp/camlasm585325.s
[*] as -o checker/checker.o /tmp/camlasm17f2e9.s
<.> as -o checker/checker.o /tmp/camlasm17f2e9.s
[*] as -o checker/main.o /tmp/camlasmadeea2.s
<.> as -o checker/main.o /tmp/camlasmadeea2.s
[*] as -o /tmp/camlstartup8b9ad5.o /tmp/camlstartupe515b1.s
<.> as -o /tmp/camlstartup8b9ad5.o /tmp/camlstartupe515b1.s
[*] cc -o bin/coqchk.opt -Lchecker -Llib -Lconfig -Lkernel -L/usr/pkg/lib/ocaml/camlp5 -L/usr/pkg/lib/ocaml /tmp/camlstartup8b9ad5.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 -lstr /usr/pkg/lib/ocaml/libasmrun.a -L/usr/lib -Wl,-R/usr/lib -Wl,-R/usr/pkg/lib -lm -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
<.> /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 /tmp/camlstartup8b9ad5.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 -lstr /usr/pkg/lib/ocaml/libasmrun.a -L/usr/lib -Wl,-rpath,/usr/lib -Wl,-rpath,/usr/pkg/lib -lm -O2 -I/usr/include -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 -I/scratch/lang/coq/work/.buildlink/include
[*] as -o kernel/closure.o /tmp/camlasm45ec0b.s
<.> as -o kernel/closure.o /tmp/camlasm45ec0b.s
[*] as -o kernel/reduction.o /tmp/camlasmee1488.s
<.> as -o kernel/reduction.o /tmp/camlasmee1488.s
[*] as -o kernel/type_errors.o /tmp/camlasm3e9a32.s
<.> as -o kernel/type_errors.o /tmp/camlasm3e9a32.s
[*] as -o kernel/vconv.o /tmp/camlasm6cbf22.s
<.> as -o kernel/vconv.o /tmp/camlasm6cbf22.s
[*] as -o kernel/inductive.o /tmp/camlasm2db25c.s
<.> as -o kernel/inductive.o /tmp/camlasm2db25c.s
[*] as -o kernel/typeops.o /tmp/camlasmfc6110.s
<.> as -o kernel/typeops.o /tmp/camlasmfc6110.s
[*] as -o kernel/cooking.o /tmp/camlasmd5eb0e.s
<.> as -o kernel/cooking.o /tmp/camlasmd5eb0e.s
[*] as -o kernel/indtypes.o /tmp/camlasmdbd2bc.s
<.> as -o kernel/indtypes.o /tmp/camlasmdbd2bc.s
[*] as -o kernel/subtyping.o /tmp/camlasmdc9b7a.s
<.> as -o kernel/subtyping.o /tmp/camlasmdc9b7a.s
[*] as -o pretyping/vnorm.o /tmp/camlasma7c410.s
<.> as -o pretyping/vnorm.o /tmp/camlasma7c410.s
[*] as -o kernel/term_typing.o /tmp/camlasm7d54fe.s
<.> as -o kernel/term_typing.o /tmp/camlasm7d54fe.s
[*] as -o library/lib.o /tmp/camlasm75d6df.s
<.> as -o library/lib.o /tmp/camlasm75d6df.s
[*] as -o library/dischargedhypsmap.o /tmp/camlasm47f6e9.s
<.> as -o library/dischargedhypsmap.o /tmp/camlasm47f6e9.s
[*] as -o library/goptions.o /tmp/camlasm32a4c0.s
<.> as -o library/goptions.o /tmp/camlasm32a4c0.s
[*] as -o kernel/mod_typing.o /tmp/camlasm38ed6d.s
<.> as -o kernel/mod_typing.o /tmp/camlasm38ed6d.s
[*] as -o contrib/rtauto/proof_search.o /tmp/camlasm5ea2a5.s
<.> as -o contrib/rtauto/proof_search.o /tmp/camlasm5ea2a5.s
[*] as -o kernel/safe_typing.o /tmp/camlasm8dcb36.s
<.> as -o kernel/safe_typing.o /tmp/camlasm8dcb36.s
[*] as -o library/global.o /tmp/camlasme8cbac.s
<.> as -o library/global.o /tmp/camlasme8cbac.s
[*] as -o library/decls.o /tmp/camlasm95e1d6.s
<.> as -o library/decls.o /tmp/camlasm95e1d6.s
[*] as -o library/declaremods.o /tmp/camlasm4198fc.s
<.> as -o library/declaremods.o /tmp/camlasm4198fc.s
[*] as -o parsing/printmod.o /tmp/camlasma3b54f.s
<.> as -o parsing/printmod.o /tmp/camlasma3b54f.s
[*] as -o pretyping/termops.o /tmp/camlasma0ca06.s
<.> as -o pretyping/termops.o /tmp/camlasma0ca06.s
[*] as -o library/heads.o /tmp/camlasm98035e.s
<.> as -o library/heads.o /tmp/camlasm98035e.s
[*] as -o library/library.o /tmp/camlasmf5f5cc.s
<.> as -o library/library.o /tmp/camlasmf5f5cc.s
[*] as -o toplevel/discharge.o /tmp/camlasmc03830.s
<.> as -o toplevel/discharge.o /tmp/camlasmc03830.s
[*] as -o library/states.o /tmp/camlasmaddbb8.s
<.> as -o library/states.o /tmp/camlasmaddbb8.s
[*] as -o pretyping/evd.o /tmp/camlasmc5823d.s
<.> as -o pretyping/evd.o /tmp/camlasmc5823d.s
[*] as -o pretyping/rawterm.o /tmp/camlasmd78faa.s
<.> as -o pretyping/rawterm.o /tmp/camlasmd78faa.s
[*] as -o interp/reserve.o /tmp/camlasma36bc3.s
<.> as -o interp/reserve.o /tmp/camlasma36bc3.s
[*] as -o pretyping/reductionops.o /tmp/camlasm2c82f0.s
<.> as -o pretyping/reductionops.o /tmp/camlasm2c82f0.s
[*] as -o pretyping/cbv.o /tmp/camlasmf2ba34.s
<.> as -o pretyping/cbv.o /tmp/camlasmf2ba34.s
[*] as -o pretyping/inductiveops.o /tmp/camlasmed4f07.s
<.> as -o pretyping/inductiveops.o /tmp/camlasmed4f07.s
[*] as -o pretyping/pretype_errors.o /tmp/camlasmb94af4.s
<.> as -o pretyping/pretype_errors.o /tmp/camlasmb94af4.s
[*] as -o pretyping/retyping.o /tmp/camlasmc036e4.s
<.> as -o pretyping/retyping.o /tmp/camlasmc036e4.s
[*] as -o pretyping/pattern.o /tmp/camlasmc083af.s
<.> as -o pretyping/pattern.o /tmp/camlasmc083af.s
[*] as -o pretyping/indrec.o /tmp/camlasmf6e376.s
<.> as -o pretyping/indrec.o /tmp/camlasmf6e376.s
[*] as -o pretyping/detyping.o /tmp/camlasm5ffcd2.s
<.> as -o pretyping/detyping.o /tmp/camlasm5ffcd2.s
[*] as -o tactics/termdn.o /tmp/camlasm04c5fa.s
<.> as -o tactics/termdn.o /tmp/camlasm04c5fa.s
[*] as -o pretyping/matching.o /tmp/camlasma52cca.s
<.> as -o pretyping/matching.o /tmp/camlasma52cca.s
[*] as -o pretyping/typing.o /tmp/camlasm8d44c9.s
<.> as -o pretyping/typing.o /tmp/camlasm8d44c9.s
[*] as -o tactics/btermdn.o /tmp/camlasm16d747.s
<.> as -o tactics/btermdn.o /tmp/camlasm16d747.s
[*] as -o pretyping/tacred.o /tmp/camlasmb4b8bf.s
<.> as -o pretyping/tacred.o /tmp/camlasmb4b8bf.s
[*] as -o interp/topconstr.o /tmp/camlasm38c986.s
<.> as -o interp/topconstr.o /tmp/camlasm38c986.s
[*] as -o proofs/redexpr.o /tmp/camlasmaf072d.s
<.> as -o proofs/redexpr.o /tmp/camlasmaf072d.s
[*] as -o tactics/nbtermdn.o /tmp/camlasmc8edcd.s
<.> as -o tactics/nbtermdn.o /tmp/camlasmc8edcd.s
[*] as -o pretyping/classops.o /tmp/camlasm180df9.s
<.> as -o pretyping/classops.o /tmp/camlasm180df9.s
[*] as -o pretyping/typeclasses_errors.o /tmp/camlasmc4236d.s
<.> as -o pretyping/typeclasses_errors.o /tmp/camlasmc4236d.s
[*] as -o interp/notation.o /tmp/camlasmcff642.s
<.> as -o interp/notation.o /tmp/camlasmcff642.s
[*] as -o pretyping/evarutil.o /tmp/camlasm39d7a6.s
<.> as -o pretyping/evarutil.o /tmp/camlasm39d7a6.s
[*] as -o library/impargs.o /tmp/camlasm2dcd0d.s
<.> as -o library/impargs.o /tmp/camlasm2dcd0d.s
[*] as -o pretyping/recordops.o /tmp/camlasm852fb5.s
<.> as -o pretyping/recordops.o /tmp/camlasm852fb5.s
[*] as -o pretyping/typeclasses.o /tmp/camlasm70687f.s
<.> as -o pretyping/typeclasses.o /tmp/camlasm70687f.s
[*] as -o interp/genarg.o /tmp/camlasm99001b.s
<.> as -o interp/genarg.o /tmp/camlasm99001b.s
[*] as -o interp/syntax_def.o /tmp/camlasm1362e3.s
<.> as -o interp/syntax_def.o /tmp/camlasm1362e3.s
[*] as -o interp/implicit_quantifiers.o /tmp/camlasm11626b.s
<.> as -o interp/implicit_quantifiers.o /tmp/camlasm11626b.s
[*] as -o interp/constrextern.o /tmp/camlasm603499.s
<.> as -o interp/constrextern.o /tmp/camlasm603499.s
[*] as -o proofs/tacexpr.o /tmp/camlasm37f1bc.s
<.> as -o proofs/tacexpr.o /tmp/camlasm37f1bc.s
[*] as -o parsing/extend.o /tmp/camlasmbd0f16.s
<.> as -o parsing/extend.o /tmp/camlasmbd0f16.s
[*] as -o library/declare.o /tmp/camlasm3ea965.s
<.> as -o library/declare.o /tmp/camlasm3ea965.s
[*] as -o pretyping/evarconv.o /tmp/camlasm0258cb.s
<.> as -o pretyping/evarconv.o /tmp/camlasm0258cb.s
[*] as -o parsing/ppconstr.o /tmp/camlasmc27201.s
<.> as -o parsing/ppconstr.o /tmp/camlasmc27201.s
[*] as -o interp/dumpglob.o /tmp/camlasm2d3073.s
<.> as -o interp/dumpglob.o /tmp/camlasm2d3073.s
[*] as -o proofs/proof_type.o /tmp/camlasm2ee77a.s
<.> as -o proofs/proof_type.o /tmp/camlasm2ee77a.s
[*] as -o toplevel/vernacexpr.o /tmp/camlasm3a63cb.s
<.> as -o toplevel/vernacexpr.o /tmp/camlasm3a63cb.s
[*] as -o pretyping/coercion.o /tmp/camlasm5d7935.s
<.> as -o pretyping/coercion.o /tmp/camlasm5d7935.s
[*] as -o proofs/proof_trees.o /tmp/camlasm38959b.s
<.> as -o proofs/proof_trees.o /tmp/camlasm38959b.s
[*] as -o parsing/pcoq.o /tmp/camlasmccd8e4.s
<.> as -o parsing/pcoq.o /tmp/camlasmccd8e4.s
[*] as -o pretyping/unification.o /tmp/camlasmcf5a46.s
<.> as -o pretyping/unification.o /tmp/camlasmcf5a46.s
[*] as -o proofs/logic.o /tmp/camlasmc958d3.s
<.> as -o proofs/logic.o /tmp/camlasmc958d3.s
[*] as -o parsing/egrammar.o /tmp/camlasma0581a.s
<.> as -o parsing/egrammar.o /tmp/camlasma0581a.s
[*] as -o parsing/g_xml.o /tmp/camlasm987796.s
<.> as -o parsing/g_xml.o /tmp/camlasm987796.s
[*] as -o parsing/g_constr.o /tmp/camlasmc52b9b.s
<.> as -o parsing/g_constr.o /tmp/camlasmc52b9b.s
[*] as -o parsing/g_prim.o /tmp/camlasm187fc1.s
<.> as -o parsing/g_prim.o /tmp/camlasm187fc1.s
[*] as -o pretyping/cases.o /tmp/camlasm9d7d18.s
<.> as -o pretyping/cases.o /tmp/camlasm9d7d18.s
[*] as -o parsing/g_tactic.o /tmp/camlasm9e201f.s
<.> as -o parsing/g_tactic.o /tmp/camlasm9e201f.s
[*] as -o parsing/g_ltac.o /tmp/camlasm17a906.s
<.> as -o parsing/g_ltac.o /tmp/camlasm17a906.s
[*] as -o parsing/g_zsyntax.o /tmp/camlasme10861.s
<.> as -o parsing/g_zsyntax.o /tmp/camlasme10861.s
[*] as -o parsing/g_rsyntax.o /tmp/camlasmf7eaa7.s
<.> as -o parsing/g_rsyntax.o /tmp/camlasmf7eaa7.s
[*] as -o pretyping/clenv.o /tmp/camlasm2afb91.s
<.> as -o pretyping/clenv.o /tmp/camlasm2afb91.s
[*] as -o pretyping/pretyping.o /tmp/camlasm04b346.s
<.> as -o pretyping/pretyping.o /tmp/camlasm04b346.s
[*] as -o interp/coqlib.o /tmp/camlasmdfc834.s
<.> as -o interp/coqlib.o /tmp/camlasmdfc834.s
[*] as -o proofs/refiner.o /tmp/camlasme49594.s
<.> as -o proofs/refiner.o /tmp/camlasme49594.s
[*] as -o parsing/g_decl_mode.o /tmp/camlasmdd6707.s
<.> as -o parsing/g_decl_mode.o /tmp/camlasmdd6707.s
[*] as -o parsing/g_natsyntax.o /tmp/camlasm09d0d5.s
<.> as -o parsing/g_natsyntax.o /tmp/camlasm09d0d5.s
[*] as -o parsing/g_ascii_syntax.o /tmp/camlasm09d552.s
<.> as -o parsing/g_ascii_syntax.o /tmp/camlasm09d552.s
[*] as -o parsing/g_intsyntax.o /tmp/camlasme67b66.s
<.> as -o parsing/g_intsyntax.o /tmp/camlasme67b66.s
[*] as -o proofs/tactic_debug.o /tmp/camlasm6b16e1.s
<.> as -o proofs/tactic_debug.o /tmp/camlasm6b16e1.s
[*] as -o parsing/g_string_syntax.o /tmp/camlasma9cefb.s
<.> as -o parsing/g_string_syntax.o /tmp/camlasma9cefb.s
[*] as -o interp/constrintern.o /tmp/camlasm4b27d9.s
<.> as -o interp/constrintern.o /tmp/camlasm4b27d9.s
[*] as -o proofs/evar_refiner.o /tmp/camlasm9b238b.s
<.> as -o proofs/evar_refiner.o /tmp/camlasm9b238b.s
[*] as -o interp/modintern.o /tmp/camlasm0f568a.s
<.> as -o interp/modintern.o /tmp/camlasm0f568a.s
[*] as -o proofs/tacmach.o /tmp/camlasm63f8fb.s
<.> as -o proofs/tacmach.o /tmp/camlasm63f8fb.s
[*] as -o proofs/pfedit.o /tmp/camlasm8db638.s
<.> as -o proofs/pfedit.o /tmp/camlasm8db638.s
[*] as -o proofs/decl_mode.o /tmp/camlasm187810.s
<.> as -o proofs/decl_mode.o /tmp/camlasm187810.s
[*] as -o proofs/clenvtac.o /tmp/camlasm8c28de.s
<.> as -o proofs/clenvtac.o /tmp/camlasm8c28de.s
[*] as -o contrib/cc/ccalgo.o /tmp/camlasmeab207.s
<.> as -o contrib/cc/ccalgo.o /tmp/camlasmeab207.s
[*] as -o contrib/romega/const_omega.o /tmp/camlasmc7af40.s
<.> as -o contrib/romega/const_omega.o /tmp/camlasmc7af40.s
[*] as -o parsing/printer.o /tmp/camlasm0f6592.s
<.> as -o parsing/printer.o /tmp/camlasm0f6592.s
[*] as -o tactics/tacticals.o /tmp/camlasm4646cc.s
<.> as -o tactics/tacticals.o /tmp/camlasm4646cc.s
[*] as -o contrib/cc/ccproof.o /tmp/camlasm99db3d.s
<.> as -o contrib/cc/ccproof.o /tmp/camlasm99db3d.s
[*] as -o contrib/subtac/subtac_errors.o /tmp/camlasm2e46e0.s
<.> as -o contrib/subtac/subtac_errors.o /tmp/camlasm2e46e0.s
[*] as -o contrib/funind/indfun_common.o /tmp/camlasma39a60.s
<.> as -o contrib/funind/indfun_common.o /tmp/camlasma39a60.s
[*] as -o parsing/prettyp.o /tmp/camlasm593640.s
<.> as -o parsing/prettyp.o /tmp/camlasm593640.s
[*] as -o parsing/search.o /tmp/camlasmc9272f.s
<.> as -o parsing/search.o /tmp/camlasmc9272f.s
[*] as -o parsing/pptactic.o /tmp/camlasma4bb9f.s
<.> as -o parsing/pptactic.o /tmp/camlasma4bb9f.s
[*] as -o tactics/hipattern.o /tmp/camlasm2ce4c5.s
<.> as -o tactics/hipattern.o /tmp/camlasm2ce4c5.s
[*] as -o toplevel/class.o /tmp/camlasm686fa5.s
<.> as -o toplevel/class.o /tmp/camlasm686fa5.s
[*] as -o contrib/extraction/table.o /tmp/camlasm153e9c.s
<.> as -o contrib/extraction/table.o /tmp/camlasm153e9c.s
[*] as -o contrib/xml/doubleTypeInference.o /tmp/camlasm5f6bc3.s
<.> as -o contrib/xml/doubleTypeInference.o /tmp/camlasm5f6bc3.s
[*] as -o contrib/firstorder/formula.o /tmp/camlasm9d41ac.s
<.> as -o contrib/firstorder/formula.o /tmp/camlasm9d41ac.s
[*] as -o contrib/interface/name_to_ast.o /tmp/camlasm3a7eda.s
<.> as -o contrib/interface/name_to_ast.o /tmp/camlasm3a7eda.s
[*] as -o parsing/ppdecl_proof.o /tmp/camlasm5a6e92.s
<.> as -o parsing/ppdecl_proof.o /tmp/camlasm5a6e92.s
[*] as -o contrib/funind/rawtermops.o /tmp/camlasm90b505.s
<.> as -o contrib/funind/rawtermops.o /tmp/camlasm90b505.s
[*] as -o toplevel/himsg.o /tmp/camlasm8ce58d.s
<.> as -o toplevel/himsg.o /tmp/camlasm8ce58d.s
[*] as -o parsing/g_vernac.o /tmp/camlasme9e8b7.s
<.> as -o parsing/g_vernac.o /tmp/camlasme9e8b7.s
[*] as -o tactics/tactics.o /tmp/camlasm43f919.s
<.> as -o tactics/tactics.o /tmp/camlasm43f919.s
[*] as -o contrib/extraction/mlutil.o /tmp/camlasm55e7db.s
<.> as -o contrib/extraction/mlutil.o /tmp/camlasm55e7db.s
[*] as -o contrib/firstorder/unify.o /tmp/camlasme7d86b.s
<.> as -o contrib/firstorder/unify.o /tmp/camlasme7d86b.s
[*] as -o contrib/xml/cic2acic.o /tmp/camlasm8978c6.s
<.> as -o contrib/xml/cic2acic.o /tmp/camlasm8978c6.s
[*] as -o parsing/tactic_printer.o /tmp/camlasmae9269.s
<.> as -o parsing/tactic_printer.o /tmp/camlasmae9269.s
[*] as -o tactics/hiddentac.o /tmp/camlasma61a78.s
<.> as -o tactics/hiddentac.o /tmp/camlasma61a78.s
[*] as -o tactics/dhyp.o /tmp/camlasmfd83dd.s
<.> as -o tactics/dhyp.o /tmp/camlasmfd83dd.s
[*] as -o tactics/contradiction.o /tmp/camlasm7e4c19.s
<.> as -o tactics/contradiction.o /tmp/camlasm7e4c19.s
[*] as -o parsing/g_proofs.o /tmp/camlasm5618e3.s
<.> as -o parsing/g_proofs.o /tmp/camlasm5618e3.s
[*] as -o toplevel/cerrors.o /tmp/camlasmce0402.s
<.> as -o toplevel/cerrors.o /tmp/camlasmce0402.s
[*] as -o tactics/refine.o /tmp/camlasmbd1496.s
<.> as -o tactics/refine.o /tmp/camlasmbd1496.s
[*] as -o contrib/romega/refl_omega.o /tmp/camlasmbe77e7.s
<.> as -o contrib/romega/refl_omega.o /tmp/camlasmbe77e7.s
[*] as -o contrib/ring/quote.o /tmp/camlasmbe2478.s
<.> as -o contrib/ring/quote.o /tmp/camlasmbe2478.s
[*] as -o contrib/dp/dp_zenon.o /tmp/camlasmf9a1f6.s
<.> as -o contrib/dp/dp_zenon.o /tmp/camlasmf9a1f6.s
[*] as -o contrib/extraction/modutil.o /tmp/camlasm3f7655.s
<.> as -o contrib/extraction/modutil.o /tmp/camlasm3f7655.s
[*] as -o contrib/extraction/extraction.o /tmp/camlasm3293f9.s
<.> as -o contrib/extraction/extraction.o /tmp/camlasm3293f9.s
[*] as -o contrib/extraction/common.o /tmp/camlasmc67db7.s
<.> as -o contrib/extraction/common.o /tmp/camlasmc67db7.s
[*] as -o contrib/xml/acic2Xml.o /tmp/camlasma80ca7.s
<.> as -o contrib/xml/acic2Xml.o /tmp/camlasma80ca7.s
[*] as -o contrib/xml/proof2aproof.o /tmp/camlasmc980d1.s
<.> as -o contrib/xml/proof2aproof.o /tmp/camlasmc980d1.s
[*] as -o contrib/interface/depends.o /tmp/camlasm095bd9.s
<.> as -o contrib/interface/depends.o /tmp/camlasm095bd9.s
[*] as -o tactics/elim.o /tmp/camlasmdf300a.s
<.> as -o tactics/elim.o /tmp/camlasmdf300a.s
[*] as -o contrib/micromega/coq_micromega.o /tmp/camlasma23fe9.s
<.> as -o contrib/micromega/coq_micromega.o /tmp/camlasma23fe9.s
[*] as -o tactics/auto.o /tmp/camlasm537217.s
<.> as -o tactics/auto.o /tmp/camlasm537217.s
[*] as -o contrib/dp/dp.o /tmp/camlasm7970f0.s
<.> as -o contrib/dp/dp.o /tmp/camlasm7970f0.s
[*] as -o contrib/extraction/haskell.o /tmp/camlasm3e7a44.s
<.> as -o contrib/extraction/haskell.o /tmp/camlasm3e7a44.s
[*] as -o contrib/extraction/ocaml.o /tmp/camlasmc4d0b3.s
<.> as -o contrib/extraction/ocaml.o /tmp/camlasmc4d0b3.s
[*] as -o contrib/extraction/scheme.o /tmp/camlasm8e5bb7.s
<.> as -o contrib/extraction/scheme.o /tmp/camlasm8e5bb7.s
[*] as -o contrib/xml/proofTree2Xml.o /tmp/camlasm5ec34c.s
<.> as -o contrib/xml/proofTree2Xml.o /tmp/camlasm5ec34c.s
[*] as -o contrib/firstorder/sequent.o /tmp/camlasm75128b.s
<.> as -o contrib/firstorder/sequent.o /tmp/camlasm75128b.s
[*] as -o contrib/extraction/extract_env.o /tmp/camlasmc0c7ea.s
<.> as -o contrib/extraction/extract_env.o /tmp/camlasmc0c7ea.s
[*] as -o contrib/firstorder/rules.o /tmp/camlasm443f3c.s
<.> as -o contrib/firstorder/rules.o /tmp/camlasm443f3c.s
[*] as -o contrib/firstorder/instances.o /tmp/camlasme75796.s
<.> as -o contrib/firstorder/instances.o /tmp/camlasme75796.s
[*] as -o tactics/equality.o /tmp/camlasm7b9678.s
<.> as -o tactics/equality.o /tmp/camlasm7b9678.s
[*] as -o tactics/inv.o /tmp/camlasm0566fb.s
<.> as -o tactics/inv.o /tmp/camlasm0566fb.s
[*] as -o toplevel/auto_ind_decl.o /tmp/camlasmcbf85e.s
<.> as -o toplevel/auto_ind_decl.o /tmp/camlasmcbf85e.s
[*] as -o tactics/leminv.o /tmp/camlasmface9c.s
<.> as -o tactics/leminv.o /tmp/camlasmface9c.s
[*] as -o tactics/tacinterp.o /tmp/camlasmc9a2a1.s
<.> as -o tactics/tacinterp.o /tmp/camlasmc9a2a1.s
[*] as -o contrib/omega/coq_omega.o /tmp/camlasmbd1ae3.s
<.> as -o contrib/omega/coq_omega.o /tmp/camlasmbd1ae3.s
[*] as -o toplevel/vernacinterp.o /tmp/camlasm8ea130.s
<.> as -o toplevel/vernacinterp.o /tmp/camlasm8ea130.s
[*] as -o tactics/evar_tactics.o /tmp/camlasm8b746c.s
<.> as -o tactics/evar_tactics.o /tmp/camlasm8b746c.s
[*] as -o tactics/decl_interp.o /tmp/camlasm131106.s
<.> as -o tactics/decl_interp.o /tmp/camlasm131106.s
[*] as -o toplevel/metasyntax.o /tmp/camlasmd9e69e.s
<.> as -o toplevel/metasyntax.o /tmp/camlasmd9e69e.s
[*] as -o parsing/ppvernac.o /tmp/camlasm2e474c.s
<.> as -o parsing/ppvernac.o /tmp/camlasm2e474c.s
[*] as -o toplevel/mltop.o /tmp/camlasm2108e3.s
<.> as -o toplevel/mltop.o /tmp/camlasm2108e3.s
[*] as -o tactics/eauto.o /tmp/camlasm0c7eb7.s
<.> as -o tactics/eauto.o /tmp/camlasm0c7eb7.s
[*] as -o tactics/extraargs.o /tmp/camlasm1bb7cd.s
<.> as -o tactics/extraargs.o /tmp/camlasm1bb7cd.s
[*] as -o tactics/tauto.o /tmp/camlasm4fccaf.s
<.> as -o tactics/tauto.o /tmp/camlasm4fccaf.s
[*] as -o contrib/omega/g_omega.o /tmp/camlasm586d78.s
<.> as -o contrib/omega/g_omega.o /tmp/camlasm586d78.s
[*] as -o contrib/romega/g_romega.o /tmp/camlasma10378.s
<.> as -o contrib/romega/g_romega.o /tmp/camlasma10378.s
[*] as -o contrib/ring/g_quote.o /tmp/camlasmf976eb.s
<.> as -o contrib/ring/g_quote.o /tmp/camlasmf976eb.s
[*] as -o contrib/ring/ring.o /tmp/camlasm15add2.s
<.> as -o contrib/ring/ring.o /tmp/camlasm15add2.s
[*] as -o contrib/extraction/g_extraction.o /tmp/camlasma5b448.s
<.> as -o contrib/extraction/g_extraction.o /tmp/camlasma5b448.s
[*] as -o contrib/xml/cic2Xml.o /tmp/camlasm0034b3.s
<.> as -o contrib/xml/cic2Xml.o /tmp/camlasm0034b3.s
[*] as -o contrib/xml/dumptree.o /tmp/camlasm911801.s
<.> as -o contrib/xml/dumptree.o /tmp/camlasm911801.s
[*] as -o contrib/dp/dp_gappa.o /tmp/camlasmf24a32.s
<.> as -o contrib/dp/dp_gappa.o /tmp/camlasmf24a32.s
[*] as -o contrib/cc/cctac.o /tmp/camlasm4c9c65.s
<.> as -o contrib/cc/cctac.o /tmp/camlasm4c9c65.s
[*] as -o contrib/firstorder/ground.o /tmp/camlasma3f823.s
<.> as -o contrib/firstorder/ground.o /tmp/camlasma3f823.s
[*] as -o contrib/rtauto/refl_tauto.o /tmp/camlasm367d2c.s
<.> as -o contrib/rtauto/refl_tauto.o /tmp/camlasm367d2c.s
[*] as -o contrib/interface/pbp.o /tmp/camlasm3db2d3.s
<.> as -o contrib/interface/pbp.o /tmp/camlasm3db2d3.s
[*] as -o contrib/interface/xlate.o /tmp/camlasm630b1c.s
<.> as -o contrib/interface/xlate.o /tmp/camlasm630b1c.s
[*] as -o contrib/interface/dad.o /tmp/camlasm4f4ff0.s
<.> as -o contrib/interface/dad.o /tmp/camlasm4f4ff0.s
[*] as -o contrib/interface/debug_tac.o /tmp/camlasm6401eb.s
<.> as -o contrib/interface/debug_tac.o /tmp/camlasm6401eb.s
[*] as -o tactics/autorewrite.o /tmp/camlasm57cb81.s
<.> as -o tactics/autorewrite.o /tmp/camlasm57cb81.s
[*] as -o toplevel/command.o /tmp/camlasm242ddd.s
<.> as -o toplevel/command.o /tmp/camlasm242ddd.s
[*] as -o tactics/decl_proof_instr.o /tmp/camlasm55b073.s
<.> as -o tactics/decl_proof_instr.o /tmp/camlasm55b073.s
[*] as -o contrib/micromega/g_micromega.o /tmp/camlasmd2e2c4.s
<.> as -o contrib/micromega/g_micromega.o /tmp/camlasmd2e2c4.s
[*] as -o contrib/ring/g_ring.o /tmp/camlasmbc9d55.s
<.> as -o contrib/ring/g_ring.o /tmp/camlasmbc9d55.s
[*] as -o tactics/extratactics.o /tmp/camlasm62ede1.s
<.> as -o tactics/extratactics.o /tmp/camlasm62ede1.s
[*] as -o contrib/dp/g_dp.o /tmp/camlasmf3ac50.s
<.> as -o contrib/dp/g_dp.o /tmp/camlasmf3ac50.s
[*] as -o contrib/field/field.o /tmp/camlasm93ed65.s
<.> as -o contrib/field/field.o /tmp/camlasm93ed65.s
[*] as -o contrib/fourier/fourierR.o /tmp/camlasma613e1.s
<.> as -o contrib/fourier/fourierR.o /tmp/camlasma613e1.s
[*] as -o contrib/cc/g_congruence.o /tmp/camlasm011186.s
<.> as -o contrib/cc/g_congruence.o /tmp/camlasm011186.s
[*] as -o contrib/firstorder/g_ground.o /tmp/camlasm930167.s
<.> as -o contrib/firstorder/g_ground.o /tmp/camlasm930167.s
[*] as -o contrib/rtauto/g_rtauto.o /tmp/camlasm2f3835.s
<.> as -o contrib/rtauto/g_rtauto.o /tmp/camlasm2f3835.s
[*] as -o contrib/subtac/subtac_utils.o /tmp/camlasmec08fc.s
<.> as -o contrib/subtac/subtac_utils.o /tmp/camlasmec08fc.s
[*] as -o contrib/funind/merge.o /tmp/camlasmebfc60.s
<.> as -o contrib/funind/merge.o /tmp/camlasmebfc60.s
[*] as -o contrib/interface/translate.o /tmp/camlasm502a51.s
<.> as -o contrib/interface/translate.o /tmp/camlasm502a51.s
[*] as -o contrib/funind/rawterm_to_relation.o /tmp/camlasmdb4c4b.s
<.> as -o contrib/funind/rawterm_to_relation.o /tmp/camlasmdb4c4b.s
[*] as -o toplevel/classes.o /tmp/camlasm41da39.s
<.> as -o toplevel/classes.o /tmp/camlasm41da39.s
[*] as -o toplevel/record.o /tmp/camlasmb7aaa4.s
<.> as -o toplevel/record.o /tmp/camlasmb7aaa4.s
[*] as -o toplevel/whelp.o /tmp/camlasm1f7b53.s
<.> as -o toplevel/whelp.o /tmp/camlasm1f7b53.s
[*] as -o tactics/eqdecide.o /tmp/camlasmb5c397.s
<.> as -o tactics/eqdecide.o /tmp/camlasmb5c397.s
[*] as -o contrib/fourier/g_fourier.o /tmp/camlasme2cc22.s
<.> as -o contrib/fourier/g_fourier.o /tmp/camlasme2cc22.s
[*] as -o contrib/subtac/eterm.o /tmp/camlasmdcfcbd.s
<.> as -o contrib/subtac/eterm.o /tmp/camlasmdcfcbd.s
[*] as -o contrib/subtac/subtac_obligations.o /tmp/camlasmafb643.s
<.> as -o contrib/subtac/subtac_obligations.o /tmp/camlasmafb643.s
[*] as -o contrib/subtac/subtac_cases.o /tmp/camlasmc1ca30.s
<.> as -o contrib/subtac/subtac_cases.o /tmp/camlasmc1ca30.s
[*] as -o contrib/interface/showproof_ct.o /tmp/camlasm5d41fd.s
<.> as -o contrib/interface/showproof_ct.o /tmp/camlasm5d41fd.s
[*] as -o toplevel/vernacentries.o /tmp/camlasmc267c3.s
<.> as -o toplevel/vernacentries.o /tmp/camlasmc267c3.s
[*] as -o tactics/class_tactics.o /tmp/camlasm95f717.s
<.> as -o tactics/class_tactics.o /tmp/camlasm95f717.s
[*] as -o contrib/subtac/g_eterm.o /tmp/camlasm4e981d.s
<.> as -o contrib/subtac/g_eterm.o /tmp/camlasm4e981d.s
[*] as -o contrib/subtac/subtac_coercion.o /tmp/camlasm86aa74.s
<.> as -o contrib/subtac/subtac_coercion.o /tmp/camlasm86aa74.s
[*] as -o contrib/subtac/equations.o /tmp/camlasmed2847.s
<.> as -o contrib/subtac/equations.o /tmp/camlasmed2847.s
[*] as -o contrib/funind/recdef.o /tmp/camlasmb856ea.s
<.> as -o contrib/funind/recdef.o /tmp/camlasmb856ea.s
[*] as -o contrib/funind/invfun.o /tmp/camlasmb82793.s
<.> as -o contrib/funind/invfun.o /tmp/camlasmb82793.s
[*] as -o contrib/interface/showproof.o /tmp/camlasma64f05.s
<.> as -o contrib/interface/showproof.o /tmp/camlasma64f05.s
[*] as -o contrib/interface/blast.o /tmp/camlasm725c02.s
<.> as -o contrib/interface/blast.o /tmp/camlasm725c02.s
[*] as -o contrib/interface/parse.o /tmp/camlasm032c31.s
<.> as -o contrib/interface/parse.o /tmp/camlasm032c31.s
[*] as -o toplevel/vernac.o /tmp/camlasmdbf920.s
<.> as -o toplevel/vernac.o /tmp/camlasmdbf920.s
[*] as -o contrib/xml/xmlcommand.o /tmp/camlasmddd2c6.s
<.> as -o contrib/xml/xmlcommand.o /tmp/camlasmddd2c6.s
[*] as -o contrib/subtac/subtac_pretyping_F.o /tmp/camlasm942f63.s
<.> as -o contrib/subtac/subtac_pretyping_F.o /tmp/camlasm942f63.s
[*] as -o contrib/setoid_ring/newring.o /tmp/camlasm317873.s
<.> as -o contrib/setoid_ring/newring.o /tmp/camlasm317873.s
[*] as -o toplevel/protectedtoplevel.o /tmp/camlasmf285bb.s
<.> as -o toplevel/protectedtoplevel.o /tmp/camlasmf285bb.s
[*] as -o contrib/xml/xmlentries.o /tmp/camlasm9abf87.s
<.> as -o contrib/xml/xmlentries.o /tmp/camlasm9abf87.s
[*] as -o contrib/subtac/subtac_pretyping.o /tmp/camlasm0c7ec8.s
<.> as -o contrib/subtac/subtac_pretyping.o /tmp/camlasm0c7ec8.s
[*] as -o contrib/funind/functional_principles_proofs.o /tmp/camlasm1f827c.s
<.> as -o contrib/funind/functional_principles_proofs.o /tmp/camlasm1f827c.s
[*] as -o contrib/interface/centaur.o /tmp/camlasmbac87c.s
<.> as -o contrib/interface/centaur.o /tmp/camlasmbac87c.s
[*] as -o toplevel/toplevel.o /tmp/camlasma3a967.s
<.> as -o toplevel/toplevel.o /tmp/camlasma3a967.s
[*] as -o contrib/subtac/subtac_command.o /tmp/camlasm80e506.s
<.> as -o contrib/subtac/subtac_command.o /tmp/camlasm80e506.s
[*] as -o contrib/funind/functional_principles_types.o /tmp/camlasm74eede.s
<.> as -o contrib/funind/functional_principles_types.o /tmp/camlasm74eede.s
[*] as -o toplevel/coqinit.o /tmp/camlasmaa9102.s
<.> as -o toplevel/coqinit.o /tmp/camlasmaa9102.s
[*] as -o toplevel/coqtop.o /tmp/camlasm3bbf45.s
<.> as -o toplevel/coqtop.o /tmp/camlasm3bbf45.s
[*] as -o contrib/subtac/subtac_classes.o /tmp/camlasmaa4fe5.s
<.> as -o contrib/subtac/subtac_classes.o /tmp/camlasmaa4fe5.s
[*] as -o contrib/funind/indfun.o /tmp/camlasmae9818.s
<.> as -o contrib/funind/indfun.o /tmp/camlasmae9818.s
[*] as -o contrib/subtac/subtac.o /tmp/camlasmf056ca.s
<.> as -o contrib/subtac/subtac.o /tmp/camlasmf056ca.s
[*] as -o contrib/funind/g_indfun.o /tmp/camlasm7e279f.s
<.> as -o contrib/funind/g_indfun.o /tmp/camlasm7e279f.s
[*] as -o contrib/subtac/g_subtac.o /tmp/camlasm422ba2.s
<.> as -o contrib/subtac/g_subtac.o /tmp/camlasm422ba2.s
[*] as -o /tmp/coqmain91570a.o /tmp/camlasmcb0e9f.s
<.> as -o /tmp/coqmain91570a.o /tmp/camlasmcb0e9f.s
[*] as -o /tmp/coqmain106132.o /tmp/camlasm770ca4.s
<.> as -o /tmp/coqmain106132.o /tmp/camlasm770ca4.s
[*] as -o /tmp/camlstartupd25cc4.o /tmp/camlstartup51a044.s
<.> as -o /tmp/camlstartupd25cc4.o /tmp/camlstartup51a044.s
[*] as -o /tmp/camlstartup89680c.o /tmp/camlstartup629233.s
<.> as -o /tmp/camlstartup89680c.o /tmp/camlstartup629233.s
[*] cc -o bin/coq-interface.opt -Lconfig -Ltools -Ltools/coqdoc -Lscripts -Llib -Lkernel -Lkernel/byterun -Llibrary -Lproofs -Ltactics -Lpretyping -Linterp -Ltoplevel -Lparsing -Lide/utils -Lide -Lcontrib/omega -Lcontrib/romega -Lcontrib/micromega -Lcontrib/ring -Lcontrib/dp -Lcontrib/setoid_ring -Lcontrib/xml -Lcontrib/extraction -Lcontrib/interface -Lcontrib/fourier -Lcontrib/cc -Lcontrib/funind -Lcontrib/firstorder -Lcontrib/field -Lcontrib/subtac -Lcontrib/rtauto -L/usr/pkg/lib/ocaml/camlp5 -L/scratch/lang/coq/work/coq-8.2pl1 -L/scratch/lang/coq/work/coq-8.2pl1/kernel/byterun -L/scratch/lang/coq/work/coq-8.2pl1/config -L/scratch/lang/coq/work/coq-8.2pl1/toplevel -L/usr/pkg/lib/ocaml/camlp5 -L/scratch/lang/coq/work/coq-8.2pl1 -L/usr/pkg/lib/ocaml /tmp/camlstartupd25cc4.o /usr/pkg/lib/ocaml/std_exit.o /tmp/coqmain91570a.o contrib/interface/centaur.o contrib/interface/depends.o contrib/interface/blast.o contrib/interface/showproof.o contrib/interface/showproof_ct.o contrib/interface/debug_tac.o contrib/interface/name_to_ast.o contrib/interface/history.o contrib/interface/dad.o contrib/interface/pbp.o contrib/interface/translate.o contrib/interface/paths.o contrib/interface/xlate.o contrib/interface/vtp.o contrib/contrib.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/dynlink.a /usr/pkg/lib/ocaml/stdlib.a -lnums -lunix -lstr -lunix -lcoqrun /usr/pkg/lib/ocaml/libasmrun.a -L/usr/lib -Wl,-R/usr/lib -Wl,-R/usr/pkg/lib -lm -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 -Wl,-E
<.> /scratch/lang/coq/work/.gcc/bin/gcc -o bin/coq-interface.opt -Lconfig -Ltools -Ltools/coqdoc -Lscripts -Llib -Lkernel -Lkernel/byterun -Llibrary -Lproofs -Ltactics -Lpretyping -Linterp -Ltoplevel -Lparsing -Lide/utils -Lide -Lcontrib/omega -Lcontrib/romega -Lcontrib/micromega -Lcontrib/ring -Lcontrib/dp -Lcontrib/setoid_ring -Lcontrib/xml -Lcontrib/extraction -Lcontrib/interface -Lcontrib/fourier -Lcontrib/cc -Lcontrib/funind -Lcontrib/firstorder -Lcontrib/field -Lcontrib/subtac -Lcontrib/rtauto -L/scratch/lang/coq/work/.buildlink/lib/ocaml/camlp5 -L/scratch/lang/coq/work/coq-8.2pl1 -L/scratch/lang/coq/work/coq-8.2pl1/kernel/byterun -L/scratch/lang/coq/work/coq-8.2pl1/config -L/scratch/lang/coq/work/coq-8.2pl1/toplevel -L/scratch/lang/coq/work/.buildlink/lib/ocaml /tmp/camlstartupd25cc4.o /usr/pkg/lib/ocaml/std_exit.o /tmp/coqmain91570a.o contrib/interface/centaur.o contrib/interface/depends.o contrib/interface/blast.o contrib/interface/showproof.o contrib/interface/showproof_ct.o contrib/interface/debug_tac.o contrib/interface/name_to_ast.o contrib/interface/history.o contrib/interface/dad.o contrib/interface/pbp.o contrib/interface/translate.o contrib/interface/paths.o contrib/interface/xlate.o contrib/interface/vtp.o contrib/contrib.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/dynlink.a /usr/pkg/lib/ocaml/stdlib.a -lnums -lunix -lstr -lunix -lcoqrun /usr/pkg/lib/ocaml/libasmrun.a -L/usr/lib -Wl,-rpath,/usr/lib -Wl,-rpath,/usr/pkg/lib -lm -O2 -I/usr/include -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/pkg/lib -Wl,-E -I/scratch/lang/coq/work/.buildlink/include
[*] cc -o bin/coqtop.opt -Lconfig -Ltools -Ltools/coqdoc -Lscripts -Llib -Lkernel -Lkernel/byterun -Llibrary -Lproofs -Ltactics -Lpretyping -Linterp -Ltoplevel -Lparsing -Lide/utils -Lide -Lcontrib/omega -Lcontrib/romega -Lcontrib/micromega -Lcontrib/ring -Lcontrib/dp -Lcontrib/setoid_ring -Lcontrib/xml -Lcontrib/extraction -Lcontrib/interface -Lcontrib/fourier -Lcontrib/cc -Lcontrib/funind -Lcontrib/firstorder -Lcontrib/field -Lcontrib/subtac -Lcontrib/rtauto -L/usr/pkg/lib/ocaml/camlp5 -L/scratch/lang/coq/work/coq-8.2pl1 -L/scratch/lang/coq/work/coq-8.2pl1/kernel/byterun -L/scratch/lang/coq/work/coq-8.2pl1/config -L/scratch/lang/coq/work/coq-8.2pl1/toplevel -L/usr/pkg/lib/ocaml/camlp5 -L/scratch/lang/coq/work/coq-8.2pl1 -L/usr/pkg/lib/ocaml /tmp/camlstartup89680c.o /usr/pkg/lib/ocaml/std_exit.o /tmp/coqmain106132.o contrib/contrib.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/dynlink.a /usr/pkg/lib/ocaml/stdlib.a -lnums -lunix -lstr -lunix -lcoqrun /usr/pkg/lib/ocaml/libasmrun.a -L/usr/lib -Wl,-R/usr/lib -Wl,-R/usr/pkg/lib -lm -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 -Wl,-E
<.> /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 -Lcontrib/omega -Lcontrib/romega -Lcontrib/micromega -Lcontrib/ring -Lcontrib/dp -Lcontrib/setoid_ring -Lcontrib/xml -Lcontrib/extraction -Lcontrib/interface -Lcontrib/fourier -Lcontrib/cc -Lcontrib/funind -Lcontrib/firstorder -Lcontrib/field -Lcontrib/subtac -Lcontrib/rtauto -L/scratch/lang/coq/work/.buildlink/lib/ocaml/camlp5 -L/scratch/lang/coq/work/coq-8.2pl1 -L/scratch/lang/coq/work/coq-8.2pl1/kernel/byterun -L/scratch/lang/coq/work/coq-8.2pl1/config -L/scratch/lang/coq/work/coq-8.2pl1/toplevel -L/scratch/lang/coq/work/.buildlink/lib/ocaml /tmp/camlstartup89680c.o /usr/pkg/lib/ocaml/std_exit.o /tmp/coqmain106132.o contrib/contrib.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/dynlink.a /usr/pkg/lib/ocaml/stdlib.a -lnums -lunix -lstr -lunix -lcoqrun /usr/pkg/lib/ocaml/libasmrun.a -L/usr/lib -Wl,-rpath,/usr/lib -Wl,-rpath,/usr/pkg/lib -lm -O2 -I/usr/include -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/pkg/lib -Wl,-E -I/scratch/lang/coq/work/.buildlink/include
[*] as -o /tmp/camlstartup4e4ce9.o /tmp/camlstartup713e2f.s
<.> as -o /tmp/camlstartup4e4ce9.o /tmp/camlstartup713e2f.s
[*] cc -o bin/coq-parser.opt -Lconfig -Ltools -Ltools/coqdoc -Lscripts -Llib -Lkernel -Lkernel/byterun -Llibrary -Lproofs -Ltactics -Lpretyping -Linterp -Ltoplevel -Lparsing -Lide/utils -Lide -Lcontrib/omega -Lcontrib/romega -Lcontrib/micromega -Lcontrib/ring -Lcontrib/dp -Lcontrib/setoid_ring -Lcontrib/xml -Lcontrib/extraction -Lcontrib/interface -Lcontrib/fourier -Lcontrib/cc -Lcontrib/funind -Lcontrib/firstorder -Lcontrib/field -Lcontrib/subtac -Lcontrib/rtauto -L/usr/pkg/lib/ocaml/camlp5 -L/usr/pkg/lib/ocaml /tmp/camlstartup4e4ce9.o /usr/pkg/lib/ocaml/std_exit.o contrib/interface/parse.o contrib/interface/xlate.o contrib/interface/vtp.o contrib/interface/line_parser.o contrib/contrib.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/unix.a /usr/pkg/lib/ocaml/nums.a /usr/pkg/lib/ocaml/str.a /usr/pkg/lib/ocaml/dynlink.a /usr/pkg/lib/ocaml/stdlib.a -lunix -lnums -lstr kernel/byterun/libcoqrun.a /usr/pkg/lib/ocaml/libasmrun.a -L/usr/lib -Wl,-R/usr/lib -Wl,-R/usr/pkg/lib -lm -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 -Wl,-E
<.> /scratch/lang/coq/work/.gcc/bin/gcc -o bin/coq-parser.opt -Lconfig -Ltools -Ltools/coqdoc -Lscripts -Llib -Lkernel -Lkernel/byterun -Llibrary -Lproofs -Ltactics -Lpretyping -Linterp -Ltoplevel -Lparsing -Lide/utils -Lide -Lcontrib/omega -Lcontrib/romega -Lcontrib/micromega -Lcontrib/ring -Lcontrib/dp -Lcontrib/setoid_ring -Lcontrib/xml -Lcontrib/extraction -Lcontrib/interface -Lcontrib/fourier -Lcontrib/cc -Lcontrib/funind -Lcontrib/firstorder -Lcontrib/field -Lcontrib/subtac -Lcontrib/rtauto -L/scratch/lang/coq/work/.buildlink/lib/ocaml/camlp5 -L/scratch/lang/coq/work/.buildlink/lib/ocaml /tmp/camlstartup4e4ce9.o /usr/pkg/lib/ocaml/std_exit.o contrib/interface/parse.o contrib/interface/xlate.o contrib/interface/vtp.o contrib/interface/line_parser.o contrib/contrib.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/unix.a /usr/pkg/lib/ocaml/nums.a /usr/pkg/lib/ocaml/str.a /usr/pkg/lib/ocaml/dynlink.a /usr/pkg/lib/ocaml/stdlib.a -lunix -lnums -lstr kernel/byterun/libcoqrun.a /usr/pkg/lib/ocaml/libasmrun.a -L/usr/lib -Wl,-rpath,/usr/lib -Wl,-rpath,/usr/pkg/lib -lm -O2 -I/usr/include -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/pkg/lib -Wl,-E -I/scratch/lang/coq/work/.buildlink/include
[*] as -o /tmp/camlstartup67bb38.o /tmp/camlstartup1dd216.s
<.> as -o /tmp/camlstartup67bb38.o /tmp/camlstartup1dd216.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 -Lcontrib/omega -Lcontrib/romega -Lcontrib/micromega -Lcontrib/ring -Lcontrib/dp -Lcontrib/setoid_ring -Lcontrib/xml -Lcontrib/extraction -Lcontrib/interface -Lcontrib/fourier -Lcontrib/cc -Lcontrib/funind -Lcontrib/firstorder -Lcontrib/field -Lcontrib/subtac -Lcontrib/rtauto -L/usr/pkg/lib/ocaml/camlp5 -L/usr/pkg/lib/ocaml /tmp/camlstartup67bb38.o /usr/pkg/lib/ocaml/std_exit.o scripts/coqc.o toplevel/usage.o lib/envars.o lib/system.o lib/util.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 -lstr -lunix /usr/pkg/lib/ocaml/libasmrun.a -L/usr/lib -Wl,-R/usr/lib -Wl,-R/usr/pkg/lib -lm -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
<.> /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 -Lcontrib/omega -Lcontrib/romega -Lcontrib/micromega -Lcontrib/ring -Lcontrib/dp -Lcontrib/setoid_ring -Lcontrib/xml -Lcontrib/extraction -Lcontrib/interface -Lcontrib/fourier -Lcontrib/cc -Lcontrib/funind -Lcontrib/firstorder -Lcontrib/field -Lcontrib/subtac -Lcontrib/rtauto -L/scratch/lang/coq/work/.buildlink/lib/ocaml/camlp5 -L/scratch/lang/coq/work/.buildlink/lib/ocaml /tmp/camlstartup67bb38.o /usr/pkg/lib/ocaml/std_exit.o scripts/coqc.o toplevel/usage.o lib/envars.o lib/system.o lib/util.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 -lstr -lunix /usr/pkg/lib/ocaml/libasmrun.a -L/usr/lib -Wl,-rpath,/usr/lib -Wl,-rpath,/usr/pkg/lib -lm -O2 -I/usr/include -Wl,-rpath,/usr/lib -L/scratch/lang/coq/work/.buildlink/lib -Wl,-rpath,/usr/pkg/lib -O2 -Wl,-rpath,/usr/pkg/lib -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/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.common Makefile.doc Makefile.orig Makefile.stage1 Makefile.stage1.orig Makefile.stage2 Makefile.stage3 README README.doc README.win bin checker config configure configure.orig contrib dev doc ide install.sh interp kernel lib library man parsing 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.common Makefile.doc Makefile.orig Makefile.stage1 Makefile.stage1.orig Makefile.stage2 Makefile.stage3 README README.doc README.win bin checker config configure configure.orig contrib dev doc ide install.sh interp kernel lib library man parsing 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 stage3 ******************
<.> echo  ****************** Entering stage3 CHANGES COMPATIBILITY COPYRIGHT CREDITS Coq.bat Coqide.bat INSTALL INSTALL.doc INSTALL.ide INSTALL.macosx LICENSE Makefile Makefile.build Makefile.common Makefile.doc Makefile.orig Makefile.stage1 Makefile.stage1.orig Makefile.stage2 Makefile.stage3 README README.doc README.win bin checker config configure configure.orig contrib dev doc ide install.sh interp kernel lib library man parsing 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  
