=> Bootstrap dependency digest>=20010302: found digest-20160304 ===> Skipping vulnerability checks. WARNING: No /var/db/pkg/pkg-vulnerabilities file found. WARNING: To fix run: `/usr/sbin/pkg_admin -K /var/db/pkg fetch-pkg-vulnerabilities'. ===> Building for coq-8.7.2nb3 /usr/pkg/bin/gmake --warn-undefined-variable --no-builtin-rules -f Makefile.build world gmake[1]: Entering directory '/data/scratch/lang/coq/work/coq-8.7.2' OCAMLC lib/segmenttree.mli OCAMLC lib/unicode.mli OCAMLLEX tools/coqdep_lexer.mll OCAMLC tools/coqdep_common.mli OCAMLC tools/coqdep_lexer.mli sed -n -e '/^ /s/ \([A-Z]\)/ \&\&coq_lbl_\1/gp' \ -e '/^}/q' kernel/byterun/coq_instruct.h > "kernel/byterun/coq_jumptbl.h" || (RV=$?; rm -f "kernel/byterun/coq_jumptbl.h"; exit ${RV}) tr -d "\r" < kernel/byterun/coq_instruct.h | sed -n -e '/^enum/p' -e 's/,//g' -e '/^ /p' | \ awk -f kernel/make-opcodes > "kernel/copcodes.ml" || (RV=$?; rm -f "kernel/copcodes.ml"; exit ${RV}) OCAMLLEX tools/ocamllibdep.mll OCAMLLEX ide/coq_lex.mll OCAMLLEX ide/config_lexer.mll ECHO... > tools/tolink.ml OCAMLLEX ide/xml_lexer.mll OCAMLLEX tools/coqdoc/cpretty.mll ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLLEX tools/coqwc.mll OCAMLLEX tools/gallina_lexer.mll ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLLEX ide/utf8_convert.mll ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf 314 states, 4454 transitions, table size 19700 bytes 2927 additional bytes used for bindings OCAMLDEP checker/univ.mli OCAMLDEP checker/typeops.mli 15 states, 827 transitions, table size 3398 bytes 80 states, 774 transitions, table size 3576 bytes 14 states, 417 transitions, table size 1752 bytes 30 states, 1657 transitions, table size 6808 bytes 6052 additional bytes used for bindings 189 states, 503 transitions, table size 3146 bytes OCAMLDEP checker/type_errors.mli 85 states, 821 transitions, table size 3794 bytes 244 states, 858 transitions, table size 4896 bytes OCAMLDEP checker/subtyping.mli OCAMLDEP checker/term.mli OCAMLDEP checker/safe_typing.mli OCAMLDEP checker/modops.mli OCAMLDEP checker/names.mli OCAMLDEP checker/mod_checking.mli OCAMLDEP checker/reduction.mli OCAMLDEP checker/inductive.mli OCAMLDEP checker/indtypes.mli OCAMLDEP checker/environ.mli OCAMLDEP checker/esubst.mli OCAMLDEP checker/closure.mli OCAMLDEP checker/declarations.mli OCAMLDEP checker/cic.mli OCAMLDEP checker/check_stat.mli OCAMLDEP checker/analyze.mli OCAMLC -c grammar/q_util.mli ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf CAMLP4O ide/coqide_main.ml4 OCAMLDEP checker/names.ml OCAMLDEP checker/esubst.ml OCAMLDEP checker/votour.ml OCAMLDEP checker/values.ml OCAMLDEP checker/validate.ml OCAMLDEP checker/univ.ml OCAMLDEP checker/typeops.ml OCAMLDEP checker/type_errors.ml OCAMLDEP checker/subtyping.ml OCAMLDEP checker/term.ml OCAMLDEP checker/safe_typing.ml OCAMLDEP checker/print.ml OCAMLDEP checker/modops.ml OCAMLDEP checker/reduction.ml OCAMLDEP checker/mod_checking.ml OCAMLDEP checker/main.ml OCAMLDEP checker/inductive.ml OCAMLDEP checker/indtypes.ml OCAMLDEP checker/environ.ml OCAMLDEP checker/declarations.ml OCAMLDEP checker/closure.ml OCAMLDEP checker/checker.ml OCAMLDEP checker/check_stat.ml OCAMLDEP checker/check.ml OCAMLDEP checker/analyze.ml OCAMLOPT lib/segmenttree.ml OCAMLC lib/segmenttree.ml 2654 states, 8247 transitions, table size 48912 bytes OCAMLC tools/coqdep_boot.ml CCDEP kernel/byterun/coq_values.c CCDEP kernel/byterun/coq_memory.c ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf CCDEP kernel/byterun/coq_fix_code.c ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf CCDEP kernel/byterun/coq_interp.c OCAMLDEP vernac/vernacprop.mli OCAMLDEP vernac/vernacinterp.mli OCAMLC tools/ocamllibdep.ml ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLDEP vernac/vernacentries.mli ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLDEP vernac/search.mli ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLDEP vernac/topfmt.mli OCAMLDEP vernac/record.mli OCAMLDEP vernac/obligations.mli ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLDEP vernac/mltop.mli OCAMLDEP vernac/metasyntax.mli OCAMLDEP vernac/locality.mli OCAMLDEP vernac/lemmas.mli OCAMLDEP vernac/indschemes.mli OCAMLDEP vernac/himsg.mli OCAMLDEP vernac/explainErr.mli OCAMLDEP vernac/discharge.mli OCAMLDEP vernac/declareDef.mli OCAMLDEP vernac/command.mli OCAMLDEP vernac/class.mli OCAMLDEP vernac/classes.mli OCAMLDEP vernac/auto_ind_decl.mli OCAMLDEP vernac/assumptions.mli OCAMLDEP toplevel/vernac.mli OCAMLDEP toplevel/usage.mli OCAMLDEP toplevel/coqloop.mli OCAMLDEP toplevel/coqtop.mli OCAMLDEP toplevel/coqinit.mli OCAMLDEP tools/coqdoc/tokens.mli OCAMLDEP tools/coqdoc/output.mli OCAMLDEP tools/coqdoc/index.mli OCAMLDEP tools/coqdoc/cpretty.mli OCAMLDEP tools/coqdoc/cdglobals.mli OCAMLDEP tools/coqdoc/alpha.mli OCAMLDEP tools/coqdep_lexer.mli OCAMLDEP tools/coqdep_common.mli OCAMLDEP tactics/term_dnet.mli OCAMLDEP tactics/tactics.mli OCAMLDEP tactics/leminv.mli OCAMLDEP tactics/tacticals.mli OCAMLDEP tactics/inv.mli OCAMLDEP tactics/ind_tables.mli OCAMLDEP tactics/hipattern.mli OCAMLDEP tactics/equality.mli OCAMLDEP tactics/eqschemes.mli OCAMLDEP tactics/hints.mli OCAMLDEP tactics/eqdecide.mli OCAMLDEP tactics/elim.mli OCAMLDEP tactics/elimschemes.mli OCAMLDEP tactics/eauto.mli OCAMLDEP tactics/dnet.mli OCAMLDEP tactics/dn.mli OCAMLDEP tactics/contradiction.mli OCAMLDEP tactics/class_tactics.mli OCAMLDEP tactics/btermdn.mli OCAMLDEP tactics/autorewrite.mli OCAMLDEP tactics/auto.mli OCAMLDEP stm/workerLoop.mli OCAMLDEP stm/workerPool.mli OCAMLDEP stm/vio_checking.mli OCAMLDEP stm/vernac_classifier.mli OCAMLDEP stm/vcs.mli OCAMLDEP stm/stm.mli OCAMLDEP stm/tQueue.mli OCAMLDEP stm/spawned.mli OCAMLDEP stm/proofBlockDelimiter.mli OCAMLDEP stm/dag.mli OCAMLDEP stm/coqworkmgrApi.mli OCAMLDEP proofs/refiner.mli OCAMLDEP proofs/tacmach.mli OCAMLDEP stm/asyncTaskQueue.mli OCAMLDEP proofs/refine.mli OCAMLDEP proofs/redexpr.mli OCAMLDEP proofs/proof_using.mli OCAMLDEP proofs/proof_type.mli OCAMLDEP proofs/proof_global.mli OCAMLDEP proofs/proof.mli OCAMLDEP proofs/pfedit.mli OCAMLDEP proofs/miscprint.mli OCAMLDEP proofs/logic.mli OCAMLDEP proofs/goal.mli OCAMLDEP proofs/evar_refiner.mli OCAMLDEP proofs/clenvtac.mli OCAMLDEP proofs/clenv.mli OCAMLDEP printing/printer.mli OCAMLDEP printing/printmod.mli OCAMLDEP printing/prettyp.mli OCAMLDEP printing/ppvernac.mli OCAMLDEP printing/ppconstr.mli OCAMLDEP printing/pputils.mli OCAMLDEP printing/genprint.mli OCAMLDEP pretyping/vnorm.mli OCAMLDEP pretyping/unification.mli OCAMLDEP pretyping/typing.mli OCAMLDEP pretyping/typeclasses_errors.mli OCAMLDEP pretyping/typeclasses.mli OCAMLDEP pretyping/tacred.mli OCAMLDEP pretyping/retyping.mli OCAMLDEP pretyping/redops.mli OCAMLDEP pretyping/reductionops.mli OCAMLDEP pretyping/recordops.mli OCAMLDEP pretyping/program.mli OCAMLDEP pretyping/pretyping.mli OCAMLDEP pretyping/pretype_errors.mli OCAMLDEP pretyping/patternops.mli OCAMLDEP pretyping/nativenorm.mli OCAMLDEP pretyping/locusops.mli OCAMLDEP pretyping/inductiveops.mli OCAMLDEP pretyping/miscops.mli OCAMLDEP pretyping/indrec.mli OCAMLDEP pretyping/glob_ops.mli OCAMLDEP pretyping/find_subterm.mli OCAMLDEP pretyping/evarsolve.mli OCAMLDEP pretyping/evardefine.mli OCAMLDEP pretyping/evarconv.mli OCAMLDEP pretyping/detyping.mli OCAMLDEP pretyping/constr_matching.mli OCAMLDEP pretyping/classops.mli OCAMLDEP pretyping/cbv.mli OCAMLDEP pretyping/cases.mli OCAMLDEP pretyping/arguments_renaming.mli OCAMLDEP pretyping/coercion.mli OCAMLDEP plugins/ssrmatching/ssrmatching.mli OCAMLDEP plugins/ssr/ssrvernac.mli OCAMLDEP plugins/ssr/ssrview.mli OCAMLDEP plugins/ssr/ssrtacticals.mli OCAMLDEP plugins/ssr/ssrprinters.mli OCAMLDEP plugins/ssr/ssrparser.mli OCAMLDEP plugins/ssr/ssripats.mli OCAMLDEP plugins/ssr/ssrfwd.mli OCAMLDEP plugins/ssr/ssrequality.mli OCAMLDEP plugins/ssr/ssrelim.mli OCAMLDEP plugins/ssr/ssrbwd.mli OCAMLDEP plugins/ssr/ssrcommon.mli OCAMLDEP plugins/ssr/ssrast.mli OCAMLDEP plugins/setoid_ring/newring_ast.mli OCAMLDEP plugins/rtauto/refl_tauto.mli OCAMLDEP plugins/setoid_ring/newring.mli OCAMLDEP plugins/rtauto/proof_search.mli OCAMLDEP plugins/romega/const_omega.mli OCAMLDEP plugins/nsatz/utile.mli OCAMLDEP plugins/nsatz/polynom.mli OCAMLDEP plugins/nsatz/ideal.mli OCAMLDEP plugins/nsatz/nsatz.mli OCAMLDEP plugins/micromega/sos.mli OCAMLDEP plugins/micromega/sos_types.mli OCAMLDEP plugins/micromega/micromega.mli OCAMLDEP plugins/ltac/tauto.mli OCAMLDEP plugins/ltac/tactic_option.mli OCAMLDEP plugins/ltac/tactic_matching.mli OCAMLDEP plugins/ltac/tacsubst.mli OCAMLDEP plugins/ltac/tacinterp.mli OCAMLDEP plugins/ltac/tacintern.mli OCAMLDEP plugins/ltac/tactic_debug.mli OCAMLDEP plugins/ltac/tacexpr.mli OCAMLDEP plugins/ltac/tacenv.mli OCAMLDEP plugins/ltac/tacentries.mli OCAMLDEP plugins/ltac/taccoerce.mli OCAMLDEP plugins/ltac/tacarg.mli OCAMLDEP plugins/ltac/rewrite.mli OCAMLDEP plugins/ltac/profile_ltac.mli OCAMLDEP plugins/ltac/pptactic.mli OCAMLDEP plugins/ltac/pltac.mli OCAMLDEP plugins/ltac/extratactics.mli OCAMLDEP plugins/ltac/extraargs.mli OCAMLDEP plugins/ltac/evar_tactics.mli OCAMLDEP plugins/funind/recdef.mli OCAMLDEP plugins/funind/indfun_common.mli OCAMLDEP plugins/funind/indfun.mli OCAMLDEP plugins/funind/glob_termops.mli OCAMLDEP plugins/funind/glob_term_to_relation.mli OCAMLDEP plugins/funind/functional_principles_types.mli OCAMLDEP plugins/funind/functional_principles_proofs.mli OCAMLDEP plugins/firstorder/unify.mli OCAMLDEP plugins/firstorder/sequent.mli OCAMLDEP plugins/firstorder/rules.mli OCAMLDEP plugins/firstorder/instances.mli OCAMLDEP plugins/firstorder/ground.mli OCAMLDEP plugins/extraction/table.mli OCAMLDEP plugins/extraction/scheme.mli OCAMLDEP plugins/firstorder/formula.mli OCAMLDEP plugins/extraction/ocaml.mli OCAMLDEP plugins/extraction/modutil.mli OCAMLDEP plugins/extraction/mlutil.mli OCAMLDEP plugins/extraction/miniml.mli OCAMLDEP plugins/extraction/json.mli OCAMLDEP plugins/extraction/haskell.mli OCAMLDEP plugins/extraction/extraction.mli OCAMLDEP plugins/extraction/extract_env.mli OCAMLDEP plugins/extraction/common.mli OCAMLDEP plugins/derive/derive.mli OCAMLDEP plugins/cc/cctac.mli OCAMLDEP plugins/cc/ccproof.mli OCAMLDEP plugins/cc/ccalgo.mli OCAMLDEP parsing/tok.mli OCAMLDEP parsing/pcoq.mli OCAMLDEP parsing/egramcoq.mli OCAMLDEP parsing/egramml.mli OCAMLDEP parsing/cLexer.mli OCAMLDEP library/univops.mli OCAMLDEP library/summary.mli OCAMLDEP library/states.mli OCAMLDEP library/nametab.mli OCAMLDEP library/nameops.mli OCAMLDEP library/loadpath.mli OCAMLDEP library/library.mli OCAMLDEP library/libobject.mli OCAMLDEP library/libnames.mli OCAMLDEP library/lib.mli OCAMLDEP library/kindops.mli OCAMLDEP library/keys.mli OCAMLDEP library/heads.mli OCAMLDEP library/goptions.mli OCAMLDEP library/globnames.mli OCAMLDEP library/global.mli OCAMLDEP library/dischargedhypsmap.mli OCAMLDEP library/decls.mli OCAMLDEP library/declaremods.mli OCAMLDEP library/coqlib.mli OCAMLDEP lib/xml_datatype.mli OCAMLDEP lib/util.mli OCAMLDEP lib/unionfind.mli OCAMLDEP lib/unicode.mli OCAMLDEP lib/trie.mli OCAMLDEP lib/terminal.mli OCAMLDEP lib/system.mli OCAMLDEP lib/store.mli OCAMLDEP lib/stateid.mli OCAMLDEP lib/spawn.mli OCAMLDEP lib/segmenttree.mli OCAMLDEP lib/rtree.mli OCAMLDEP lib/remoteCounter.mli OCAMLDEP lib/profile.mli OCAMLDEP lib/predicate.mli OCAMLDEP lib/pp.mli OCAMLDEP lib/option.mli OCAMLDEP lib/loc.mli OCAMLDEP lib/monad.mli OCAMLDEP lib/iStream.mli OCAMLDEP lib/hook.mli OCAMLDEP lib/int.mli OCAMLDEP lib/heap.mli OCAMLDEP lib/hashset.mli OCAMLDEP lib/hashcons.mli OCAMLDEP lib/hMap.mli OCAMLDEP lib/genarg.mli OCAMLDEP lib/future.mli OCAMLDEP lib/feedback.mli OCAMLDEP lib/flags.mli OCAMLDEP lib/explore.mli OCAMLDEP lib/exninfo.mli OCAMLDEP lib/envars.mli OCAMLDEP lib/dyn.mli OCAMLDEP lib/deque.mli OCAMLDEP lib/coqProject_file.mli OCAMLDEP lib/control.mli OCAMLDEP lib/canary.mli OCAMLDEP lib/cWarnings.mli OCAMLDEP lib/cUnix.mli OCAMLDEP lib/cThread.mli OCAMLDEP lib/cString.mli OCAMLDEP lib/cStack.mli OCAMLDEP lib/cSet.mli OCAMLDEP lib/cSig.mli OCAMLDEP lib/cObj.mli OCAMLDEP lib/cMap.mli OCAMLDEP lib/cList.mli OCAMLDEP lib/cErrors.mli OCAMLDEP lib/cEphemeron.mli OCAMLDEP lib/cAst.mli OCAMLDEP lib/cArray.mli OCAMLDEP lib/bigint.mli OCAMLDEP lib/backtrace.mli OCAMLDEP lib/aux_file.mli OCAMLDEP kernel/vm.mli OCAMLDEP kernel/vconv.mli OCAMLDEP kernel/vars.mli OCAMLDEP kernel/univ.mli OCAMLDEP kernel/uint31.mli OCAMLDEP kernel/uGraph.mli OCAMLDEP kernel/typeops.mli OCAMLDEP kernel/type_errors.mli OCAMLDEP kernel/term_typing.mli OCAMLDEP kernel/term.mli OCAMLDEP kernel/subtyping.mli OCAMLDEP kernel/sorts.mli OCAMLDEP kernel/safe_typing.mli OCAMLDEP kernel/retroknowledge.mli OCAMLDEP kernel/reduction.mli OCAMLDEP kernel/primitives.mli OCAMLDEP kernel/pre_env.mli OCAMLDEP kernel/opaqueproof.mli OCAMLDEP kernel/nativelibrary.mli OCAMLDEP kernel/nativevalues.mli OCAMLDEP kernel/nativelib.mli OCAMLDEP kernel/nativeinstr.mli OCAMLDEP kernel/nativelambda.mli OCAMLDEP kernel/nativeconv.mli OCAMLDEP kernel/nativecode.mli OCAMLDEP kernel/names.mli OCAMLDEP kernel/mod_typing.mli OCAMLDEP kernel/modops.mli OCAMLDEP kernel/mod_subst.mli OCAMLDEP kernel/inductive.mli OCAMLDEP kernel/evar.mli OCAMLDEP kernel/indtypes.mli OCAMLDEP kernel/esubst.mli OCAMLDEP kernel/environ.mli OCAMLDEP kernel/entries.mli OCAMLDEP kernel/declareops.mli OCAMLDEP kernel/csymtable.mli OCAMLDEP kernel/cooking.mli OCAMLDEP kernel/conv_oracle.mli OCAMLDEP kernel/context.mli OCAMLDEP kernel/cemitcodes.mli OCAMLDEP kernel/constr.mli OCAMLDEP kernel/cbytegen.mli OCAMLDEP kernel/cbytecodes.mli OCAMLDEP kernel/cClosure.mli OCAMLDEP interp/topconstr.mli OCAMLDEP interp/syntax_def.mli OCAMLDEP interp/stdarg.mli OCAMLDEP interp/smartlocate.mli OCAMLDEP interp/reserve.mli OCAMLDEP interp/ppextend.mli OCAMLDEP interp/notation_ops.mli OCAMLDEP interp/notation.mli OCAMLDEP interp/modintern.mli OCAMLDEP interp/implicit_quantifiers.mli OCAMLDEP interp/impargs.mli OCAMLDEP interp/dumpglob.mli OCAMLDEP interp/genintern.mli OCAMLDEP interp/constrintern.mli OCAMLDEP interp/declare.mli OCAMLDEP interp/constrextern.mli OCAMLDEP interp/constrexpr_ops.mli OCAMLDEP ide/xmlprotocol.mli OCAMLDEP ide/xml_printer.mli OCAMLDEP ide/xml_parser.mli OCAMLDEP ide/xml_lexer.mli OCAMLDEP ide/wg_Segment.mli OCAMLDEP ide/wg_ScriptView.mli OCAMLDEP ide/wg_ProofView.mli OCAMLDEP ide/wg_Notebook.mli OCAMLDEP ide/wg_Find.mli OCAMLDEP ide/wg_Detachable.mli OCAMLDEP ide/wg_MessageView.mli OCAMLDEP ide/wg_Completion.mli OCAMLDEP ide/wg_Command.mli OCAMLDEP ide/utils/configwin_types.mli OCAMLDEP ide/utils/configwin_ihm.mli OCAMLDEP ide/utils/configwin.mli OCAMLDEP ide/tags.mli OCAMLDEP ide/session.mli OCAMLDEP ide/serialize.mli OCAMLDEP ide/sentence.mli OCAMLDEP ide/richpp.mli OCAMLDEP ide/preferences.mli OCAMLDEP ide/interface.mli OCAMLDEP ide/minilib.mli OCAMLDEP ide/ideutils.mli OCAMLDEP ide/fileOps.mli OCAMLDEP ide/document.mli OCAMLDEP ide/coqOps.mli OCAMLDEP ide/coqide.mli OCAMLDEP ide/coq.mli OCAMLDEP engine/universes.mli OCAMLDEP engine/uState.mli OCAMLDEP grammar/q_util.mli OCAMLDEP engine/termops.mli OCAMLDEP engine/proofview.mli OCAMLDEP engine/proofview_monad.mli OCAMLDEP engine/namegen.mli OCAMLDEP engine/ftactic.mli OCAMLDEP engine/geninterp.mli OCAMLDEP engine/logic_monad.mli OCAMLDEP engine/evd.mli OCAMLDEP engine/evarutil.mli OCAMLDEP engine/eConstr.mli OCAMLDEP config/coq_config.mli OCAMLC -c -pp grammar/argextend.mlp OCAMLDEP ide/coqide_main.ml OCAMLDEP kernel/copcodes.ml OCAMLDEP tools/tolink.ml OCAMLC -c -pp grammar/q_util.mlp OCAMLDEP tools/gallina_lexer.ml OCAMLDEP tools/coqwc.ml OCAMLDEP tools/coqdoc/cpretty.ml OCAMLDEP tools/coqdep_lexer.ml OCAMLDEP ide/config_lexer.ml OCAMLDEP ide/utf8_convert.ml OCAMLDEP ide/xml_lexer.ml OCAMLDEP tools/ocamllibdep.ml OCAMLDEP vernac/vernacinterp.ml OCAMLDEP ide/coq_lex.ml OCAMLDEP vernac/vernacprop.ml ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLDEP vernac/vernacentries.ml OCAMLDEP vernac/topfmt.ml OCAMLDEP vernac/search.ml OCAMLDEP vernac/record.ml OCAMLDEP vernac/obligations.ml OCAMLDEP vernac/mltop.ml OCAMLDEP vernac/metasyntax.ml OCAMLDEP vernac/locality.ml OCAMLDEP vernac/lemmas.ml OCAMLDEP vernac/indschemes.ml OCAMLDEP vernac/himsg.ml OCAMLDEP vernac/explainErr.ml OCAMLDEP vernac/discharge.ml OCAMLDEP vernac/command.ml OCAMLDEP vernac/declareDef.ml OCAMLDEP vernac/classes.ml OCAMLDEP vernac/class.ml OCAMLDEP vernac/auto_ind_decl.ml OCAMLDEP vernac/assumptions.ml OCAMLDEP toplevel/vernac.ml OCAMLDEP toplevel/coqtop.ml OCAMLDEP toplevel/usage.ml OCAMLDEP toplevel/coqloop.ml OCAMLDEP toplevel/coqinit.ml OCAMLDEP tools/md5sum.ml OCAMLDEP tools/mkwinapp.ml OCAMLDEP tools/gallina.ml OCAMLDEP tools/fake_ide.ml OCAMLDEP tools/coqworkmgr.ml OCAMLDEP tools/coqmktop.ml OCAMLDEP tools/coqdoc/tokens.ml OCAMLDEP tools/coqdoc/output.ml OCAMLDEP tools/coqdoc/main.ml OCAMLDEP tools/coqdoc/index.ml OCAMLDEP tools/coqdoc/cdglobals.ml OCAMLDEP tools/coqdoc/alpha.ml OCAMLDEP tools/coqdep_common.ml OCAMLDEP tools/coqdep_boot.ml OCAMLDEP tools/coqc.ml OCAMLDEP tools/coqdep.ml OCAMLDEP tools/coq_tex.ml OCAMLDEP tools/coq_makefile.ml OCAMLDEP tactics/term_dnet.ml OCAMLDEP tactics/tactics.ml OCAMLDEP tactics/tacticals.ml OCAMLDEP tactics/leminv.ml OCAMLDEP tactics/inv.ml OCAMLDEP tactics/ind_tables.ml OCAMLDEP tactics/hipattern.ml OCAMLDEP tactics/hints.ml OCAMLDEP tactics/equality.ml OCAMLDEP tactics/eqschemes.ml OCAMLDEP tactics/eqdecide.ml OCAMLDEP tactics/elimschemes.ml OCAMLDEP tactics/eauto.ml OCAMLDEP tactics/elim.ml OCAMLDEP tactics/dnet.ml OCAMLDEP tactics/dn.ml OCAMLDEP tactics/contradiction.ml OCAMLDEP tactics/class_tactics.ml OCAMLDEP tactics/autorewrite.ml OCAMLDEP tactics/auto.ml OCAMLDEP stm/workerPool.ml OCAMLDEP tactics/btermdn.ml OCAMLDEP stm/workerLoop.ml OCAMLDEP stm/vio_checking.ml OCAMLDEP stm/vcs.ml OCAMLDEP stm/vernac_classifier.ml OCAMLDEP stm/tacworkertop.ml OCAMLDEP stm/tQueue.ml OCAMLDEP stm/stm.ml OCAMLDEP stm/spawned.ml OCAMLDEP stm/queryworkertop.ml OCAMLDEP stm/proofworkertop.ml OCAMLDEP stm/proofBlockDelimiter.ml OCAMLDEP stm/dag.ml OCAMLDEP stm/coqworkmgrApi.ml OCAMLDEP stm/asyncTaskQueue.ml OCAMLDEP proofs/tacmach.ml OCAMLDEP proofs/refiner.ml OCAMLDEP proofs/refine.ml OCAMLDEP proofs/redexpr.ml OCAMLDEP proofs/proof_using.ml OCAMLDEP proofs/proof_global.ml OCAMLDEP proofs/proof.ml OCAMLDEP proofs/pfedit.ml OCAMLDEP proofs/miscprint.ml OCAMLDEP proofs/logic.ml OCAMLDEP proofs/goal.ml OCAMLDEP proofs/evar_refiner.ml OCAMLDEP proofs/clenvtac.ml OCAMLDEP proofs/clenv.ml OCAMLDEP printing/printmod.ml OCAMLDEP printing/printer.ml OCAMLDEP printing/prettyp.ml OCAMLDEP printing/ppvernac.ml OCAMLDEP printing/pputils.ml OCAMLDEP printing/ppconstr.ml OCAMLDEP printing/genprint.ml OCAMLDEP pretyping/vnorm.ml OCAMLDEP pretyping/unification.ml OCAMLDEP pretyping/typing.ml OCAMLDEP pretyping/typeclasses_errors.ml OCAMLDEP pretyping/typeclasses.ml OCAMLDEP pretyping/reductionops.ml OCAMLDEP pretyping/retyping.ml OCAMLDEP pretyping/tacred.ml OCAMLDEP pretyping/redops.ml OCAMLDEP pretyping/recordops.ml OCAMLDEP pretyping/pretyping.ml OCAMLDEP pretyping/program.ml OCAMLDEP pretyping/pretype_errors.ml OCAMLDEP pretyping/nativenorm.ml OCAMLDEP pretyping/patternops.ml OCAMLDEP pretyping/miscops.ml OCAMLDEP pretyping/locusops.ml OCAMLDEP pretyping/inductiveops.ml OCAMLDEP pretyping/indrec.ml OCAMLDEP pretyping/glob_ops.ml OCAMLDEP pretyping/find_subterm.ml OCAMLDEP pretyping/evarsolve.ml OCAMLDEP pretyping/evardefine.ml OCAMLDEP pretyping/evarconv.ml OCAMLDEP pretyping/detyping.ml OCAMLDEP pretyping/constr_matching.ml OCAMLDEP pretyping/coercion.ml OCAMLDEP pretyping/classops.ml OCAMLDEP pretyping/cases.ml OCAMLDEP plugins/syntax/z_syntax.ml OCAMLDEP pretyping/cbv.ml OCAMLDEP plugins/syntax/string_syntax.ml OCAMLDEP pretyping/arguments_renaming.ml OCAMLDEP plugins/syntax/r_syntax.ml OCAMLDEP plugins/syntax/nat_syntax.ml OCAMLDEP plugins/syntax/int31_syntax.ml OCAMLDEP plugins/syntax/ascii_syntax.ml OCAMLDEP plugins/ssr/ssrview.ml OCAMLDEP plugins/ssr/ssrtacticals.ml OCAMLDEP plugins/ssr/ssrprinters.ml OCAMLDEP plugins/ssr/ssripats.ml OCAMLDEP plugins/ssr/ssrfwd.ml OCAMLDEP plugins/ssr/ssrequality.ml OCAMLDEP plugins/ssr/ssrbwd.ml OCAMLDEP plugins/ssr/ssrcommon.ml OCAMLDEP plugins/ssr/ssrelim.ml OCAMLDEP plugins/rtauto/refl_tauto.ml OCAMLDEP plugins/setoid_ring/newring.ml OCAMLDEP plugins/rtauto/proof_search.ml OCAMLDEP plugins/romega/const_omega.ml OCAMLDEP plugins/romega/refl_omega.ml OCAMLDEP plugins/quote/quote.ml OCAMLDEP plugins/omega/omega.ml OCAMLDEP plugins/omega/coq_omega.ml OCAMLDEP plugins/nsatz/utile.ml OCAMLDEP plugins/nsatz/polynom.ml OCAMLDEP plugins/nsatz/nsatz.ml OCAMLDEP plugins/nsatz/ideal.ml OCAMLDEP plugins/micromega/sos_types.ml OCAMLDEP plugins/micromega/sos_lib.ml OCAMLDEP plugins/micromega/sos.ml OCAMLDEP plugins/micromega/polynomial.ml OCAMLDEP plugins/micromega/persistent_cache.ml OCAMLDEP plugins/micromega/mutils.ml OCAMLDEP plugins/micromega/mfourier.ml OCAMLDEP plugins/micromega/micromega.ml OCAMLDEP plugins/micromega/csdpcert.ml OCAMLDEP plugins/micromega/certificate.ml OCAMLDEP plugins/ltac/tauto.ml OCAMLDEP plugins/micromega/coq_micromega.ml OCAMLDEP plugins/ltac/tactic_debug.ml OCAMLDEP plugins/ltac/tactic_matching.ml OCAMLDEP plugins/ltac/tactic_option.ml OCAMLDEP plugins/ltac/tacsubst.ml OCAMLDEP plugins/ltac/tacinterp.ml OCAMLDEP plugins/ltac/tacintern.ml OCAMLDEP plugins/ltac/tacenv.ml OCAMLDEP plugins/ltac/tacarg.ml OCAMLDEP plugins/ltac/taccoerce.ml OCAMLDEP plugins/ltac/tacentries.ml OCAMLDEP plugins/ltac/rewrite.ml OCAMLDEP plugins/ltac/profile_ltac.ml OCAMLDEP plugins/ltac/pptactic.ml OCAMLDEP plugins/ltac/pltac.ml OCAMLDEP plugins/ltac/evar_tactics.ml OCAMLDEP plugins/funind/recdef.ml OCAMLDEP plugins/funind/merge.ml OCAMLDEP plugins/funind/indfun_common.ml OCAMLDEP plugins/funind/indfun.ml OCAMLDEP plugins/funind/invfun.ml OCAMLDEP plugins/funind/glob_termops.ml OCAMLDEP plugins/funind/glob_term_to_relation.ml OCAMLDEP plugins/funind/functional_principles_types.ml OCAMLDEP plugins/funind/functional_principles_proofs.ml OCAMLDEP plugins/fourier/fourier.ml OCAMLDEP plugins/fourier/fourierR.ml OCAMLDEP plugins/firstorder/unify.ml OCAMLDEP plugins/firstorder/sequent.ml OCAMLDEP plugins/firstorder/rules.ml OCAMLDEP plugins/firstorder/instances.ml OCAMLDEP plugins/firstorder/ground.ml OCAMLDEP plugins/firstorder/formula.ml OCAMLDEP plugins/extraction/table.ml OCAMLDEP plugins/extraction/scheme.ml OCAMLDEP plugins/extraction/ocaml.ml OCAMLDEP plugins/extraction/modutil.ml OCAMLDEP plugins/extraction/json.ml OCAMLDEP plugins/extraction/mlutil.ml OCAMLDEP plugins/extraction/haskell.ml OCAMLDEP plugins/extraction/extraction.ml OCAMLDEP plugins/extraction/extract_env.ml OCAMLDEP plugins/extraction/common.ml OCAMLDEP plugins/extraction/big.ml OCAMLDEP plugins/derive/derive.ml OCAMLDEP plugins/cc/cctac.ml OCAMLDEP plugins/cc/ccproof.ml OCAMLDEP plugins/cc/ccalgo.ml OCAMLDEP plugins/btauto/refl_btauto.ml OCAMLDEP parsing/tok.ml OCAMLDEP parsing/pcoq.ml OCAMLDEP parsing/egramml.ml OCAMLDEP parsing/egramcoq.ml OCAMLDEP library/univops.ml OCAMLDEP library/summary.ml OCAMLDEP library/nametab.ml OCAMLDEP library/states.ml OCAMLDEP library/nameops.ml OCAMLDEP library/loadpath.ml OCAMLDEP library/library.ml OCAMLDEP library/libobject.ml OCAMLDEP library/libnames.ml OCAMLDEP library/kindops.ml OCAMLDEP library/lib.ml OCAMLDEP library/keys.ml OCAMLDEP library/goptions.ml OCAMLDEP library/globnames.ml OCAMLDEP library/heads.ml OCAMLDEP library/global.ml OCAMLDEP library/dischargedhypsmap.ml OCAMLDEP library/decls.ml OCAMLDEP library/coqlib.ml OCAMLDEP lib/util.ml OCAMLDEP library/declaremods.ml OCAMLDEP lib/unionfind.ml OCAMLDEP lib/unicodetable.ml OCAMLDEP lib/unicode.ml OCAMLDEP lib/trie.ml OCAMLDEP lib/terminal.ml OCAMLDEP lib/store.ml OCAMLDEP lib/system.ml OCAMLDEP lib/stateid.ml OCAMLDEP lib/segmenttree.ml OCAMLDEP lib/spawn.ml OCAMLDEP lib/rtree.ml OCAMLDEP lib/remoteCounter.ml OCAMLDEP lib/predicate.ml OCAMLDEP lib/profile.ml OCAMLDEP lib/pp.ml OCAMLDEP lib/option.ml OCAMLDEP lib/monad.ml OCAMLDEP lib/loc.ml OCAMLDEP lib/minisys.ml OCAMLDEP lib/iStream.ml OCAMLDEP lib/int.ml OCAMLDEP lib/hook.ml OCAMLDEP lib/heap.ml OCAMLDEP lib/hashcons.ml OCAMLDEP lib/hashset.ml OCAMLDEP lib/hMap.ml OCAMLDEP lib/genarg.ml OCAMLDEP lib/future.ml OCAMLDEP lib/flags.ml OCAMLDEP lib/feedback.ml OCAMLDEP lib/explore.ml OCAMLDEP lib/exninfo.ml OCAMLDEP lib/envars.ml OCAMLDEP lib/dyn.ml OCAMLDEP lib/deque.ml OCAMLDEP lib/control.ml OCAMLDEP lib/canary.ml OCAMLDEP lib/cWarnings.ml OCAMLDEP lib/cUnix.ml OCAMLDEP lib/cThread.ml OCAMLDEP lib/cString.ml OCAMLDEP lib/cStack.ml OCAMLDEP lib/cSet.ml OCAMLDEP lib/cObj.ml OCAMLDEP lib/cMap.ml OCAMLDEP lib/cList.ml OCAMLDEP lib/cErrors.ml OCAMLDEP lib/cEphemeron.ml OCAMLDEP lib/cAst.ml OCAMLDEP lib/bigint.ml OCAMLDEP lib/cArray.ml OCAMLDEP lib/backtrace.ml OCAMLDEP lib/aux_file.ml OCAMLDEP kernel/vm.ml OCAMLDEP kernel/vconv.ml OCAMLDEP kernel/vars.ml OCAMLDEP kernel/univ.ml OCAMLDEP kernel/uint31.ml OCAMLDEP kernel/uGraph.ml OCAMLDEP kernel/typeops.ml OCAMLDEP kernel/type_errors.ml OCAMLDEP kernel/term_typing.ml OCAMLDEP kernel/term.ml OCAMLDEP kernel/subtyping.ml OCAMLDEP kernel/sorts.ml OCAMLDEP kernel/safe_typing.ml OCAMLDEP kernel/retroknowledge.ml OCAMLDEP kernel/reduction.ml OCAMLDEP kernel/primitives.ml OCAMLDEP kernel/pre_env.ml OCAMLDEP kernel/opaqueproof.ml OCAMLDEP kernel/nativevalues.ml OCAMLDEP kernel/nativelibrary.ml OCAMLDEP kernel/nativelib.ml OCAMLDEP kernel/nativelambda.ml OCAMLDEP kernel/nativeconv.ml OCAMLDEP kernel/nativecode.ml OCAMLDEP kernel/names.ml OCAMLDEP kernel/modops.ml OCAMLDEP kernel/mod_typing.ml OCAMLDEP kernel/mod_subst.ml OCAMLDEP kernel/inductive.ml OCAMLDEP kernel/indtypes.ml OCAMLDEP kernel/evar.ml OCAMLDEP kernel/esubst.ml OCAMLDEP kernel/environ.ml OCAMLDEP kernel/declareops.ml OCAMLDEP kernel/declarations.ml OCAMLDEP kernel/cooking.ml OCAMLDEP kernel/csymtable.ml OCAMLDEP kernel/conv_oracle.ml OCAMLDEP kernel/context.ml OCAMLDEP kernel/constr.ml OCAMLDEP kernel/cemitcodes.ml OCAMLDEP kernel/cbytegen.ml OCAMLDEP kernel/cbytecodes.ml OCAMLDEP kernel/cClosure.ml OCAMLDEP intf/vernacexpr.ml OCAMLDEP intf/tactypes.ml OCAMLDEP intf/notation_term.ml OCAMLDEP intf/pattern.ml OCAMLDEP intf/misctypes.ml OCAMLDEP intf/locus.ml OCAMLDEP intf/glob_term.ml OCAMLDEP intf/genredexpr.ml OCAMLDEP intf/extend.ml OCAMLDEP intf/evar_kinds.ml OCAMLDEP intf/decl_kinds.ml OCAMLDEP intf/constrexpr.ml OCAMLDEP interp/topconstr.ml OCAMLDEP interp/syntax_def.ml OCAMLDEP interp/stdarg.ml OCAMLDEP interp/smartlocate.ml OCAMLDEP interp/reserve.ml OCAMLDEP interp/ppextend.ml OCAMLDEP interp/notation_ops.ml OCAMLDEP interp/notation.ml OCAMLDEP interp/modintern.ml OCAMLDEP interp/implicit_quantifiers.ml OCAMLDEP interp/impargs.ml OCAMLDEP interp/genintern.ml OCAMLDEP interp/dumpglob.ml OCAMLDEP interp/declare.ml OCAMLDEP interp/constrintern.ml OCAMLDEP interp/constrextern.ml OCAMLDEP interp/constrexpr_ops.ml OCAMLDEP ide/xmlprotocol.ml OCAMLDEP ide/xml_printer.ml OCAMLDEP ide/wg_Segment.ml OCAMLDEP ide/xml_parser.ml OCAMLDEP ide/wg_ScriptView.ml OCAMLDEP ide/wg_ProofView.ml OCAMLDEP ide/wg_Notebook.ml OCAMLDEP ide/wg_MessageView.ml OCAMLDEP ide/wg_Find.ml OCAMLDEP ide/wg_Detachable.ml OCAMLDEP ide/wg_Completion.ml OCAMLDEP ide/wg_Command.ml OCAMLDEP ide/utils/configwin_messages.ml OCAMLDEP ide/utils/configwin_ihm.ml OCAMLDEP ide/utils/configwin.ml OCAMLDEP ide/tags.ml OCAMLDEP ide/session.ml OCAMLDEP ide/serialize.ml OCAMLDEP ide/sentence.ml OCAMLDEP ide/preferences.ml OCAMLDEP ide/richpp.ml OCAMLDEP ide/nanoPG.ml OCAMLDEP ide/minilib.ml OCAMLDEP ide/macos_prehook.ml OCAMLDEP ide/ideutils.ml OCAMLDEP ide/gtk_parsing.ml OCAMLDEP ide/ide_slave.ml OCAMLDEP ide/fileOps.ml OCAMLDEP ide/document.ml OCAMLDEP ide/coqide_ui.ml OCAMLDEP ide/coq_commands.ml OCAMLDEP ide/coqide.ml OCAMLDEP ide/coqOps.ml OCAMLDEP engine/universes.ml OCAMLDEP ide/coq.ml OCAMLDEP engine/uState.ml OCAMLDEP engine/termops.ml OCAMLDEP engine/proofview_monad.ml OCAMLDEP engine/proofview.ml OCAMLDEP engine/namegen.ml OCAMLDEP engine/logic_monad.ml OCAMLDEP engine/geninterp.ml OCAMLDEP engine/ftactic.ml OCAMLDEP engine/evd.ml OCAMLDEP engine/evarutil.ml OCAMLDEP engine/eConstr.ml OCAMLDEP dev/vm_printers.ml OCAMLDEP dev/dynlink.ml OCAMLDEP dev/top_printers.ml OCAMLDEP dev/db_printers.ml OCAMLDEP configure.ml OCAMLDEP config/coq_config.ml OCAMLOPT tools/ocamllibdep.ml OCAMLC lib/unicodetable.ml OCAMLC -c -pp grammar/tacextend.mlp ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLBEST -o bin/ocamllibdep OCAMLC -c -pp grammar/vernacextend.mlp ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf Testing grammar/grammar.cma ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLLIBDEP plugins/syntax/string_syntax_plugin.mlpack OCAMLLIBDEP plugins/syntax/r_syntax_plugin.mlpack OCAMLLIBDEP plugins/syntax/nat_syntax_plugin.mlpack OCAMLLIBDEP plugins/syntax/int31_syntax_plugin.mlpack OCAMLLIBDEP plugins/syntax/z_syntax_plugin.mlpack OCAMLLIBDEP plugins/ssrmatching/ssrmatching_plugin.mlpack OCAMLLIBDEP plugins/ssr/ssreflect_plugin.mlpack OCAMLLIBDEP plugins/setoid_ring/newring_plugin.mlpack OCAMLLIBDEP plugins/rtauto/rtauto_plugin.mlpack OCAMLLIBDEP plugins/quote/quote_plugin.mlpack OCAMLLIBDEP plugins/nsatz/nsatz_plugin.mlpack OCAMLLIBDEP plugins/syntax/ascii_syntax_plugin.mlpack OCAMLLIBDEP plugins/omega/omega_plugin.mlpack OCAMLLIBDEP plugins/romega/romega_plugin.mlpack OCAMLC -a grammar/grammar.cma OCAMLLIBDEP plugins/micromega/micromega_plugin.mlpack OCAMLLIBDEP plugins/ltac/tauto_plugin.mlpack ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLLIBDEP plugins/funind/recdef_plugin.mlpack OCAMLLIBDEP plugins/fourier/fourier_plugin.mlpack OCAMLLIBDEP plugins/ltac/ltac_plugin.mlpack OCAMLLIBDEP plugins/firstorder/ground_plugin.mlpack OCAMLLIBDEP plugins/extraction/extraction_plugin.mlpack OCAMLLIBDEP plugins/derive/derive_plugin.mlpack OCAMLLIBDEP plugins/cc/cc_plugin.mlpack OCAMLLIBDEP vernac/vernac.mllib OCAMLLIBDEP plugins/btauto/btauto_plugin.mlpack OCAMLLIBDEP toplevel/toplevel.mllib OCAMLLIBDEP tactics/tactics.mllib OCAMLLIBDEP stm/stm.mllib OCAMLLIBDEP stm/tacworkertop.mllib OCAMLLIBDEP stm/queryworkertop.mllib OCAMLLIBDEP stm/proofworkertop.mllib OCAMLLIBDEP proofs/proofs.mllib OCAMLLIBDEP printing/printing.mllib OCAMLLIBDEP pretyping/pretyping.mllib OCAMLLIBDEP parsing/parsing.mllib OCAMLLIBDEP parsing/highparsing.mllib OCAMLLIBDEP library/library.mllib OCAMLLIBDEP lib/clib.mllib OCAMLLIBDEP lib/lib.mllib OCAMLLIBDEP kernel/kernel.mllib OCAMLLIBDEP interp/interp.mllib OCAMLLIBDEP ide/coqidetop.mllib OCAMLLIBDEP intf/intf.mllib OCAMLLIBDEP ide/ide.mllib OCAMLLIBDEP engine/engine.mllib OCAMLLIBDEP checker/check.mllib CAMLP5O plugins/ssrmatching/ssrmatching.ml4 CAMLP5O plugins/ssr/ssrvernac.ml4 CAMLP5O plugins/ssr/ssrparser.ml4 CAMLP5O plugins/setoid_ring/g_newring.ml4 CAMLP5O plugins/rtauto/g_rtauto.ml4 CAMLP5O plugins/romega/g_romega.ml4 CAMLP5O plugins/quote/g_quote.ml4 CAMLP5O plugins/omega/g_omega.ml4 CAMLP5O plugins/nsatz/g_nsatz.ml4 CAMLP5O plugins/micromega/g_micromega.ml4 CAMLP5O plugins/ltac/profile_ltac_tactics.ml4 CAMLP5O plugins/ltac/g_tactic.ml4 CAMLP5O plugins/ltac/g_rewrite.ml4 CAMLP5O plugins/ltac/g_obligations.ml4 CAMLP5O plugins/ltac/g_ltac.ml4 Redundant [TYPED AS] clause in [ARGUMENT EXTEND ssrindex]. CAMLP5O plugins/ltac/g_class.ml4 CAMLP5O plugins/ltac/g_eqdecide.ml4 CAMLP5O plugins/ltac/g_auto.ml4 CAMLP5O plugins/ltac/extratactics.ml4 CAMLP5O plugins/ltac/extraargs.ml4 CAMLP5O plugins/ltac/coretactics.ml4 CAMLP5O plugins/funind/g_indfun.ml4 CAMLP5O plugins/fourier/g_fourier.ml4 CAMLP5O plugins/firstorder/g_ground.ml4 CAMLP5O plugins/extraction/g_extraction.ml4 CAMLP5O plugins/derive/g_derive.ml4 CAMLP5O plugins/cc/g_congruence.ml4 CAMLP5O plugins/btauto/g_btauto.ml4 CAMLP5O parsing/g_vernac.ml4 CAMLP5O parsing/g_proofs.ml4 CAMLP5O parsing/g_prim.ml4 CAMLP5O parsing/g_constr.ml4 CAMLP5O parsing/cLexer.ml4 CAMLP5O lib/coqProject_file.ml4 OCAMLDEP plugins/ssr/ssrvernac.ml OCAMLDEP plugins/ssr/ssrparser.ml OCAMLDEP plugins/ssrmatching/ssrmatching.ml OCAMLDEP plugins/rtauto/g_rtauto.ml OCAMLDEP plugins/romega/g_romega.ml OCAMLDEP plugins/setoid_ring/g_newring.ml OCAMLDEP plugins/quote/g_quote.ml OCAMLDEP plugins/ltac/g_tactic.ml OCAMLDEP plugins/micromega/g_micromega.ml OCAMLDEP plugins/nsatz/g_nsatz.ml OCAMLDEP plugins/ltac/g_ltac.ml OCAMLDEP plugins/ltac/profile_ltac_tactics.ml OCAMLDEP plugins/ltac/g_obligations.ml OCAMLDEP plugins/omega/g_omega.ml OCAMLDEP plugins/ltac/g_rewrite.ml OCAMLDEP plugins/ltac/g_eqdecide.ml OCAMLDEP plugins/ltac/g_class.ml OCAMLDEP plugins/ltac/g_auto.ml OCAMLDEP plugins/ltac/extratactics.ml OCAMLDEP plugins/ltac/extraargs.ml OCAMLDEP plugins/ltac/coretactics.ml OCAMLDEP plugins/funind/g_indfun.ml OCAMLDEP plugins/fourier/g_fourier.ml OCAMLDEP plugins/firstorder/g_ground.ml OCAMLDEP plugins/extraction/g_extraction.ml OCAMLDEP plugins/derive/g_derive.ml OCAMLDEP plugins/cc/g_congruence.ml OCAMLDEP parsing/g_vernac.ml OCAMLDEP parsing/g_proofs.ml OCAMLDEP plugins/btauto/g_btauto.ml OCAMLDEP parsing/g_prim.ml OCAMLDEP parsing/g_constr.ml OCAMLDEP parsing/cLexer.ml OCAMLDEP lib/coqProject_file.ml OCAMLOPT lib/unicodetable.ml OCAMLC lib/unicode.ml ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLOPT lib/unicode.ml OCAMLC lib/minisys.ml ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLOPT tools/coqdep_lexer.ml OCAMLOPT lib/minisys.ml ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLOPT tools/coqdep_common.ml ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLOPT tools/coqdep_boot.ml ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLBEST -o bin/coqdep_boot ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf COQDEP plugins/ssr/ssrfun.v COQDEP plugins/ssr/ssreflect.v COQDEP plugins/ssrmatching/ssrmatching.v COQDEP plugins/setoid_ring/Rings_Z.v COQDEP plugins/setoid_ring/ZArithRing.v COQDEP plugins/setoid_ring/Rings_Q.v COQDEP plugins/setoid_ring/Rings_R.v COQDEP plugins/setoid_ring/Ring_base.v COQDEP plugins/setoid_ring/Ring.v COQDEP plugins/ssr/ssrbool.v COQDEP plugins/setoid_ring/Ncring_polynom.v COQDEP plugins/setoid_ring/Ring_theory.v COQDEP plugins/setoid_ring/Ncring_tac.v COQDEP plugins/setoid_ring/Ring_tac.v COQDEP plugins/setoid_ring/RealField.v COQDEP plugins/setoid_ring/Ring_polynom.v COQDEP plugins/setoid_ring/Ncring.v COQDEP plugins/setoid_ring/Ncring_initial.v COQDEP plugins/setoid_ring/NArithRing.v COQDEP plugins/setoid_ring/Integral_domain.v COQDEP plugins/setoid_ring/InitialRing.v COQDEP plugins/setoid_ring/Field_theory.v COQDEP plugins/setoid_ring/Field_tac.v COQDEP plugins/setoid_ring/Field.v COQDEP plugins/setoid_ring/BinList.v COQDEP plugins/setoid_ring/Algebra_syntax.v COQDEP plugins/setoid_ring/ArithRing.v COQDEP plugins/rtauto/Rtauto.v COQDEP plugins/rtauto/Bintree.v COQDEP plugins/setoid_ring/Cring.v COQDEP plugins/romega/ReflOmegaCore.v COQDEP plugins/romega/ROmega.v COQDEP plugins/quote/Quote.v COQDEP plugins/omega/PreOmega.v COQDEP plugins/omega/OmegaTactic.v COQDEP plugins/omega/OmegaPlugin.v COQDEP plugins/omega/OmegaLemmas.v COQDEP plugins/omega/Omega.v COQDEP plugins/micromega/ZCoeff.v COQDEP plugins/micromega/ZMicromega.v COQDEP plugins/micromega/Tauto.v COQDEP plugins/micromega/RingMicromega.v COQDEP plugins/nsatz/Nsatz.v COQDEP plugins/micromega/Refl.v COQDEP plugins/micromega/RMicromega.v COQDEP plugins/micromega/Psatz.v COQDEP plugins/micromega/VarMap.v COQDEP plugins/micromega/QMicromega.v COQDEP plugins/micromega/OrderedRing.v COQDEP plugins/micromega/MExtraction.v COQDEP plugins/micromega/Lqa.v COQDEP plugins/micromega/Lia.v COQDEP plugins/micromega/Lra.v COQDEP plugins/micromega/EnvRing.v COQDEP plugins/micromega/Env.v COQDEP plugins/ltac/Ltac.v COQDEP plugins/funind/Recdef.v COQDEP plugins/funind/FunInd.v COQDEP plugins/fourier/Fourier.v COQDEP plugins/extraction/Extraction.v COQDEP plugins/fourier/Fourier_util.v COQDEP plugins/extraction/ExtrOcamlZInt.v COQDEP plugins/extraction/ExtrOcamlString.v COQDEP plugins/extraction/ExtrOcamlIntConv.v COQDEP plugins/extraction/ExtrOcamlNatInt.v COQDEP plugins/extraction/ExtrOcamlNatBigInt.v COQDEP plugins/extraction/ExtrOcamlBigIntConv.v COQDEP plugins/extraction/ExtrOcamlZBigInt.v COQDEP plugins/extraction/ExtrOcamlBasic.v COQDEP plugins/extraction/ExtrHaskellZInteger.v COQDEP plugins/extraction/ExtrHaskellString.v COQDEP plugins/extraction/ExtrHaskellZInt.v COQDEP plugins/extraction/ExtrHaskellZNum.v COQDEP plugins/extraction/ExtrHaskellNatNum.v COQDEP plugins/extraction/ExtrHaskellNatInteger.v COQDEP plugins/extraction/ExtrHaskellNatInt.v COQDEP plugins/extraction/ExtrHaskellBasic.v COQDEP plugins/derive/Derive.v COQDEP plugins/btauto/Reflect.v COQDEP plugins/btauto/Algebra.v COQDEP plugins/btauto/Btauto.v COQDEP theories/ZArith/Zwf.v COQDEP theories/ZArith/Zsqrt_compat.v COQDEP theories/ZArith/auxiliary.v COQDEP theories/ZArith/Zquot.v COQDEP theories/ZArith/Zpow_facts.v COQDEP theories/ZArith/Zpow_alt.v COQDEP theories/ZArith/Zorder.v COQDEP theories/ZArith/Znumtheory.v COQDEP theories/ZArith/Zpow_def.v COQDEP theories/ZArith/Znat.v COQDEP theories/ZArith/Zmisc.v COQDEP theories/ZArith/Zpower.v COQDEP theories/ZArith/Zminmax.v COQDEP theories/ZArith/Zmax.v COQDEP theories/ZArith/Zlogarithm.v COQDEP theories/ZArith/Zgcd_alt.v COQDEP theories/ZArith/Zmin.v COQDEP theories/ZArith/Zeuclid.v COQDEP theories/ZArith/Zeven.v COQDEP theories/ZArith/Zdigits.v COQDEP theories/ZArith/Zdiv.v COQDEP theories/ZArith/Zhints.v COQDEP theories/ZArith/Zcomplements.v COQDEP theories/ZArith/Zcompare.v COQDEP theories/ZArith/ZArith_dec.v COQDEP theories/ZArith/ZArith_base.v COQDEP theories/ZArith/Int.v COQDEP theories/ZArith/Zbool.v COQDEP theories/ZArith/BinIntDef.v COQDEP theories/ZArith/Wf_Z.v COQDEP theories/ZArith/Zabs.v COQDEP theories/Wellfounded/Well_Ordering.v COQDEP theories/ZArith/ZArith.v COQDEP theories/ZArith/BinInt.v COQDEP theories/Wellfounded/Union.v COQDEP theories/Wellfounded/Wellfounded.v COQDEP theories/Wellfounded/Lexicographic_Product.v COQDEP theories/Wellfounded/Lexicographic_Exponentiation.v COQDEP theories/Wellfounded/Inverse_Image.v COQDEP theories/Wellfounded/Inclusion.v COQDEP theories/Wellfounded/Transitive_Closure.v COQDEP theories/Wellfounded/Disjoint_Union.v COQDEP theories/Vectors/VectorSpec.v COQDEP theories/Vectors/VectorEq.v COQDEP theories/Unicode/Utf8_core.v COQDEP theories/Unicode/Utf8.v COQDEP theories/Vectors/VectorDef.v COQDEP theories/Vectors/Vector.v COQDEP theories/Structures/OrdersTac.v COQDEP theories/Vectors/Fin.v COQDEP theories/Structures/OrdersFacts.v COQDEP theories/Structures/OrdersLists.v COQDEP theories/Structures/OrdersEx.v COQDEP theories/Structures/OrderedTypeEx.v COQDEP theories/Structures/Orders.v COQDEP theories/Structures/OrderedType.v COQDEP theories/Structures/GenericMinMax.v COQDEP theories/Structures/OrdersAlt.v COQDEP theories/Structures/Equalities.v COQDEP theories/Structures/EqualitiesFacts.v COQDEP theories/Structures/OrderedTypeAlt.v COQDEP theories/Structures/DecidableType.v COQDEP theories/Structures/DecidableTypeEx.v COQDEP theories/Strings/String.v COQDEP theories/Strings/Ascii.v COQDEP theories/Sorting/Sorting.v COQDEP theories/Sorting/PermutEq.v COQDEP theories/Sorting/Mergesort.v COQDEP theories/Sorting/Heap.v COQDEP theories/Sorting/Permutation.v COQDEP theories/Sorting/Sorted.v COQDEP theories/Sorting/PermutSetoid.v COQDEP theories/Sets/Relations_3_facts.v COQDEP theories/Sets/Uniset.v COQDEP theories/Sets/Relations_3.v COQDEP theories/Sets/Relations_1.v COQDEP theories/Sets/Relations_1_facts.v COQDEP theories/Sets/Relations_2_facts.v COQDEP theories/Sets/Relations_2.v COQDEP theories/Sets/Powerset_Classical_facts.v COQDEP theories/Sets/Powerset_facts.v COQDEP theories/Sets/Permut.v COQDEP theories/Sets/Powerset.v COQDEP theories/Sets/Partial_Order.v COQDEP theories/Sets/Multiset.v COQDEP theories/Sets/Integers.v COQDEP theories/Sets/Finite_sets_facts.v COQDEP theories/Sets/Finite_sets.v COQDEP theories/Sets/Ensembles.v COQDEP theories/Sets/Infinite_sets.v COQDEP theories/Setoids/Setoid.v COQDEP theories/Sets/Constructive_sets.v COQDEP theories/Sets/Classical_sets.v COQDEP theories/Sets/Cpo.v COQDEP theories/Reals/Sqrt_reg.v COQDEP theories/Relations/Relations.v COQDEP theories/Relations/Relation_Definitions.v COQDEP theories/Relations/Operators_Properties.v COQDEP theories/Sets/Image.v COQDEP theories/Relations/Relation_Operators.v COQDEP theories/Reals/SplitRmult.v COQDEP theories/Reals/SplitAbsolu.v COQDEP theories/Reals/SeqSeries.v COQDEP theories/Reals/SeqProp.v COQDEP theories/Reals/Rtrigo_reg.v COQDEP theories/Reals/Rtrigo_fun.v COQDEP theories/Reals/Rtrigo_calc.v COQDEP theories/Reals/Rtrigo1.v COQDEP theories/Reals/Rtrigo_alt.v COQDEP theories/Reals/Rtrigo_def.v COQDEP theories/Reals/Rtrigo.v COQDEP theories/Reals/Rsqrt_def.v COQDEP theories/Reals/Rsigma.v COQDEP theories/Reals/Rtopology.v COQDEP theories/Reals/Rseries.v COQDEP theories/Reals/Rpower.v COQDEP theories/Reals/Rpow_def.v COQDEP theories/Reals/Rprod.v COQDEP theories/Reals/Rlogic.v COQDEP theories/Reals/Rlimit.v COQDEP theories/Reals/Rminmax.v COQDEP theories/Reals/RiemannInt_SF.v COQDEP theories/Reals/RiemannInt.v COQDEP theories/Reals/Reals.v COQDEP theories/Reals/Rgeom.v COQDEP theories/Reals/Rdefinitions.v COQDEP theories/Reals/Rbasic_fun.v COQDEP theories/Reals/Rfunctions.v COQDEP theories/Reals/Raxioms.v COQDEP theories/Reals/Rcomplete.v COQDEP theories/Reals/Rderiv.v COQDEP theories/Reals/Ranalysis_reg.v COQDEP theories/Reals/Ranalysis5.v COQDEP theories/Reals/Rbase.v COQDEP theories/Reals/Ranalysis2.v COQDEP theories/Reals/Ratan.v COQDEP theories/Reals/Ranalysis3.v COQDEP theories/Reals/Ranalysis1.v COQDEP theories/Reals/Ranalysis.v COQDEP theories/Reals/Ranalysis4.v COQDEP theories/Reals/R_sqr.v COQDEP theories/Reals/R_Ifp.v COQDEP theories/Reals/R_sqrt.v COQDEP theories/Reals/RList.v COQDEP theories/Reals/PartSum.v COQDEP theories/Reals/NewtonInt.v COQDEP theories/Reals/Machin.v COQDEP theories/Reals/PSeries_reg.v COQDEP theories/Reals/MVT.v COQDEP theories/Reals/DiscrR.v COQDEP theories/Reals/Exp_prop.v COQDEP theories/Reals/ROrderedType.v COQDEP theories/Reals/Cos_plus.v COQDEP theories/Reals/Cos_rel.v COQDEP theories/Reals/Cauchy_prod.v COQDEP theories/Reals/RIneq.v COQDEP theories/Reals/Binomial.v COQDEP theories/Reals/Integration.v COQDEP theories/Reals/ArithProp.v COQDEP theories/Reals/AltSeries.v COQDEP theories/Reals/Alembert.v COQDEP theories/QArith/Qround.v COQDEP theories/QArith/Qring.v COQDEP theories/QArith/Qreduction.v COQDEP theories/QArith/Qreals.v COQDEP theories/QArith/Qpower.v COQDEP theories/QArith/Qminmax.v COQDEP theories/QArith/Qfield.v COQDEP theories/QArith/Qcanon.v COQDEP theories/QArith/Qcabs.v COQDEP theories/QArith/QOrderedType.v COQDEP theories/QArith/QArith_base.v COQDEP theories/QArith/Qabs.v COQDEP theories/Program/Wf.v COQDEP theories/QArith/QArith.v COQDEP theories/Program/Utils.v COQDEP theories/Program/Syntax.v COQDEP theories/Program/Tactics.v COQDEP theories/Program/Subset.v COQDEP theories/Program/Program.v COQDEP theories/Program/Equality.v COQDEP theories/Program/Combinators.v COQDEP theories/Program/Basics.v COQDEP theories/PArith/POrderedType.v COQDEP theories/PArith/Pnat.v COQDEP theories/PArith/BinPos.v COQDEP theories/PArith/PArith.v COQDEP theories/PArith/BinPosDef.v COQDEP theories/Numbers/Natural/Peano/NPeano.v COQDEP theories/Numbers/Natural/Binary/NBinary.v COQDEP theories/Numbers/NumPrelude.v COQDEP theories/Numbers/Natural/Abstract/NSub.v COQDEP theories/Numbers/Natural/Abstract/NProperties.v COQDEP theories/Numbers/Natural/Abstract/NSqrt.v COQDEP theories/Numbers/Natural/Abstract/NPow.v COQDEP theories/Numbers/Natural/Abstract/NMulOrder.v COQDEP theories/Numbers/Natural/Abstract/NStrongRec.v COQDEP theories/Numbers/Natural/Abstract/NLog.v COQDEP theories/Numbers/Natural/Abstract/NLcm.v COQDEP theories/Numbers/Natural/Abstract/NOrder.v COQDEP theories/Numbers/Natural/Abstract/NMaxMin.v COQDEP theories/Numbers/Natural/Abstract/NIso.v COQDEP theories/Numbers/Natural/Abstract/NGcd.v COQDEP theories/Numbers/Natural/Abstract/NDiv.v COQDEP theories/Numbers/Natural/Abstract/NParity.v COQDEP theories/Numbers/Natural/Abstract/NBits.v COQDEP theories/Numbers/Natural/Abstract/NDefOps.v COQDEP theories/Numbers/Natural/Abstract/NAxioms.v COQDEP theories/Numbers/NatInt/NZSqrt.v COQDEP theories/Numbers/Natural/Abstract/NAddOrder.v COQDEP theories/Numbers/Natural/Abstract/NAdd.v COQDEP theories/Numbers/Natural/Abstract/NBase.v COQDEP theories/Numbers/NatInt/NZProperties.v COQDEP theories/Numbers/NatInt/NZPow.v COQDEP theories/Numbers/NatInt/NZOrder.v COQDEP theories/Numbers/NatInt/NZParity.v COQDEP theories/Numbers/NatInt/NZMulOrder.v COQDEP theories/Numbers/NatInt/NZGcd.v COQDEP theories/Numbers/NatInt/NZDomain.v COQDEP theories/Numbers/NatInt/NZLog.v COQDEP theories/Numbers/NatInt/NZBits.v COQDEP theories/Numbers/NatInt/NZMul.v COQDEP theories/Numbers/NatInt/NZAxioms.v COQDEP theories/Numbers/NatInt/NZAddOrder.v COQDEP theories/Numbers/NaryFunctions.v COQDEP theories/Numbers/NatInt/NZDiv.v COQDEP theories/Numbers/NatInt/NZAdd.v COQDEP theories/Numbers/Integer/Binary/ZBinary.v COQDEP theories/Numbers/Integer/NatPairs/ZNatPairs.v COQDEP theories/Numbers/Integer/Abstract/ZProperties.v COQDEP theories/Numbers/Integer/Abstract/ZSgnAbs.v COQDEP theories/Numbers/NatInt/NZBase.v COQDEP theories/Numbers/Integer/Abstract/ZPow.v COQDEP theories/Numbers/Integer/Abstract/ZMulOrder.v COQDEP theories/Numbers/Integer/Abstract/ZMaxMin.v COQDEP theories/Numbers/Integer/Abstract/ZLt.v COQDEP theories/Numbers/Integer/Abstract/ZMul.v COQDEP theories/Numbers/Integer/Abstract/ZParity.v COQDEP theories/Numbers/Integer/Abstract/ZLcm.v COQDEP theories/Numbers/Integer/Abstract/ZDivEucl.v COQDEP theories/Numbers/Integer/Abstract/ZGcd.v COQDEP theories/Numbers/Integer/Abstract/ZBits.v COQDEP theories/Numbers/Integer/Abstract/ZDivFloor.v COQDEP theories/Numbers/Integer/Abstract/ZBase.v COQDEP theories/Numbers/Integer/Abstract/ZAddOrder.v COQDEP theories/Numbers/Integer/Abstract/ZAxioms.v COQDEP theories/Numbers/Integer/Abstract/ZDivTrunc.v COQDEP theories/Numbers/Cyclic/ZModulo/ZModulo.v COQDEP theories/Numbers/Cyclic/Int31/Ring31.v COQDEP theories/Numbers/Integer/Abstract/ZAdd.v COQDEP theories/Numbers/Cyclic/Int31/Cyclic31.v COQDEP theories/Numbers/Cyclic/Abstract/DoubleType.v COQDEP theories/Numbers/Cyclic/Abstract/CyclicAxioms.v COQDEP theories/Numbers/Cyclic/Abstract/NZCyclic.v COQDEP theories/Numbers/BinNums.v COQDEP theories/Numbers/Cyclic/Int31/Int31.v COQDEP theories/NArith/Nsqrt_def.v COQDEP theories/NArith/Ndiv_def.v COQDEP theories/NArith/Nnat.v COQDEP theories/NArith/Ngcd_def.v COQDEP theories/NArith/Ndist.v COQDEP theories/NArith/Ndigits.v COQDEP theories/NArith/BinNatDef.v COQDEP theories/NArith/Ndec.v COQDEP theories/NArith/BinNat.v COQDEP theories/MSets/MSets.v COQDEP theories/NArith/NArith.v COQDEP theories/MSets/MSetToFiniteSet.v COQDEP theories/MSets/MSetProperties.v COQDEP theories/MSets/MSetPositive.v COQDEP theories/MSets/MSetList.v COQDEP theories/MSets/MSetWeakList.v COQDEP theories/MSets/MSetGenTree.v COQDEP theories/MSets/MSetRBT.v COQDEP theories/MSets/MSetDecide.v COQDEP theories/MSets/MSetEqProperties.v COQDEP theories/MSets/MSetFacts.v COQDEP theories/MSets/MSetInterface.v COQDEP theories/Logic/WKL.v COQDEP theories/MSets/MSetAVL.v COQDEP theories/Logic/WeakFan.v COQDEP theories/Logic/SetIsType.v COQDEP theories/Logic/RelationalChoice.v COQDEP theories/Logic/SetoidChoice.v COQDEP theories/Logic/PropExtensionality.v COQDEP theories/Logic/ProofIrrelevance.v COQDEP theories/Logic/PropExtensionalityFacts.v COQDEP theories/Logic/ProofIrrelevanceFacts.v COQDEP theories/Logic/JMeq.v COQDEP theories/Logic/IndefiniteDescription.v COQDEP theories/Logic/PropFacts.v COQDEP theories/Logic/Hurkens.v COQDEP theories/Logic/FunctionalExtensionality.v COQDEP theories/Logic/ExtensionalityFacts.v COQDEP theories/Logic/ExtensionalFunctionRepresentative.v COQDEP theories/Logic/Eqdep_dec.v COQDEP theories/Logic/FinFun.v COQDEP theories/Logic/Epsilon.v COQDEP theories/Logic/Diaconescu.v COQDEP theories/Logic/Description.v COQDEP theories/Logic/Decidable.v COQDEP theories/Logic/Classical_Prop.v COQDEP theories/Logic/Eqdep.v COQDEP theories/Logic/Classical_Pred_Type.v COQDEP theories/Logic/ConstructiveEpsilon.v COQDEP theories/Logic/ClassicalUniqueChoice.v COQDEP theories/Logic/ClassicalFacts.v COQDEP theories/Logic/ClassicalDescription.v COQDEP theories/Logic/ClassicalEpsilon.v COQDEP theories/Logic/Classical.v COQDEP theories/Logic/EqdepFacts.v COQDEP theories/Logic/ChoiceFacts.v COQDEP theories/Logic/ClassicalChoice.v COQDEP theories/Lists/Streams.v COQDEP theories/Lists/StreamMemo.v COQDEP theories/Lists/SetoidList.v COQDEP theories/Lists/ListTactics.v COQDEP theories/Lists/ListSet.v COQDEP theories/Lists/ListDec.v COQDEP theories/Logic/Berardi.v COQDEP theories/Lists/List.v COQDEP theories/Init/Tauto.v COQDEP theories/Lists/SetoidPermutation.v COQDEP theories/Init/Prelude.v COQDEP theories/Init/Specif.v COQDEP theories/Init/Peano.v COQDEP theories/Init/Notations.v COQDEP theories/Init/Datatypes.v COQDEP theories/FSets/FSets.v COQDEP theories/Init/Logic_Type.v COQDEP theories/Init/Wf.v COQDEP theories/Init/Logic.v COQDEP theories/Init/Tactics.v COQDEP theories/FSets/FSetProperties.v COQDEP theories/FSets/FSetWeakList.v COQDEP theories/FSets/FSetList.v COQDEP theories/Init/Nat.v COQDEP theories/FSets/FSetPositive.v COQDEP theories/FSets/FSetToFiniteSet.v COQDEP theories/FSets/FSetDecide.v COQDEP theories/FSets/FSetEqProperties.v COQDEP theories/FSets/FSetCompat.v COQDEP theories/FSets/FSetInterface.v COQDEP theories/FSets/FSetBridge.v COQDEP theories/FSets/FSetFacts.v COQDEP theories/FSets/FMaps.v COQDEP theories/FSets/FSetAVL.v COQDEP theories/FSets/FMapList.v COQDEP theories/FSets/FMapWeakList.v COQDEP theories/FSets/FMapInterface.v COQDEP theories/FSets/FMapPositive.v COQDEP theories/FSets/FMapFacts.v COQDEP theories/FSets/FMapAVL.v COQDEP theories/Compat/Coq86.v COQDEP theories/Classes/SetoidTactics.v COQDEP theories/Compat/AdmitAxiom.v COQDEP theories/FSets/FMapFullAVL.v COQDEP theories/Classes/SetoidDec.v COQDEP theories/Classes/RelationPairs.v COQDEP theories/Classes/RelationClasses.v COQDEP theories/Compat/Coq85.v COQDEP theories/Classes/Morphisms_Relations.v COQDEP theories/Classes/SetoidClass.v COQDEP theories/Classes/Morphisms_Prop.v COQDEP theories/Classes/Morphisms.v COQDEP theories/Classes/Init.v COQDEP theories/Classes/Equivalence.v COQDEP theories/Classes/EquivDec.v COQDEP theories/Classes/CRelationClasses.v COQDEP theories/Classes/DecidableClass.v COQDEP theories/Classes/CEquivalence.v COQDEP theories/Classes/CMorphisms.v COQDEP theories/Bool/Zerob.v COQDEP theories/Bool/Sumbool.v COQDEP theories/Bool/IfProp.v COQDEP theories/Bool/DecBool.v COQDEP theories/Bool/BoolEq.v COQDEP theories/Bool/Bool.v COQDEP theories/Bool/Bvector.v COQDEP theories/Arith/Peano_dec.v COQDEP theories/Arith/PeanoNat.v COQDEP theories/Arith/Mult.v COQDEP theories/Arith/Plus.v COQDEP theories/Arith/Wf_nat.v COQDEP theories/Arith/Minus.v COQDEP theories/Arith/Max.v COQDEP theories/Arith/Factorial.v COQDEP theories/Arith/Lt.v COQDEP theories/Arith/Min.v COQDEP theories/Arith/Even.v COQDEP theories/Arith/Gt.v COQDEP theories/Arith/Compare_dec.v COQDEP theories/Arith/Euclid.v COQDEP theories/Arith/EqNat.v COQDEP theories/Arith/Div2.v COQDEP theories/Arith/Bool_nat.v COQDEP theories/Arith/Le.v COQDEP theories/Arith/Compare.v COQDEP theories/Arith/Between.v COQDEP theories/Arith/Arith_base.v COQDEP theories/Arith/Arith.v OCAMLC lib/terminal.mli OCAMLC lib/hook.mli OCAMLC lib/canary.mli OCAMLC config/coq_config.mli OCAMLC lib/cSig.mli OCAMLC lib/option.mli OCAMLC lib/exninfo.mli OCAMLC lib/hashset.mli OCAMLC lib/store.mli OCAMLC lib/deque.mli OCAMLC lib/control.mli OCAMLC lib/flags.mli OCAMLC lib/cObj.mli ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLC lib/cArray.mli OCAMLC lib/iStream.mli ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLC lib/pp.mli ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLC lib/xml_datatype.mli ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLC lib/cUnix.mli ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLC lib/monad.mli OCAMLC lib/envars.mli OCAMLC lib/coqProject_file.mli OCAMLC tools/tolink.ml ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLC lib/bigint.mli ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLC lib/spawn.mli OCAMLC lib/cThread.mli ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLC lib/profile.mli OCAMLC lib/trie.mli OCAMLC lib/predicate.mli ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLC lib/unionfind.mli ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLC lib/remoteCounter.mli OCAMLC lib/heap.mli OCAMLC kernel/uint31.mli OCAMLC lib/future.mli OCAMLC lib/cEphemeron.mli ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLC kernel/copcodes.ml ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLC intf/decl_kinds.ml OCAMLC kernel/primitives.mli ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLC library/summary.mli ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLC engine/logic_monad.mli ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLC parsing/tok.mli OCAMLC tactics/dnet.mli ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLC tactics/dn.mli OCAMLC stm/spawned.mli ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLC stm/dag.mli ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLC stm/tQueue.mli ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLC stm/workerPool.mli OCAMLC stm/workerLoop.mli OCAMLC stm/coqworkmgrApi.mli OCAMLC stm/vio_checking.mli ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLC toplevel/coqtop.mli ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLC toplevel/usage.mli ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLC kernel/byterun/coq_fix_code.c ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLC kernel/byterun/coq_memory.c OCAMLC kernel/byterun/coq_interp.c ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLC kernel/byterun/coq_values.c OCAMLC plugins/ltac/tauto.mli OCAMLC plugins/micromega/micromega.mli OCAMLC plugins/fourier/fourier.ml OCAMLC plugins/nsatz/utile.mli OCAMLC plugins/nsatz/polynom.mli ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLC plugins/micromega/sos_types.mli ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLC plugins/rtauto/proof_search.mli ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLC plugins/ssr/ssrvernac.mli ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf MD5SUM cic.mli ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLC checker/check_stat.mli ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLC checker/values.ml ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLC plugins/micromega/sos_lib.ml ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLC ide/xml_parser.mli ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLC ide/xml_lexer.mli OCAMLC ide/richpp.mli OCAMLC tools/gallina_lexer.ml ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLC ide/xml_printer.mli OCAMLC tools/coq_tex.ml ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLC tools/coqwc.ml ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLC tools/coqdoc/cdglobals.mli OCAMLC tools/coqworkmgr.ml ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLC tools/coqdoc/alpha.mli ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLC ide/minilib.mli OCAMLC ide/utils/configwin_messages.ml ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLC ide/utils/configwin.mli ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLC ide/tags.mli ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLC ide/utils/configwin_types.mli ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLC ide/utf8_convert.ml OCAMLC ide/wg_Notebook.mli OCAMLC ide/sentence.mli OCAMLC ide/wg_Segment.mli OCAMLC ide/wg_Detachable.mli ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLC ide/coq_commands.ml ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLC ide/wg_Find.mli CHECK revision OCAMLC ide/coqide.mli ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLOPT config/coq_config.ml OCAMLOPT lib/terminal.ml ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLOPT lib/canary.ml OCAMLOPT lib/hook.ml ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLC lib/cMap.mli OCAMLC lib/hashcons.mli ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLC lib/dyn.mli OCAMLOPT lib/option.ml OCAMLC lib/backtrace.mli ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLC lib/loc.mli OCAMLC lib/cList.mli OCAMLOPT lib/iStream.ml ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLOPT lib/store.ml ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLOPT lib/cObj.ml ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLC lib/cStack.mli ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLOPT lib/monad.ml ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLOPT tools/tolink.ml ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLC lib/system.mli OCAMLOPT lib/trie.ml OCAMLOPT lib/cThread.ml OCAMLOPT lib/predicate.ml ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLC lib/explore.mli ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLC lib/rtree.mli ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLOPT lib/unionfind.ml OCAMLOPT lib/heap.ml ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLC lib/genarg.mli ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLOPT kernel/uint31.ml OCAMLC kernel/evar.mli OCAMLOPT lib/cEphemeron.ml ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLOPT kernel/copcodes.ml OCAMLOPT kernel/primitives.ml ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLOPT intf/decl_kinds.ml ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLOPT parsing/tok.ml ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLC library/states.mli OCAMLC library/kindops.mli OCAMLC interp/ppextend.mli OCAMLOPT tactics/dnet.ml ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLC vernac/locality.mli ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLOPT toplevel/usage.ml OCAMLC stm/vcs.mli OCAMLOPT plugins/fourier/fourier.ml ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLOPT plugins/micromega/sos_types.ml OCAMLOPT plugins/micromega/micromega.ml OCAMLC plugins/nsatz/ideal.mli OCAMLOPT checker/values.ml ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLC checker/validate.ml OCAMLOPT plugins/micromega/sos_lib.ml OCAMLC plugins/micromega/sos.mli ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLOPT ide/xml_printer.ml OCAMLOPT ide/xml_lexer.ml OCAMLC ide/serialize.mli ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLOPT tools/gallina_lexer.ml OCAMLC tools/gallina.ml ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLOPT tools/coq_tex.ml ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLOPT tools/coqdoc/cdglobals.ml OCAMLC tools/coqdoc/index.mli OCAMLC tools/coqdoc/cpretty.mli OCAMLOPT tools/coqwc.ml OCAMLC tools/coqc.ml ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLOPT ide/utils/configwin_messages.ml ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLC ide/utils/configwin_ihm.mli ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLOPT ide/tags.ml OCAMLC ide/gtk_parsing.ml OCAMLOPT ide/utf8_convert.ml OCAMLC ide/coq_lex.ml ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLOPT ide/coq_commands.ml ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLOPT ide/wg_Detachable.ml OCAMLC lib/int.mli OCAMLOPT lib/cMap.ml ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLC lib/hMap.mli ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLC lib/cSet.mli ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLOPT lib/exninfo.ml ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLC lib/cAst.mli ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLC lib/aux_file.mli OCAMLC lib/stateid.mli OCAMLC lib/cWarnings.mli OCAMLC lib/cErrors.mli OCAMLC lib/cString.mli ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLC printing/genprint.mli OCAMLOPT checker/validate.ml OCAMLC plugins/micromega/mutils.ml OCAMLOPT plugins/micromega/sos.ml OCAMLOPT ide/xml_parser.ml ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLOPT tools/gallina.ml ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLBEST -o bin/coqwc OCAMLBEST -o bin/coq-tex ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLC tools/coqdoc/tokens.mli OCAMLC tools/coqdoc/output.mli ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLOPT tools/coqdoc/alpha.ml ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLOPT ide/coq_lex.ml ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLOPT lib/int.ml ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLOPT lib/backtrace.ml OCAMLOPT lib/loc.ml ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLC lib/util.mli OCAMLC lib/feedback.mli OCAMLC tools/coqmktop.ml ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf cd kernel/byterun/ && \ "/usr/pkg/bin/ocamlfind" ocamlmklib -oc coqrun coq_fix_code.o coq_memory.o coq_values.o coq_interp.o OCAMLC parsing/cLexer.mli ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLC plugins/micromega/polynomial.ml OCAMLC plugins/micromega/csdpcert.ml OCAMLC plugins/micromega/persistent_cache.ml ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLC ide/document.mli ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLC tools/coq_makefile.ml OCAMLOPT tools/coqdoc/index.ml OCAMLC tools/coqdoc/main.ml OCAMLBEST -o bin/gallina OCAMLC ide/config_lexer.ml ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLC ide/ideutils.mli OCAMLC ide/preferences.mli ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLOPT ide/sentence.ml ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLC tools/coqdep.ml OCAMLOPT lib/hashset.ml ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLOPT lib/dyn.ml OCAMLOPT lib/hMap.ml ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLOPT lib/flags.ml ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLOPT lib/cAst.ml OCAMLOPT lib/deque.ml ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLOPT lib/cList.ml OCAMLOPT lib/pp.ml OCAMLOPT lib/bigint.ml OCAMLC kernel/esubst.mli OCAMLC kernel/names.mli ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLOPT kernel/evar.ml ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLC vernac/explainErr.mli OCAMLC intf/extend.ml OCAMLC vernac/topfmt.mli OCAMLOPT stm/dag.ml ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLC stm/asyncTaskQueue.mli OCAMLC plugins/omega/omega.ml ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLOPT plugins/micromega/mutils.ml OCAMLC plugins/micromega/mfourier.ml OCAMLC checker/names.mli OCAMLC checker/esubst.mli ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLC ide/interface.mli ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLOPT tools/coqdoc/tokens.ml OCAMLC ide/fileOps.mli OCAMLC ide/wg_MessageView.mli ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLC ide/coqide_ui.ml OCAMLOPT lib/control.ml ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLOPT lib/hashcons.ml ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLOPT lib/stateid.ml ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLC kernel/univ.mli ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLC kernel/conv_oracle.mli ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLC library/libnames.mli ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLC library/loadpath.mli OCAMLOPT interp/ppextend.ml ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLOPT stm/coqworkmgrApi.ml ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLC toplevel/coqinit.mli ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLC checker/univ.mli ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLOPT lib/cArray.ml ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLOPT lib/cErrors.ml OCAMLOPT lib/cStack.ml ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLOPT plugins/micromega/polynomial.ml ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLOPT tools/coqdoc/output.ml OCAMLC ide/xmlprotocol.mli OCAMLOPT plugins/micromega/csdpcert.ml OCAMLC ide/coq.mli ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLC ide/wg_ProofView.mli ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLC kernel/uGraph.mli ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLC kernel/sorts.mli ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLC library/dischargedhypsmap.mli ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLC checker/cic.mli OCAMLOPT ide/document.ml OCAMLOPT lib/cSet.ml ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLOPT lib/cString.ml OCAMLOPT lib/feedback.ml ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLOPT stm/workerLoop.ml OCAMLC tools/fake_ide.ml OCAMLOPT tools/coqworkmgr.ml OCAMLC ide/wg_Completion.mli OCAMLOPT lib/profile.ml OCAMLOPT lib/spawn.ml OCAMLOPT lib/future.ml ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLOPT lib/remoteCounter.ml ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLC kernel/constr.mli ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLOPT library/kindops.ml OCAMLOPT stm/tQueue.ml ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLOPT plugins/micromega/persistent_cache.ml OCAMLC checker/print.ml ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLC checker/term.mli ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLOPT stm/workerPool.ml OCAMLC checker/declarations.mli ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLC checker/environ.mli ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLOPT ide/serialize.ml OCAMLOPT lib/cUnix.ml OCAMLOPT lib/util.ml OCAMLOPT lib/explore.ml ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLC kernel/context.mli OCAMLOPT lib/cWarnings.ml OCAMLC ide/wg_ScriptView.mli OCAMLOPT stm/vcs.ml ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLOPT plugins/micromega/mfourier.ml OCAMLOPT plugins/nsatz/utile.ml ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLOPT stm/spawned.ml ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLC checker/reduction.mli OCAMLC checker/closure.mli ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLC checker/type_errors.mli ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLC checker/modops.mli ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLC checker/inductive.mli ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLC checker/typeops.mli OCAMLC checker/indtypes.mli OCAMLC checker/subtyping.mli ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLC checker/mod_checking.mli ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLC checker/safe_typing.mli OCAMLOPT tools/coqdoc/cpretty.ml OCAMLC ide/coqOps.mli OCAMLOPT lib/aux_file.ml ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLOPT lib/coqProject_file.ml ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLC kernel/term.mli OCAMLC kernel/vars.mli ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLOPT lib/genarg.ml OCAMLOPT lib/system.ml OCAMLOPT kernel/esubst.ml OCAMLOPT library/summary.ml ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLOPT engine/logic_monad.ml OCAMLOPT lib/envars.ml OCAMLOPT kernel/names.ml ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLOPT tactics/dn.ml OCAMLOPT parsing/cLexer.ml ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLOPT lib/rtree.ml ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLOPT vernac/topfmt.ml OCAMLOPT plugins/omega/omega.ml ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLOPT plugins/nsatz/polynom.ml ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLOPT checker/names.ml ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLOPT checker/esubst.ml ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLC checker/check.ml ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLOPT ide/richpp.ml ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLOPT ide/wg_Notebook.ml OCAMLOPT ide/config_lexer.ml OCAMLC ide/wg_Command.mli OCAMLOPT -a -o lib/clib.cmxa OCAMLOPT tools/coqmktop.ml ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLC kernel/mod_subst.mli OCAMLC intf/misctypes.ml OCAMLC kernel/cbytecodes.mli OCAMLC library/nameops.mli ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLC kernel/nativevalues.mli ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLOPT printing/genprint.ml ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLOPT tools/coqdep.ml OCAMLC checker/checker.ml OCAMLOPT tools/coq_makefile.ml ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLOPT tools/coqdoc/main.ml OCAMLOPT ide/minilib.ml ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLC ide/session.mli OCAMLOPT tools/coqc.ml OCAMLOPT -a -o lib/lib.cmxa ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLC kernel/nativeinstr.mli OCAMLC kernel/vm.mli ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLC library/globnames.mli OCAMLC library/libobject.mli OCAMLC library/goptions.mli OCAMLC intf/locus.ml ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLC proofs/miscprint.mli ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLOPT intf/extend.ml ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLOPT plugins/nsatz/ideal.ml OCAMLC tactics/term_dnet.mli OCAMLBEST -o plugins/micromega/csdpcert OCAMLOPT checker/univ.ml ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLOPT ide/xmlprotocol.ml ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLBEST -o bin/coqworkmgr ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLOPT ide/gtk_parsing.ml OCAMLOPT ide/utils/configwin_ihm.ml OCAMLC ide/nanoPG.ml OCAMLBEST -o bin/coqmktop OCAMLC kernel/cemitcodes.mli OCAMLOPT kernel/univ.ml ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLC kernel/opaqueproof.mli ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLOPT kernel/conv_oracle.ml OCAMLC kernel/retroknowledge.mli OCAMLOPT library/libnames.ml ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLC library/nametab.mli ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLOPT library/nameops.ml OCAMLC intf/evar_kinds.ml ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLC library/lib.mli ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLC library/library.mli OCAMLC library/keys.mli OCAMLC library/coqlib.mli ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLC pretyping/locusops.mli OCAMLC interp/smartlocate.mli ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLC plugins/extraction/miniml.mli ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLBEST -o bin/coqdep OCAMLBEST -o bin/coq_makefile OCAMLBEST -o bin/coqdoc OCAMLBEST -o bin/coqc ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLC kernel/declarations.ml ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLOPT library/loadpath.ml ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLOPT library/dischargedhypsmap.ml OCAMLOPT checker/term.ml ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLOPT checker/print.ml ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLC plugins/extraction/modutil.mli OCAMLC plugins/extraction/common.mli OCAMLC plugins/extraction/ocaml.mli ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLC plugins/extraction/haskell.mli OCAMLC plugins/extraction/scheme.mli ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLC plugins/extraction/extract_env.mli ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLC plugins/extraction/json.mli OCAMLOPT tools/fake_ide.ml ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLOPT kernel/uGraph.ml ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLOPT kernel/sorts.ml ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLC kernel/entries.mli OCAMLC kernel/pre_env.mli ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLC library/univops.mli ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLOPT checker/declarations.ml ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLC kernel/declareops.mli OCAMLC vernac/discharge.mli OCAMLC kernel/cbytegen.mli OCAMLC kernel/environ.mli OCAMLC kernel/nativelambda.mli OCAMLC kernel/csymtable.mli ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLOPT ide/utils/configwin.ml ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLOPT kernel/constr.ml ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLC kernel/nativecode.mli OCAMLC kernel/reduction.mli OCAMLC kernel/cClosure.mli OCAMLC kernel/modops.mli OCAMLC kernel/inductive.mli OCAMLC kernel/type_errors.mli OCAMLC kernel/indtypes.mli OCAMLC kernel/cooking.mli OCAMLC kernel/subtyping.mli OCAMLC kernel/typeops.mli ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLC kernel/mod_typing.mli OCAMLC engine/universes.mli OCAMLC library/decls.mli ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLC library/heads.mli OCAMLC pretyping/arguments_renaming.mli OCAMLC plugins/extraction/table.mli ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLC printing/printmod.mli ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLC plugins/extraction/extraction.mli ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLOPT checker/environ.ml OCAMLOPT ide/preferences.ml OCAMLC kernel/nativeconv.mli OCAMLC kernel/nativelib.mli OCAMLC kernel/term_typing.mli ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLC kernel/safe_typing.mli OCAMLC kernel/nativelibrary.mli OCAMLC kernel/vconv.mli ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLC plugins/extraction/mlutil.mli ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLC engine/uState.mli OCAMLC library/global.mli OCAMLC interp/declare.mli OCAMLOPT kernel/context.ml OCAMLOPT checker/closure.ml ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLOPT checker/type_errors.ml ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLOPT checker/modops.ml ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLC engine/evd.mli ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLC engine/eConstr.mli OCAMLC engine/proofview_monad.mli OCAMLC tactics/ind_tables.mli OCAMLC pretyping/indrec.mli ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLOPT kernel/vars.ml OCAMLC tactics/eqschemes.mli OCAMLC tactics/elimschemes.mli OCAMLC vernac/auto_ind_decl.mli OCAMLC engine/termops.mli OCAMLC engine/namegen.mli OCAMLC engine/evarutil.mli ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLC engine/proofview.mli OCAMLC intf/pattern.ml OCAMLC pretyping/reductionops.mli OCAMLC pretyping/pretype_errors.mli ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLC pretyping/inductiveops.mli OCAMLC pretyping/vnorm.mli OCAMLC pretyping/nativenorm.mli ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLC pretyping/retyping.mli ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLC pretyping/cbv.mli OCAMLC pretyping/evardefine.mli ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLC pretyping/typing.mli OCAMLC pretyping/classops.mli ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLC pretyping/program.mli OCAMLC proofs/goal.mli OCAMLC plugins/firstorder/formula.mli ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLC plugins/firstorder/unify.mli OCAMLOPT checker/reduction.ml ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLOPT ide/ideutils.ml OCAMLOPT ide/coqide_ui.ml OCAMLC pretyping/find_subterm.mli OCAMLC pretyping/evarsolve.mli ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLOPT kernel/term.ml ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLC pretyping/tacred.mli OCAMLC pretyping/constr_matching.mli OCAMLC proofs/refine.mli ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLC pretyping/recordops.mli OCAMLC tactics/btermdn.mli ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLC tactics/hipattern.mli OCAMLC tactics/contradiction.mli ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLC tactics/eqdecide.mli ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLC vernac/search.mli OCAMLC plugins/cc/ccalgo.mli ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLC plugins/romega/const_omega.mli OCAMLC plugins/nsatz/nsatz.mli ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLC engine/ftactic.mli ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLC pretyping/evarconv.mli OCAMLC proofs/proof_type.mli ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLC plugins/cc/ccproof.mli OCAMLC engine/geninterp.mli ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLC proofs/logic.mli OCAMLC proofs/refiner.mli OCAMLOPT kernel/cbytecodes.ml OCAMLOPT kernel/nativevalues.ml OCAMLOPT kernel/mod_subst.ml ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLOPT checker/inductive.ml OCAMLOPT intf/misctypes.ml ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLC plugins/cc/cctac.mli OCAMLC intf/glob_term.ml ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLOPT ide/wg_Segment.ml OCAMLOPT ide/wg_MessageView.ml OCAMLOPT ide/wg_Find.ml OCAMLOPT ide/fileOps.ml OCAMLOPT ide/coq.ml ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLC intf/constrexpr.ml OCAMLC pretyping/glob_ops.mli OCAMLC pretyping/coercion.mli OCAMLC pretyping/patternops.mli OCAMLC pretyping/detyping.mli OCAMLC pretyping/cases.mli ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLOPT intf/locus.ml OCAMLOPT proofs/miscprint.ml ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLOPT kernel/retroknowledge.ml OCAMLOPT kernel/vm.ml OCAMLC intf/genredexpr.ml OCAMLC intf/notation_term.ml OCAMLC intf/tactypes.ml OCAMLC pretyping/typeclasses_errors.mli OCAMLC interp/constrexpr_ops.mli OCAMLC interp/impargs.mli ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLC interp/topconstr.mli OCAMLC interp/modintern.mli ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLC proofs/proof.mli ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLC printing/ppconstr.mli OCAMLC printing/prettyp.mli OCAMLC tactics/leminv.mli ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLC plugins/funind/glob_term_to_relation.mli ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLC plugins/derive/derive.mli OCAMLOPT checker/typeops.ml ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLOPT kernel/cemitcodes.ml ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLOPT kernel/opaqueproof.ml ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLOPT library/globnames.ml ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLOPT library/libobject.ml OCAMLOPT pretyping/locusops.ml OCAMLC intf/vernacexpr.ml OCAMLC pretyping/miscops.mli OCAMLC pretyping/redops.mli OCAMLC pretyping/pretyping.mli OCAMLC interp/stdarg.mli ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLC interp/genintern.mli OCAMLC interp/notation.mli ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLC interp/notation_ops.mli ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLC interp/syntax_def.mli ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLC interp/reserve.mli ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLC proofs/redexpr.mli OCAMLC parsing/egramcoq.mli OCAMLC printing/pputils.mli ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLC printing/printer.mli OCAMLC tactics/equality.mli OCAMLC tactics/inv.mli OCAMLC vernac/himsg.mli OCAMLC plugins/funind/glob_termops.mli ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLC plugins/micromega/certificate.ml ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLOPT checker/indtypes.ml ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLOPT checker/subtyping.ml OCAMLOPT ide/wg_ProofView.ml OCAMLOPT ide/wg_Completion.ml ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLOPT ide/wg_Command.ml ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLC library/declaremods.mli OCAMLOPT kernel/declarations.ml ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLC pretyping/typeclasses.mli ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLC pretyping/unification.mli ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLC interp/dumpglob.mli ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLC interp/implicit_quantifiers.mli ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLC interp/constrintern.mli OCAMLC interp/constrextern.mli ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLC proofs/proof_using.mli OCAMLC proofs/evar_refiner.mli ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLC proofs/tacmach.mli OCAMLC proofs/proof_global.mli OCAMLC parsing/pcoq.mli OCAMLC printing/ppvernac.mli ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLC vernac/vernacprop.mli OCAMLC vernac/indschemes.mli OCAMLC vernac/classes.mli OCAMLC vernac/record.mli OCAMLC vernac/assumptions.mli OCAMLC vernac/vernacinterp.mli OCAMLC vernac/mltop.mli ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLC stm/vernac_classifier.mli OCAMLC toplevel/vernac.mli OCAMLC plugins/ltac/tacexpr.mli OCAMLC plugins/rtauto/refl_tauto.mli OCAMLC plugins/funind/functional_principles_types.mli OCAMLOPT kernel/declareops.ml ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLOPT library/nametab.ml OCAMLOPT library/univops.ml OCAMLOPT intf/evar_kinds.ml OCAMLC proofs/pfedit.mli OCAMLC parsing/egramml.mli OCAMLC proofs/clenv.mli OCAMLC tactics/tacticals.mli OCAMLC vernac/lemmas.mli ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLC vernac/metasyntax.mli ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLC vernac/vernacentries.mli ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLC stm/stm.mli OCAMLC toplevel/coqloop.mli OCAMLC parsing/g_prim.ml OCAMLC parsing/g_constr.ml ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLC plugins/syntax/nat_syntax.ml ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLC plugins/syntax/z_syntax.ml OCAMLC plugins/setoid_ring/newring_ast.mli OCAMLC plugins/funind/indfun_common.mli ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLC plugins/funind/indfun.mli OCAMLC plugins/syntax/r_syntax.ml OCAMLC plugins/syntax/int31_syntax.ml ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLC plugins/derive/g_derive.ml OCAMLC plugins/syntax/ascii_syntax.ml ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLC plugins/ssr/ssrparser.mli OCAMLOPT checker/mod_checking.ml OCAMLOPT ide/wg_ScriptView.ml ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLOPT kernel/pre_env.ml ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLC tactics/tactics.mli OCAMLC proofs/clenvtac.mli ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLC tactics/elim.mli ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLC tactics/hints.mli OCAMLC tactics/autorewrite.mli ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLC vernac/class.mli OCAMLC vernac/declareDef.mli ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLC vernac/obligations.mli OCAMLC vernac/command.mli OCAMLC stm/proofBlockDelimiter.mli OCAMLC parsing/g_vernac.ml ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLC stm/proofworkertop.ml ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLC stm/tacworkertop.ml ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLC stm/queryworkertop.ml OCAMLC plugins/ltac/tacarg.mli ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLC plugins/ltac/pptactic.mli OCAMLC plugins/ltac/pltac.mli OCAMLC plugins/ltac/taccoerce.mli ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLC plugins/ltac/tacsubst.mli OCAMLC plugins/ltac/tacenv.mli ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLC plugins/ltac/tactic_debug.mli OCAMLC plugins/ltac/tacintern.mli ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLC plugins/ltac/profile_ltac.mli OCAMLC plugins/ltac/tactic_matching.mli OCAMLC plugins/ltac/tactic_option.mli ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLC plugins/ltac/extratactics.mli OCAMLC plugins/firstorder/sequent.mli OCAMLC plugins/quote/quote.ml ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLC plugins/setoid_ring/newring.mli ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLC plugins/omega/coq_omega.ml OCAMLC plugins/funind/recdef.mli ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLC plugins/funind/functional_principles_proofs.mli ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLC plugins/funind/merge.ml OCAMLC plugins/fourier/fourierR.ml OCAMLC plugins/micromega/coq_micromega.ml ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLC -pack -o plugins/syntax/ascii_syntax_plugin.cmo OCAMLC plugins/btauto/refl_btauto.ml ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLOPT checker/safe_typing.ml ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLC ide/ide_slave.ml OCAMLOPT ide/coqOps.ml OCAMLOPT kernel/cbytegen.ml ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLOPT kernel/nativelambda.ml ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLOPT library/lib.ml ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLC tactics/auto.mli ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLC tactics/eauto.mli OCAMLC tactics/class_tactics.mli ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLC plugins/ltac/tacentries.mli ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLC plugins/ltac/tacinterp.mli OCAMLC plugins/ltac/tacarg.ml OCAMLC plugins/ltac/pptactic.ml OCAMLC plugins/ltac/pltac.ml OCAMLC plugins/ltac/taccoerce.ml ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLC plugins/ltac/tacenv.ml OCAMLC plugins/ltac/tacsubst.ml ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLC plugins/ltac/tactic_debug.ml ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLC plugins/ltac/tacintern.ml OCAMLC plugins/ltac/tacentries.ml ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLC plugins/ltac/tactic_matching.ml OCAMLC plugins/ltac/tacinterp.ml OCAMLC plugins/ltac/profile_ltac.ml OCAMLC plugins/ltac/tactic_option.ml ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLC plugins/firstorder/rules.mli ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLC plugins/firstorder/ground.mli ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLC plugins/syntax/string_syntax.ml ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf File "plugins/ltac/tacentries.ml", line 219, characters 8-9: Warning 56: this match case is unreachable. Consider replacing it with a refutation case ' -> .' ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLC plugins/ssrmatching/ssrmatching.mli OCAMLOPT checker/check.ml ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLOPT checker/check_stat.ml ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLOPT kernel/environ.ml OCAMLOPT kernel/nativecode.ml OCAMLOPT library/keys.ml OCAMLOPT library/goptions.ml ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLOPT vernac/locality.ml ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLC parsing/g_proofs.ml OCAMLC plugins/ltac/evar_tactics.mli OCAMLC plugins/ltac/extraargs.mli OCAMLC plugins/ltac/profile_ltac_tactics.ml ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLC plugins/ltac/g_auto.ml ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLC plugins/ltac/g_class.ml ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLC plugins/ltac/rewrite.mli ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLC plugins/ltac/g_eqdecide.ml OCAMLC plugins/firstorder/instances.mli OCAMLOPT ide/session.ml OCAMLC plugins/ltac/g_ltac.ml ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLC plugins/ltac/evar_tactics.ml ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLC plugins/ltac/extraargs.ml ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLC plugins/ltac/extratactics.ml ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLC plugins/ltac/rewrite.ml OCAMLOPT checker/checker.ml ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLC plugins/ltac/coretactics.ml OCAMLC plugins/ltac/g_rewrite.ml OCAMLC plugins/ltac/g_obligations.ml OCAMLC plugins/ltac/g_tactic.ml ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLOPT plugins/rtauto/proof_search.ml OCAMLOPT kernel/modops.ml OCAMLOPT kernel/cClosure.ml OCAMLOPT kernel/csymtable.ml ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLOPT -a -o checker/check.cmxa ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLOPT kernel/nativelib.ml OCAMLOPT kernel/nativelibrary.ml ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLOPT ide/nanoPG.ml OCAMLOPT kernel/reduction.ml ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLOPT -o bin/coqchk ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLC -pack -o plugins/ltac/ltac_plugin.cmo ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLOPT ide/coqide.ml ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLOPT kernel/type_errors.ml OCAMLOPT kernel/vconv.ml OCAMLOPT kernel/nativeconv.ml ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLC plugins/firstorder/g_ground.ml ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLC plugins/quote/g_quote.ml OCAMLC plugins/setoid_ring/g_newring.ml OCAMLC plugins/omega/g_omega.ml OCAMLC plugins/cc/g_congruence.ml OCAMLC plugins/funind/invfun.ml OCAMLC plugins/micromega/g_micromega.ml OCAMLC plugins/fourier/g_fourier.ml OCAMLC plugins/extraction/g_extraction.ml ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLC plugins/btauto/g_btauto.ml OCAMLC plugins/nsatz/g_nsatz.ml ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf true bin/coqchk true bin/coqchk OCAMLC plugins/rtauto/g_rtauto.ml ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLC plugins/ssrmatching/ssrmatching.ml OCAMLOPT kernel/inductive.ml ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLC -pack -o plugins/omega/omega_plugin.cmo ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLC plugins/romega/refl_omega.ml OCAMLC plugins/funind/g_indfun.ml ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLOPT kernel/typeops.ml OCAMLC plugins/romega/g_romega.ml ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLOPT -a -o ide/ide.cmxa ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLC -pack -o plugins/ssrmatching/ssrmatching_plugin.cmo ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLOPT kernel/indtypes.ml OCAMLOPT kernel/subtyping.ml OCAMLOPT kernel/cooking.ml ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLC plugins/ssr/ssrast.mli OCAMLOPT -o bin/coqide ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLC plugins/ssr/ssrprinters.mli OCAMLC plugins/ssr/ssrtacticals.mli OCAMLC plugins/ssr/ssrelim.mli OCAMLC plugins/ssr/ssrbwd.mli OCAMLC plugins/ssr/ssrequality.mli OCAMLC plugins/ssr/ssrcommon.mli OCAMLC plugins/ssr/ssrfwd.mli ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLOPT kernel/mod_typing.ml ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLC plugins/ssr/ssrview.mli OCAMLC plugins/ssr/ssripats.mli ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLOPT kernel/term_typing.ml ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLOPT kernel/safe_typing.ml ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLOPT -a -o kernel/kernel.cmxa OCAMLOPT library/global.ml ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf true bin/coqide OCAMLOPT library/decls.ml OCAMLOPT engine/universes.ml ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLOPT library/heads.ml ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLOPT stm/asyncTaskQueue.ml OCAMLOPT engine/uState.ml ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLOPT engine/evd.ml ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLOPT engine/proofview_monad.ml OCAMLOPT engine/eConstr.ml ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLOPT engine/namegen.ml OCAMLOPT pretyping/pretype_errors.ml OCAMLOPT intf/pattern.ml ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLOPT engine/termops.ml ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLOPT pretyping/find_subterm.ml OCAMLOPT vernac/discharge.ml OCAMLOPT tactics/term_dnet.ml OCAMLOPT engine/evarutil.ml ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLOPT pretyping/reductionops.ml OCAMLOPT engine/proofview.ml ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLOPT engine/ftactic.ml ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLOPT engine/geninterp.ml ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLOPT -a -o engine/engine.cmxa OCAMLOPT interp/stdarg.ml OCAMLOPT intf/glob_term.ml ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLOPT intf/constrexpr.ml OCAMLOPT plugins/ltac/tacarg.ml OCAMLOPT parsing/pcoq.ml ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLOPT pretyping/cbv.ml OCAMLOPT pretyping/evardefine.ml OCAMLOPT pretyping/recordops.ml OCAMLOPT pretyping/inductiveops.ml OCAMLOPT plugins/firstorder/unify.ml ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLOPT intf/tactypes.ml OCAMLOPT intf/notation_term.ml OCAMLOPT intf/genredexpr.ml OCAMLOPT pretyping/typeclasses_errors.ml ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLOPT intf/vernacexpr.ml OCAMLOPT pretyping/redops.ml OCAMLOPT printing/pputils.ml OCAMLOPT pretyping/miscops.ml ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLOPT plugins/ltac/pltac.ml OCAMLOPT parsing/g_prim.ml ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLOPT library/declaremods.ml OCAMLOPT -a -o intf/intf.cmxa OCAMLOPT proofs/proof_using.ml OCAMLOPT parsing/egramml.ml OCAMLOPT vernac/vernacprop.ml ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLOPT vernac/mltop.ml ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLOPT interp/constrexpr_ops.ml ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLOPT pretyping/arguments_renaming.ml OCAMLOPT pretyping/glob_ops.ml ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLOPT pretyping/vnorm.ml ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLOPT pretyping/nativenorm.ml ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLOPT pretyping/indrec.ml ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLOPT interp/impargs.ml OCAMLOPT pretyping/retyping.ml OCAMLOPT vernac/vernacinterp.ml ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLOPT parsing/g_constr.ml ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLOPT library/library.ml ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLOPT pretyping/patternops.ml OCAMLOPT pretyping/evarsolve.ml ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLOPT library/coqlib.ml OCAMLOPT library/states.ml ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLOPT pretyping/constr_matching.ml OCAMLOPT tactics/btermdn.ml ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLOPT -a -o library/library.cmxa OCAMLOPT pretyping/program.ml ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLOPT pretyping/evarconv.ml ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLOPT plugins/ltac/tactic_matching.ml OCAMLOPT pretyping/detyping.ml ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLOPT interp/genintern.ml ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLOPT interp/notation_ops.ml ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLOPT pretyping/typing.ml ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLOPT pretyping/tacred.ml ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLOPT interp/reserve.ml ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLOPT pretyping/classops.ml OCAMLOPT proofs/redexpr.ml OCAMLOPT plugins/ltac/taccoerce.ml OCAMLOPT pretyping/typeclasses.ml ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLOPT proofs/goal.ml OCAMLOPT interp/dumpglob.ml OCAMLOPT pretyping/coercion.ml OCAMLOPT interp/notation.ml ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLOPT proofs/logic.ml ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLOPT proofs/refine.ml OCAMLOPT pretyping/cases.ml ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLOPT interp/syntax_def.ml OCAMLOPT plugins/syntax/z_syntax.ml OCAMLOPT plugins/syntax/nat_syntax.ml OCAMLOPT interp/declare.ml OCAMLOPT plugins/syntax/ascii_syntax.ml OCAMLOPT plugins/syntax/int31_syntax.ml OCAMLOPT plugins/syntax/r_syntax.ml ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLOPT proofs/refiner.ml ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLOPT -pack -o plugins/syntax/nat_syntax_plugin.cmx ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLOPT -pack -o plugins/syntax/ascii_syntax_plugin.cmx ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLOPT -pack -o plugins/syntax/r_syntax_plugin.cmx OCAMLOPT -pack -o plugins/syntax/int31_syntax_plugin.cmx ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLOPT interp/smartlocate.ml OCAMLOPT -pack -o plugins/syntax/z_syntax_plugin.cmx OCAMLOPT -shared -o plugins/syntax/nat_syntax_plugin.cmxs ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLOPT -shared -o plugins/syntax/ascii_syntax_plugin.cmxs OCAMLOPT plugins/syntax/string_syntax.ml ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLOPT -shared -o plugins/syntax/r_syntax_plugin.cmxs ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLOPT -shared -o plugins/syntax/int31_syntax_plugin.cmxs ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLOPT tactics/ind_tables.ml OCAMLOPT -shared -o plugins/syntax/z_syntax_plugin.cmxs ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLOPT interp/topconstr.ml ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLOPT -pack -o plugins/syntax/string_syntax_plugin.cmx ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLOPT -shared -o plugins/syntax/string_syntax_plugin.cmxs ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLOPT tactics/elimschemes.ml OCAMLOPT tactics/eqschemes.ml ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLOPT interp/implicit_quantifiers.ml OCAMLOPT parsing/egramcoq.ml ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLOPT pretyping/pretyping.ml ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLOPT -a -o parsing/parsing.cmxa ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLOPT interp/constrintern.ml OCAMLOPT proofs/evar_refiner.ml OCAMLOPT pretyping/unification.ml ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLOPT interp/constrextern.ml OCAMLOPT interp/modintern.ml OCAMLOPT proofs/tacmach.ml OCAMLOPT vernac/metasyntax.ml OCAMLOPT proofs/proof.ml ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLOPT -a -o pretyping/pretyping.cmxa ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLOPT proofs/proof_global.ml OCAMLOPT plugins/micromega/certificate.ml ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLOPT tactics/hipattern.ml OCAMLOPT plugins/cc/ccalgo.ml OCAMLOPT plugins/romega/const_omega.ml OCAMLOPT proofs/clenv.ml ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLOPT stm/vernac_classifier.ml OCAMLOPT proofs/pfedit.ml OCAMLOPT plugins/derive/derive.ml OCAMLOPT -a -o interp/interp.cmxa OCAMLOPT printing/ppconstr.ml ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLOPT plugins/firstorder/formula.ml ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLOPT proofs/clenvtac.ml ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLOPT plugins/cc/ccproof.ml ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLOPT tactics/tacticals.ml ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLOPT vernac/search.ml OCAMLOPT -a -o proofs/proofs.cmxa OCAMLOPT plugins/derive/g_derive.ml ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLOPT -pack -o plugins/derive/derive_plugin.cmx ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLOPT printing/ppvernac.ml OCAMLOPT printing/printer.ml ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLOPT -shared -o plugins/derive/derive_plugin.cmxs ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLOPT printing/printmod.ml OCAMLOPT tactics/hints.ml OCAMLOPT vernac/himsg.ml OCAMLOPT vernac/assumptions.ml OCAMLOPT plugins/ltac/pptactic.ml OCAMLOPT tactics/tactics.ml ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLOPT plugins/extraction/table.ml OCAMLOPT plugins/ltac/tacsubst.ml ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLOPT printing/prettyp.ml ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLOPT plugins/ltac/tacenv.ml OCAMLOPT plugins/extraction/mlutil.ml ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLOPT -a -o printing/printing.cmxa ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLOPT vernac/explainErr.ml ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLOPT plugins/ltac/tacintern.ml ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLOPT plugins/firstorder/sequent.ml ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLOPT plugins/ltac/tactic_debug.ml ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLOPT plugins/extraction/extraction.ml OCAMLOPT plugins/extraction/common.ml OCAMLOPT plugins/extraction/modutil.ml ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLOPT plugins/extraction/haskell.ml OCAMLOPT plugins/ltac/tacentries.ml OCAMLOPT plugins/extraction/scheme.ml OCAMLOPT plugins/extraction/json.ml OCAMLOPT plugins/extraction/ocaml.ml ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf File "plugins/ltac/tacentries.ml", line 219, characters 8-9: Warning 56: this match case is unreachable. Consider replacing it with a refutation case ' -> .' OCAMLOPT tactics/equality.ml OCAMLOPT tactics/contradiction.ml OCAMLOPT tactics/leminv.ml OCAMLOPT tactics/auto.ml OCAMLOPT vernac/lemmas.ml OCAMLOPT plugins/firstorder/rules.ml OCAMLOPT tactics/elim.ml OCAMLOPT plugins/quote/quote.ml OCAMLOPT plugins/btauto/refl_btauto.ml OCAMLOPT plugins/micromega/coq_micromega.ml ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLOPT plugins/nsatz/nsatz.ml ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLOPT plugins/firstorder/instances.ml ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLOPT vernac/declareDef.ml OCAMLOPT vernac/class.ml OCAMLOPT tactics/eauto.ml ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLOPT vernac/obligations.ml ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLOPT tactics/eqdecide.ml OCAMLOPT tactics/autorewrite.ml OCAMLOPT vernac/auto_ind_decl.ml OCAMLOPT plugins/cc/cctac.ml OCAMLOPT tactics/inv.ml OCAMLOPT plugins/omega/coq_omega.ml OCAMLOPT plugins/funind/indfun_common.ml OCAMLOPT plugins/fourier/fourierR.ml ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLOPT tactics/class_tactics.ml ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLOPT plugins/funind/glob_termops.ml ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLOPT vernac/indschemes.ml ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLOPT vernac/command.ml ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLOPT -a -o tactics/tactics.cmxa ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLOPT vernac/classes.ml OCAMLOPT plugins/funind/merge.ml OCAMLOPT plugins/funind/glob_term_to_relation.ml ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLOPT vernac/record.ml ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLOPT vernac/vernacentries.ml ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLOPT stm/stm.ml OCAMLOPT plugins/extraction/extract_env.ml OCAMLOPT -a -o vernac/vernac.cmxa ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLOPT stm/vio_checking.ml OCAMLOPT toplevel/vernac.ml OCAMLOPT plugins/ltac/profile_ltac.ml OCAMLOPT stm/proofBlockDelimiter.ml ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLOPT -a -o stm/stm.cmxa ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLOPT toplevel/coqinit.ml OCAMLOPT toplevel/coqloop.ml ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLOPT plugins/ltac/profile_ltac_tactics.ml OCAMLOPT plugins/ltac/tacinterp.ml ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLOPT parsing/g_vernac.ml ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLOPT toplevel/coqtop.ml ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLOPT stm/tacworkertop.ml OCAMLOPT stm/proofworkertop.ml OCAMLOPT stm/queryworkertop.ml OCAMLOPT -a -o toplevel/toplevel.cmxa OCAMLOPT ide/ide_slave.ml ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLOPT -shared -o stm/queryworkertop.cmxs OCAMLOPT -shared -o stm/tacworkertop.cmxs ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLOPT -shared -o stm/proofworkertop.cmxs ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLOPT -a -o ide/coqidetop.cmxa ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLOPT -shared -o ide/coqidetop.cmxs ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLBEST -o bin/fake_ide ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLOPT plugins/ltac/tactic_option.ml OCAMLOPT plugins/ltac/extraargs.ml OCAMLOPT plugins/ltac/g_auto.ml OCAMLOPT plugins/ltac/g_class.ml OCAMLOPT plugins/ltac/evar_tactics.ml OCAMLOPT plugins/ltac/rewrite.ml OCAMLOPT plugins/ltac/g_eqdecide.ml ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLOPT parsing/g_proofs.ml ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLOPT plugins/ltac/g_ltac.ml OCAMLOPT -a -o parsing/highparsing.cmxa ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLOPT plugins/ltac/coretactics.ml OCAMLOPT plugins/ltac/extratactics.ml OCAMLOPT plugins/ltac/g_tactic.ml OCAMLOPT plugins/ltac/g_obligations.ml ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf COQMKTOP -o bin/coqtop findlib: [WARNING] Interface profile.cmi occurs in several directories: /usr/pkg/lib/ocaml/compiler-libs, lib findlib: [WARNING] Interface topdirs.cmi occurs in several directories: /usr/pkg/lib/ocaml/compiler-libs, /usr/pkg/lib/ocaml ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLOPT plugins/ltac/g_rewrite.ml ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLOPT -pack -o plugins/ltac/ltac_plugin.cmx ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLOPT plugins/ltac/tauto.ml OCAMLOPT plugins/cc/g_congruence.ml OCAMLOPT plugins/firstorder/ground.ml OCAMLOPT plugins/quote/g_quote.ml OCAMLOPT plugins/omega/g_omega.ml OCAMLOPT -shared -o plugins/ltac/ltac_plugin.cmxs OCAMLOPT plugins/funind/invfun.ml ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLOPT plugins/fourier/g_fourier.ml OCAMLOPT plugins/extraction/g_extraction.ml true bin/coqtop OCAMLOPT plugins/btauto/g_btauto.ml OCAMLOPT plugins/nsatz/g_nsatz.ml ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLOPT plugins/rtauto/refl_tauto.ml OCAMLOPT plugins/ssrmatching/ssrmatching.ml OCAMLOPT plugins/micromega/g_micromega.ml ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf true bin/coqtop ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLOPT -pack -o plugins/cc/cc_plugin.cmx ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLOPT -pack -o plugins/quote/quote_plugin.cmx OCAMLOPT -pack -o plugins/btauto/btauto_plugin.cmx OCAMLOPT -pack -o plugins/nsatz/nsatz_plugin.cmx ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLOPT -pack -o plugins/fourier/fourier_plugin.cmx OCAMLOPT -pack -o plugins/ltac/tauto_plugin.cmx OCAMLOPT -pack -o plugins/omega/omega_plugin.cmx OCAMLOPT plugins/firstorder/g_ground.ml ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLOPT -shared -o plugins/cc/cc_plugin.cmxs ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLOPT plugins/rtauto/g_rtauto.ml ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLOPT -pack -o plugins/micromega/micromega_plugin.cmx ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLOPT -pack -o plugins/extraction/extraction_plugin.cmx OCAMLOPT -shared -o plugins/quote/quote_plugin.cmxs ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLOPT plugins/setoid_ring/newring.ml OCAMLOPT -shared -o plugins/btauto/btauto_plugin.cmxs OCAMLOPT -shared -o plugins/nsatz/nsatz_plugin.cmxs ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf COQC -noinit theories/Init/Notations.v ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLOPT -shared -o plugins/ltac/tauto_plugin.cmxs ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLOPT plugins/romega/refl_omega.ml OCAMLOPT -shared -o plugins/omega/omega_plugin.cmxs OCAMLOPT -shared -o plugins/fourier/fourier_plugin.cmxs ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLOPT -pack -o plugins/rtauto/rtauto_plugin.cmx ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLOPT -shared -o plugins/extraction/extraction_plugin.cmxs OCAMLOPT plugins/funind/recdef.ml OCAMLOPT -shared -o plugins/micromega/micromega_plugin.cmxs ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLOPT -pack -o plugins/firstorder/ground_plugin.cmx ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLOPT -shared -o plugins/rtauto/rtauto_plugin.cmxs ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLOPT -pack -o plugins/ssrmatching/ssrmatching_plugin.cmx ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLOPT -shared -o plugins/firstorder/ground_plugin.cmxs ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLOPT plugins/ssr/ssrprinters.ml OCAMLOPT -shared -o plugins/ssrmatching/ssrmatching_plugin.cmxs ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLOPT plugins/romega/g_romega.ml COQC -noinit theories/Init/Logic.v ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLOPT plugins/setoid_ring/g_newring.ml OCAMLOPT plugins/ssr/ssrcommon.ml ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLOPT -pack -o plugins/romega/romega_plugin.cmx ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLOPT -shared -o plugins/romega/romega_plugin.cmxs OCAMLOPT -pack -o plugins/setoid_ring/newring_plugin.cmx ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLOPT -shared -o plugins/setoid_ring/newring_plugin.cmxs ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLOPT plugins/funind/functional_principles_proofs.ml ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLOPT plugins/ssr/ssrtacticals.ml OCAMLOPT plugins/ssr/ssrview.ml OCAMLOPT plugins/ssr/ssrelim.ml ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLOPT plugins/ssr/ssrbwd.ml ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLOPT plugins/funind/functional_principles_types.ml OCAMLOPT plugins/ssr/ssrequality.ml ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf COQC -noinit theories/Init/Datatypes.v OCAMLOPT plugins/funind/indfun.ml ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLOPT plugins/ssr/ssripats.ml ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLOPT plugins/funind/g_indfun.ml ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLOPT plugins/ssr/ssrfwd.ml COQC -noinit theories/Init/Specif.v COQC -noinit theories/Init/Nat.v COQC -noinit theories/Init/Wf.v COQC -noinit theories/Init/Tauto.v COQC -noinit theories/Init/Logic_Type.v ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLOPT -pack -o plugins/funind/recdef_plugin.cmx ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLOPT plugins/ssr/ssrparser.ml ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLOPT -shared -o plugins/funind/recdef_plugin.cmxs ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf COQC -noinit theories/Init/Peano.v ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLOPT plugins/ssr/ssrvernac.ml ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf COQC -noinit theories/Init/Tactics.v ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf COQC -noinit theories/Init/Prelude.v OCAMLOPT -pack -o plugins/ssr/ssreflect_plugin.cmx ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf OCAMLOPT -shared -o plugins/ssr/ssreflect_plugin.cmxs ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf COQC theories/Program/Basics.v COQC theories/Program/Tactics.v COQC theories/Relations/Relation_Definitions.v COQC theories/Logic/Decidable.v COQC theories/Logic/EqdepFacts.v COQC theories/Numbers/BinNums.v COQC theories/Bool/Bool.v COQC plugins/quote/Quote.v COQC theories/Bool/Sumbool.v COQC theories/Bool/DecBool.v COQC plugins/extraction/Extraction.v COQC theories/Logic/FunctionalExtensionality.v COQC theories/Compat/AdmitAxiom.v COQC theories/Sets/Relations_1.v COQC theories/Sets/Ensembles.v COQC theories/Lists/Streams.v ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf COQC theories/Logic/Berardi.v ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf COQC theories/Logic/PropExtensionalityFacts.v ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf COQC theories/Logic/Hurkens.v COQC theories/Logic/RelationalChoice.v ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf COQC theories/Logic/ExtensionalFunctionRepresentative.v COQC theories/Logic/ExtensionalityFacts.v COQC theories/Logic/PropFacts.v COQC theories/Logic/SetIsType.v ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf COQC theories/Sets/Relations_1_facts.v COQC theories/Sets/Permut.v COQC theories/Sets/Relations_2.v ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf COQC theories/Unicode/Utf8_core.v COQC theories/Wellfounded/Inclusion.v ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf COQC theories/Wellfounded/Inverse_Image.v COQC plugins/derive/Derive.v ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf COQC plugins/extraction/ExtrHaskellBasic.v ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf COQC plugins/extraction/ExtrOcamlBasic.v ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf COQC plugins/ltac/Ltac.v ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf COQC plugins/setoid_ring/Algebra_syntax.v ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf COQC plugins/ssrmatching/ssrmatching.v COQC theories/Classes/Init.v ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf COQC theories/Relations/Relation_Operators.v ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf COQC theories/Logic/Eqdep_dec.v COQC theories/PArith/BinPosDef.v ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf COQC theories/Program/Utils.v COQC theories/Logic/ProofIrrelevanceFacts.v COQC theories/Logic/Eqdep.v COQC theories/Program/Combinators.v COQC plugins/funind/FunInd.v COQC theories/Sets/Constructive_sets.v ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf COQC theories/Sets/Partial_Order.v COQC theories/Sets/Relations_2_facts.v ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf COQC theories/Sets/Relations_3.v COQC theories/Sets/Uniset.v ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf COQC theories/Unicode/Utf8.v ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf COQC plugins/ssr/ssreflect.v ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf COQC theories/Classes/RelationClasses.v COQC theories/Classes/CRelationClasses.v COQC theories/Bool/BoolEq.v COQC theories/Bool/IfProp.v COQC theories/Logic/ProofIrrelevance.v ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf COQC theories/Logic/JMeq.v ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf COQC theories/Lists/StreamMemo.v ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf COQC theories/Wellfounded/Disjoint_Union.v COQC theories/Wellfounded/Transitive_Closure.v ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf COQC theories/Wellfounded/Well_Ordering.v ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf COQC theories/Relations/Operators_Properties.v COQC theories/Compat/Coq86.v COQC theories/Sets/Finite_sets.v ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf COQC theories/Sets/Cpo.v ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf COQC theories/Sets/Relations_3_facts.v COQC theories/Program/Wf.v COQC plugins/ssr/ssrfun.v COQC theories/Program/Equality.v ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf COQC theories/Wellfounded/Lexicographic_Product.v COQC theories/Wellfounded/Union.v ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf COQC theories/Compat/Coq85.v ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf COQC theories/Sets/Powerset.v COQC theories/Classes/CMorphisms.v COQC theories/Relations/Relations.v ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf COQC theories/Program/Subset.v ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf COQC theories/Classes/Morphisms.v ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf COQC plugins/ssr/ssrbool.v COQC theories/Sets/Powerset_facts.v ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf COQC theories/Classes/CEquivalence.v ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf COQC theories/Classes/Equivalence.v COQC theories/Classes/Morphisms_Prop.v ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf COQC theories/Classes/SetoidTactics.v ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf COQC theories/Setoids/Setoid.v ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf COQC theories/Numbers/NumPrelude.v COQC theories/Structures/Equalities.v ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf COQC theories/Structures/Orders.v ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf COQC theories/Structures/OrdersTac.v ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf COQC theories/Structures/OrdersFacts.v ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf COQC theories/Structures/GenericMinMax.v ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf COQC theories/Numbers/NatInt/NZAxioms.v ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf COQC theories/Numbers/NatInt/NZBase.v ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf COQC theories/Numbers/NatInt/NZOrder.v COQC theories/Numbers/NatInt/NZAdd.v ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf COQC theories/Numbers/NatInt/NZMul.v ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf COQC theories/Numbers/NatInt/NZAddOrder.v ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf COQC theories/Numbers/NatInt/NZMulOrder.v ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf COQC theories/Numbers/NatInt/NZPow.v COQC theories/Numbers/NatInt/NZSqrt.v COQC theories/Numbers/NatInt/NZDiv.v COQC theories/Numbers/NatInt/NZParity.v COQC theories/Numbers/NatInt/NZProperties.v COQC theories/Numbers/NatInt/NZGcd.v ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf COQC theories/Numbers/NatInt/NZLog.v ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf COQC theories/Numbers/NatInt/NZBits.v ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf COQC theories/Numbers/Integer/Abstract/ZAxioms.v COQC theories/Numbers/Natural/Abstract/NAxioms.v ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf COQC theories/Numbers/Natural/Abstract/NBase.v COQC theories/Numbers/Integer/Abstract/ZBase.v ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf COQC theories/Numbers/Integer/Abstract/ZAdd.v COQC theories/Numbers/Natural/Abstract/NIso.v COQC theories/Numbers/Natural/Abstract/NAdd.v ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf COQC theories/Numbers/Integer/Abstract/ZMul.v ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf COQC theories/Numbers/Natural/Abstract/NOrder.v ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf COQC theories/Numbers/Integer/Abstract/ZLt.v ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf COQC theories/Numbers/Integer/Abstract/ZAddOrder.v COQC theories/Numbers/Natural/Abstract/NAddOrder.v ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf COQC theories/Numbers/Natural/Abstract/NMulOrder.v ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf COQC theories/Numbers/Natural/Abstract/NSub.v COQC theories/Numbers/Integer/Abstract/ZMulOrder.v ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf COQC theories/Numbers/Natural/Abstract/NMaxMin.v COQC theories/Numbers/Natural/Abstract/NParity.v COQC theories/Numbers/Natural/Abstract/NDiv.v COQC theories/Numbers/Natural/Abstract/NGcd.v COQC theories/Numbers/Natural/Abstract/NStrongRec.v COQC theories/Numbers/Natural/Abstract/NSqrt.v ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf COQC theories/Numbers/Integer/Abstract/ZSgnAbs.v COQC theories/Numbers/Integer/Abstract/ZParity.v COQC theories/Numbers/Integer/Abstract/ZMaxMin.v ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf COQC theories/Numbers/Natural/Abstract/NPow.v COQC theories/Numbers/Natural/Abstract/NLcm.v ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf COQC theories/Numbers/Integer/Abstract/ZDivTrunc.v COQC theories/Numbers/Integer/Abstract/ZDivFloor.v COQC theories/Numbers/Integer/Abstract/ZPow.v COQC theories/Numbers/Integer/Abstract/ZGcd.v COQC theories/Numbers/Integer/Abstract/ZDivEucl.v ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf COQC theories/Numbers/Natural/Abstract/NLog.v ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf COQC theories/Numbers/Natural/Abstract/NBits.v ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf COQC theories/Numbers/Integer/Abstract/ZBits.v ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf COQC theories/Numbers/Integer/Abstract/ZLcm.v ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf COQC theories/Numbers/Natural/Abstract/NProperties.v ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf COQC theories/Arith/PeanoNat.v ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf COQC theories/Arith/EqNat.v COQC theories/Arith/Min.v COQC theories/Arith/Max.v COQC theories/Arith/Even.v COQC theories/Arith/Le.v ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf COQC theories/Numbers/Integer/Abstract/ZProperties.v ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf COQC theories/Arith/Lt.v ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf COQC theories/Arith/Between.v COQC theories/Arith/Minus.v COQC theories/Arith/Plus.v COQC theories/Arith/Peano_dec.v ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf COQC theories/Numbers/Natural/Peano/NPeano.v COQC theories/Arith/Div2.v ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf COQC theories/Arith/Gt.v COQC theories/Arith/Mult.v COQC theories/Numbers/NatInt/NZDomain.v COQC theories/Sets/Multiset.v COQC theories/PArith/BinPos.v ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf COQC theories/Lists/List.v COQC theories/Arith/Compare_dec.v COQC theories/Arith/Factorial.v ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf COQC theories/Arith/Bool_nat.v COQC theories/Arith/Wf_nat.v ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf COQC theories/Arith/Arith_base.v COQC theories/Arith/Euclid.v COQC theories/Logic/ClassicalFacts.v COQC plugins/funind/Recdef.v ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf COQC theories/PArith/Pnat.v COQC theories/PArith/POrderedType.v COQC theories/NArith/BinNatDef.v ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf COQC theories/Vectors/Fin.v COQC theories/Arith/Compare.v ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf COQC theories/Logic/PropExtensionality.v COQC theories/Logic/Classical_Prop.v ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf COQC theories/Lists/ListTactics.v COQC theories/Sorting/Sorted.v COQC theories/Lists/ListDec.v COQC theories/Lists/ListSet.v COQC plugins/setoid_ring/BinList.v COQC theories/Numbers/NaryFunctions.v COQC plugins/micromega/Refl.v COQC theories/Logic/WeakFan.v COQC theories/Wellfounded/Lexicographic_Exponentiation.v ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf COQC plugins/rtauto/Bintree.v COQC theories/NArith/BinNat.v ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf COQC theories/Logic/Classical_Pred_Type.v ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf COQC theories/Vectors/VectorDef.v ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf COQC theories/PArith/PArith.v ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf COQC theories/Logic/FinFun.v ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf COQC theories/Logic/Classical.v COQC theories/Wellfounded/Wellfounded.v COQC theories/Lists/SetoidList.v ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf COQC plugins/micromega/Tauto.v ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf COQC theories/Sets/Classical_sets.v COQC theories/Logic/ClassicalUniqueChoice.v COQC plugins/rtauto/Rtauto.v COQC theories/Vectors/VectorSpec.v ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf COQC theories/Sets/Powerset_Classical_facts.v ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf COQC theories/Sorting/Permutation.v ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf COQC theories/Vectors/VectorEq.v COQC theories/NArith/Nnat.v COQC plugins/setoid_ring/Ring_theory.v COQC theories/NArith/Ndiv_def.v COQC theories/NArith/Nsqrt_def.v COQC theories/NArith/Ngcd_def.v COQC theories/ZArith/BinIntDef.v COQC theories/Numbers/Natural/Binary/NBinary.v ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf COQC theories/Vectors/Vector.v ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf COQC theories/Sorting/Mergesort.v COQC theories/Sets/Finite_sets_facts.v ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf COQC theories/ZArith/BinInt.v ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf COQC theories/Structures/DecidableType.v COQC theories/Classes/RelationPairs.v COQC theories/Lists/SetoidPermutation.v COQC theories/Structures/OrderedType.v ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf COQC theories/Strings/Ascii.v COQC theories/Bool/Bvector.v ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf COQC theories/Sorting/Sorting.v COQC theories/Sets/Image.v ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf COQC theories/NArith/Ndigits.v COQC theories/Program/Syntax.v ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf COQC theories/Structures/OrderedTypeAlt.v COQC theories/FSets/FMapInterface.v COQC theories/Structures/OrdersAlt.v COQC theories/FSets/FSetInterface.v COQC theories/Structures/EqualitiesFacts.v COQC theories/MSets/MSetInterface.v COQC theories/Numbers/Natural/Abstract/NDefOps.v COQC theories/Sets/Infinite_sets.v COQC theories/Program/Program.v ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf COQC theories/Classes/Morphisms_Relations.v COQC theories/Classes/EquivDec.v COQC theories/Classes/SetoidClass.v ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf COQC theories/FSets/FMapList.v COQC theories/FSets/FMapWeakList.v COQC theories/FSets/FSetBridge.v ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf COQC theories/Sets/Integers.v COQC theories/ZArith/Zeven.v COQC plugins/setoid_ring/Ring_polynom.v COQC theories/ZArith/Znat.v COQC theories/ZArith/Zcompare.v ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf COQC theories/ZArith/Int.v COQC theories/ZArith/Zpow_def.v COQC theories/Numbers/Integer/Binary/ZBinary.v COQC plugins/micromega/Env.v COQC theories/ZArith/Zeuclid.v ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf COQC theories/ZArith/Zpow_alt.v ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf COQC theories/MSets/MSetGenTree.v ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf COQC theories/Structures/OrdersLists.v ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf COQC theories/MSets/MSetWeakList.v ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf COQC theories/Structures/OrdersEx.v ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf COQC plugins/micromega/EnvRing.v COQC theories/ZArith/Zorder.v ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf COQC plugins/omega/OmegaLemmas.v COQC theories/MSets/MSetList.v ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf COQC theories/ZArith/ZArith_dec.v COQC theories/ZArith/Zmin.v COQC theories/ZArith/Zmax.v COQC theories/ZArith/auxiliary.v COQC theories/ZArith/Zminmax.v COQC theories/ZArith/Zmisc.v ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf COQC theories/MSets/MSetRBT.v COQC theories/MSets/MSetAVL.v ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf COQC theories/ZArith/Zabs.v COQC theories/ZArith/Zbool.v COQC theories/ZArith/Wf_Z.v ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf COQC theories/ZArith/Zhints.v ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf COQC theories/ZArith/ZArith_base.v COQC plugins/setoid_ring/InitialRing.v ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf COQC plugins/romega/ReflOmegaCore.v COQC plugins/setoid_ring/Ncring.v COQC theories/Reals/Rdefinitions.v COQC theories/MSets/MSetPositive.v ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf COQC theories/Reals/Rpow_def.v COQC theories/Reals/Raxioms.v ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf COQC plugins/setoid_ring/Ncring_polynom.v COQC plugins/setoid_ring/Ring_tac.v ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf COQC plugins/setoid_ring/Ring_base.v ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf COQC plugins/setoid_ring/Ring.v ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf COQC plugins/setoid_ring/ZArithRing.v COQC plugins/setoid_ring/NArithRing.v COQC plugins/setoid_ring/ArithRing.v COQC plugins/setoid_ring/Field_theory.v COQC plugins/micromega/OrderedRing.v COQC theories/Numbers/Integer/NatPairs/ZNatPairs.v ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf COQC theories/Arith/Arith.v COQC theories/NArith/NArith.v ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf COQC plugins/omega/PreOmega.v COQC theories/Classes/SetoidDec.v COQC theories/NArith/Ndec.v COQC theories/Bool/Zerob.v COQC theories/Logic/ConstructiveEpsilon.v COQC theories/Logic/ChoiceFacts.v COQC theories/NArith/Ndist.v ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf COQC theories/Strings/String.v COQC plugins/extraction/ExtrHaskellNatNum.v COQC plugins/extraction/ExtrOcamlNatInt.v COQC plugins/extraction/ExtrOcamlNatBigInt.v ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf COQC plugins/micromega/RingMicromega.v ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf COQC plugins/omega/OmegaPlugin.v COQC plugins/omega/Omega.v COQC plugins/omega/OmegaTactic.v ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf COQC plugins/extraction/ExtrHaskellNatInt.v COQC plugins/extraction/ExtrHaskellNatInteger.v ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf COQC plugins/romega/ROmega.v COQC plugins/extraction/ExtrOcamlString.v COQC plugins/extraction/ExtrHaskellString.v ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf COQC theories/Logic/WKL.v COQC theories/Sorting/PermutSetoid.v COQC theories/ZArith/Zcomplements.v COQC theories/ZArith/Zsqrt_compat.v COQC theories/ZArith/Zwf.v ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf COQC theories/Logic/Description.v COQC theories/Logic/ClassicalEpsilon.v COQC theories/Logic/Epsilon.v COQC theories/Logic/ClassicalChoice.v COQC theories/Logic/IndefiniteDescription.v COQC theories/Logic/Diaconescu.v ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf COQC theories/ZArith/Zdiv.v COQC theories/ZArith/Zpower.v COQC theories/Sorting/Heap.v COQC theories/Sorting/PermutEq.v ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf COQC theories/Logic/SetoidChoice.v COQC theories/Logic/ClassicalDescription.v ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf COQC plugins/setoid_ring/Field_tac.v ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf COQC theories/ZArith/Zlogarithm.v ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf COQC theories/ZArith/Znumtheory.v COQC theories/ZArith/Zquot.v ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf COQC plugins/setoid_ring/Field.v ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf COQC theories/ZArith/ZArith.v COQC plugins/setoid_ring/RealField.v ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf COQC theories/Reals/RIneq.v COQC theories/FSets/FMapAVL.v COQC theories/Structures/OrderedTypeEx.v COQC theories/Numbers/Cyclic/Abstract/DoubleType.v COQC theories/QArith/QArith_base.v COQC plugins/micromega/VarMap.v COQC theories/ZArith/Zdigits.v COQC plugins/extraction/ExtrHaskellZNum.v COQC plugins/extraction/ExtrOcamlBigIntConv.v COQC theories/Classes/DecidableClass.v COQC plugins/extraction/ExtrOcamlIntConv.v COQC plugins/extraction/ExtrOcamlZBigInt.v COQC plugins/extraction/ExtrOcamlZInt.v COQC plugins/micromega/ZCoeff.v COQC theories/ZArith/Zpow_facts.v ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf COQC theories/ZArith/Zgcd_alt.v ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf COQC plugins/extraction/ExtrHaskellZInteger.v COQC plugins/extraction/ExtrHaskellZInt.v ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf COQC plugins/btauto/Algebra.v COQC theories/Numbers/Cyclic/Int31/Int31.v ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf COQC theories/Numbers/Cyclic/Abstract/CyclicAxioms.v ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf COQC theories/FSets/FMapPositive.v COQC theories/Structures/DecidableTypeEx.v COQC theories/FSets/FSetPositive.v ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf COQC theories/Reals/Rlogic.v COQC theories/Reals/DiscrR.v ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf COQC theories/QArith/Qreduction.v COQC theories/QArith/Qfield.v COQC theories/QArith/QOrderedType.v ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf COQC theories/Reals/Rbase.v ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf COQC theories/FSets/FMapFacts.v COQC theories/MSets/MSetFacts.v COQC theories/QArith/Qminmax.v COQC theories/FSets/FSetFacts.v ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf COQC plugins/setoid_ring/Ncring_initial.v COQC theories/Numbers/Cyclic/Abstract/NZCyclic.v COQC theories/Numbers/Cyclic/ZModulo/ZModulo.v COQC theories/Numbers/Cyclic/Int31/Cyclic31.v ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf COQC theories/QArith/Qpower.v COQC theories/QArith/Qring.v ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf COQC theories/QArith/Qreals.v COQC plugins/fourier/Fourier_util.v COQC theories/Reals/R_Ifp.v COQC theories/Reals/SplitRmult.v COQC theories/Reals/ROrderedType.v ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf COQC theories/QArith/QArith.v ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf COQC plugins/btauto/Reflect.v ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf COQC theories/MSets/MSetDecide.v ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf COQC theories/FSets/FSetCompat.v COQC theories/FSets/FSetDecide.v ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf COQC plugins/fourier/Fourier.v COQC theories/QArith/Qcanon.v COQC theories/QArith/Qabs.v COQC plugins/micromega/QMicromega.v COQC theories/QArith/Qround.v COQC plugins/micromega/ZMicromega.v COQC plugins/micromega/RMicromega.v ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf COQC theories/FSets/FMapFullAVL.v ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf COQC theories/FSets/FMaps.v COQC theories/Reals/Rbasic_fun.v COQC theories/MSets/MSetProperties.v ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf COQC plugins/btauto/Btauto.v ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf COQC theories/QArith/Qcabs.v COQC theories/FSets/FSetAVL.v COQC theories/FSets/FSetList.v COQC theories/FSets/FSetWeakList.v ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf COQC theories/FSets/FSetProperties.v ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf COQC plugins/micromega/Lia.v ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf COQC plugins/micromega/Lqa.v COQC plugins/micromega/MExtraction.v COQC plugins/micromega/Lra.v COQC theories/Reals/SplitAbsolu.v COQC theories/Reals/R_sqr.v COQC theories/Reals/ArithProp.v ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf COQC theories/Reals/Rminmax.v ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf COQC plugins/setoid_ring/Ncring_tac.v ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf COQC plugins/micromega/Psatz.v COQC theories/Numbers/Cyclic/Int31/Ring31.v COQC theories/Reals/Rfunctions.v ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf COQC theories/MSets/MSetToFiniteSet.v COQC theories/MSets/MSetEqProperties.v ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf COQC theories/Reals/RList.v COQC theories/Reals/Rlimit.v COQC theories/Reals/Rseries.v COQC theories/FSets/FSetEqProperties.v COQC theories/FSets/FSetToFiniteSet.v ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf COQC theories/MSets/MSets.v ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf COQC theories/Reals/Rderiv.v ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf COQC plugins/setoid_ring/Cring.v COQC theories/Reals/SeqProp.v ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf COQC theories/FSets/FSets.v ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf COQC theories/Reals/Ranalysis1.v COQC plugins/setoid_ring/Integral_domain.v ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf COQC theories/Reals/Rcomplete.v ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf COQC plugins/setoid_ring/Rings_Q.v COQC plugins/setoid_ring/Rings_Z.v ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf COQC theories/Reals/PartSum.v COQC theories/Reals/Rtopology.v COQC theories/Reals/Ranalysis2.v ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf COQC theories/Reals/AltSeries.v COQC theories/Reals/Binomial.v COQC theories/Reals/Cauchy_prod.v COQC theories/Reals/Alembert.v COQC theories/Reals/Rsigma.v ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf COQC theories/Reals/Ranalysis3.v ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf COQC theories/Reals/MVT.v COQC theories/Reals/Rprod.v ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf COQC theories/Reals/SeqSeries.v ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf COQC theories/Reals/Rtrigo_fun.v COQC theories/Reals/Rsqrt_def.v COQC theories/Reals/PSeries_reg.v ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf COQC theories/Reals/Rtrigo_def.v ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf COQC theories/Reals/R_sqrt.v ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf COQC theories/Reals/Rtrigo_alt.v COQC theories/Reals/Cos_rel.v ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf COQC theories/Reals/Sqrt_reg.v ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf COQC theories/Reals/Cos_plus.v ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf COQC theories/Reals/Rtrigo1.v ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf COQC theories/Reals/Exp_prop.v COQC theories/Reals/Rtrigo_calc.v COQC theories/Reals/Rgeom.v COQC theories/Reals/Rtrigo_reg.v ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf COQC theories/Reals/Ranalysis4.v ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf COQC theories/Reals/Rpower.v ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf COQC theories/Reals/Ranalysis_reg.v ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf COQC theories/Reals/RiemannInt_SF.v ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf COQC theories/Reals/RiemannInt.v ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf COQC theories/Reals/Ranalysis5.v ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf COQC theories/Reals/Ratan.v ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf COQC theories/Reals/Machin.v ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf COQC theories/Reals/Rtrigo.v ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf COQC theories/Reals/Ranalysis.v ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf COQC theories/Reals/NewtonInt.v ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf COQC theories/Reals/Integration.v ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf COQC theories/Reals/Reals.v ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf COQC plugins/nsatz/Nsatz.v COQC plugins/setoid_ring/Rings_R.v ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf ocamlfind: [WARNING] Cannot read directory /usr/pkg/lib/ocaml/site-lib/graphics which is mentioned in ld.conf gmake[1]: Leaving directory '/data/scratch/lang/coq/work/coq-8.7.2'