[*] /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 ***************************************************** [*] /scratch/lang/coq/work/.wrapper/bin/gcc /scratch/lang/coq/work/.wrapper/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 WARNING: [transform-gcc] passing unknown option -MQ WARNING: [transform-gcc] passing unknown option -MQ WARNING: [transform-gcc] passing unknown option -fno-defer-pop WARNING: [transform-gcc] passing unknown option -isystem <.> /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 [*] /scratch/lang/coq/work/.wrapper/bin/gcc /scratch/lang/coq/work/.wrapper/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 WARNING: [transform-gcc] passing unknown option -MQ WARNING: [transform-gcc] passing unknown option -MQ WARNING: [transform-gcc] passing unknown option -fno-defer-pop WARNING: [transform-gcc] passing unknown option -isystem <.> /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/.wrapper/bin/gcc /scratch/lang/coq/work/.wrapper/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 WARNING: [transform-gcc] passing unknown option -MQ WARNING: [transform-gcc] passing unknown option -MQ WARNING: [transform-gcc] passing unknown option -fno-defer-pop WARNING: [transform-gcc] passing unknown option -isystem <.> /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 [*] /scratch/lang/coq/work/.wrapper/bin/gcc /scratch/lang/coq/work/.wrapper/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 WARNING: [transform-gcc] passing unknown option -MQ WARNING: [transform-gcc] passing unknown option -MQ WARNING: [transform-gcc] passing unknown option -fno-defer-pop WARNING: [transform-gcc] passing unknown option -isystem <.> /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