=> Bootstrap dependency digest>=20010302: found digest-20111104 => Bootstrap dependency fetch-[0-9]*: found fetch-1.7 ===> Installing for coq-8.3pl1nb8 => Generating pre-install file lists ***************************************************** ***************************************************** ****************** Entering stage1 ****************** ***************************************************** ***************************************************** /usr/bin/make --warn-undefined-variable --no-builtin-rules -f Makefile.stage1 "stage1" make[1]: Entering directory `/tmp/pkgsrc/lang/coq/work/coq-8.3pl1' make[1]: Nothing to be done for `stage1'. make[1]: Leaving directory `/tmp/pkgsrc/lang/coq/work/coq-8.3pl1' ***************************************************** ***************************************************** ****************** Entering stage2 ****************** ***************************************************** ***************************************************** /usr/bin/make --warn-undefined-variable --no-builtin-rules -f Makefile.stage2 "install" make[1]: Entering directory `/tmp/pkgsrc/lang/coq/work/coq-8.3pl1' Makefile.build:570: warning: undefined variable `OLDROOT' Makefile.build:570: warning: undefined variable `OLDROOT' Makefile.build:570: warning: undefined variable `OLDROOT' install -d "/tmp/pkgsrc/lang/coq/work/.destdir/usr/pkg/bin" install bin/coqmktop bin/coqc bin/coqtop.byte bin/coqtop.opt bin/coqchk bin/coqchk.opt "/tmp/pkgsrc/lang/coq/work/.destdir/usr/pkg/bin" cd "/tmp/pkgsrc/lang/coq/work/.destdir/usr/pkg/bin"; ln -sf coqtop.opt coqtop; ln -sf coqchk.opt coqchk Makefile.build:575: warning: undefined variable `OLDROOT' Makefile.build:575: warning: undefined variable `OLDROOT' Makefile.build:575: warning: undefined variable `OLDROOT' Makefile.build:575: warning: undefined variable `OLDROOT' Makefile.build:575: warning: undefined variable `OLDROOT' Makefile.build:575: warning: undefined variable `OLDROOT' install -d "/tmp/pkgsrc/lang/coq/work/.destdir/usr/pkg/bin" # recopie des fichiers de style pour coqide install -d "/tmp/pkgsrc/lang/coq/work/.destdir/usr/pkg/lib/coq"/tools/coqdoc touch "/tmp/pkgsrc/lang/coq/work/.destdir/usr/pkg/lib/coq"/tools/coqdoc/coqdoc.sty "/tmp/pkgsrc/lang/coq/work/.destdir/usr/pkg/lib/coq"/tools/coqdoc/coqdoc.css # to have the mode according to umask (bug #1715) install -m 644 tools/coqdoc/coqdoc.css tools/coqdoc/coqdoc.sty "/tmp/pkgsrc/lang/coq/work/.destdir/usr/pkg/lib/coq"/tools/coqdoc install bin/coqdep bin/coq_makefile bin/gallina bin/coq-tex bin/coqwc bin/coqdoc "/tmp/pkgsrc/lang/coq/work/.destdir/usr/pkg/bin" Makefile.build:583: warning: undefined variable `OLDROOT' Makefile.build:583: warning: undefined variable `OLDROOT' Makefile.build:583: warning: undefined variable `OLDROOT' Makefile.build:583: warning: undefined variable `OLDROOT' Makefile.build:583: warning: undefined variable `OLDROOT' Makefile.build:583: warning: undefined variable `OLDROOT' Makefile.build:583: warning: undefined variable `OLDROOT' Makefile.build:583: warning: undefined variable `OLDROOT' Makefile.build:583: warning: undefined variable `OLDROOT' Makefile.build:583: warning: undefined variable `OLDROOT' Makefile.build:583: warning: undefined variable `OLDROOT' Makefile.build:583: warning: undefined variable `OLDROOT' Makefile.build:583: warning: undefined variable `OLDROOT' install -d "/tmp/pkgsrc/lang/coq/work/.destdir/usr/pkg/lib/coq" ./install.sh "/tmp/pkgsrc/lang/coq/work/.destdir/usr/pkg/lib/coq" theories/Init/Datatypes.vo theories/Init/Logic_Type.vo theories/Init/Logic.vo theories/Init/Notations.vo theories/Init/Peano.vo theories/Init/Prelude.vo theories/Init/Specif.vo theories/Init/Tactics.vo theories/Init/Wf.vo theories/Logic/Berardi.vo theories/Logic/ChoiceFacts.vo theories/Logic/ClassicalChoice.vo theories/Logic/ClassicalDescription.vo theories/Logic/ClassicalEpsilon.vo theories/Logic/ClassicalFacts.vo theories/Logic/Classical_Pred_Set.vo theories/Logic/Classical_Pred_Type.vo theories/Logic/Classical_Prop.vo theories/Logic/Classical_Type.vo theories/Logic/ClassicalUniqueChoice.vo theories/Logic/Classical.vo theories/Logic/ConstructiveEpsilon.vo theories/Logic/Decidable.vo theories/Logic/Description.vo theories/Logic/Diaconescu.vo theories/Logic/Epsilon.vo theories/Logic/Eqdep_dec.vo theories/Logic/EqdepFacts.vo theories/Logic/Eqdep.vo theories/Logic/FunctionalExtensionality.vo theories/Logic/Hurkens.vo theories/Logic/IndefiniteDescription.vo theories/Logic/JMeq.vo theories/Logic/ProofIrrelevanceFacts.vo theories/Logic/ProofIrrelevance.vo theories/Logic/RelationalChoice.vo theories/Logic/SetIsType.vo theories/Arith/Arith_base.vo theories/Arith/Arith.vo theories/Arith/Between.vo theories/Arith/Bool_nat.vo theories/Arith/Compare_dec.vo theories/Arith/Compare.vo theories/Arith/Div2.vo theories/Arith/EqNat.vo theories/Arith/Euclid.vo theories/Arith/Even.vo theories/Arith/Factorial.vo theories/Arith/Gt.vo theories/Arith/Le.vo theories/Arith/Lt.vo theories/Arith/Max.vo theories/Arith/Minus.vo theories/Arith/Min.vo theories/Arith/Mult.vo theories/Arith/Peano_dec.vo theories/Arith/Plus.vo theories/Arith/Wf_nat.vo theories/Arith/NatOrderedType.vo theories/Arith/MinMax.vo theories/Bool/BoolEq.vo theories/Bool/Bool.vo theories/Bool/Bvector.vo theories/Bool/DecBool.vo theories/Bool/IfProp.vo theories/Bool/Sumbool.vo theories/Bool/Zerob.vo theories/NArith/BinNat.vo theories/NArith/BinPos.vo theories/NArith/NArith.vo theories/NArith/Ndec.vo theories/NArith/Ndigits.vo theories/NArith/Ndist.vo theories/NArith/Nnat.vo theories/NArith/Pnat.vo theories/NArith/POrderedType.vo theories/NArith/Pminmax.vo theories/NArith/NOrderedType.vo theories/NArith/Nminmax.vo theories/ZArith/auxiliary.vo theories/ZArith/BinInt.vo theories/ZArith/Int.vo theories/ZArith/Wf_Z.vo theories/ZArith/Zabs.vo theories/ZArith/ZArith_base.vo theories/ZArith/ZArith_dec.vo theories/ZArith/ZArith.vo theories/ZArith/Zdigits.vo theories/ZArith/Zbool.vo theories/ZArith/Zcompare.vo theories/ZArith/Zcomplements.vo theories/ZArith/Zdiv.vo theories/ZArith/Zeven.vo theories/ZArith/Zgcd_alt.vo theories/ZArith/Zhints.vo theories/ZArith/Zlogarithm.vo theories/ZArith/Zmax.vo theories/ZArith/Zminmax.vo theories/ZArith/Zmin.vo theories/ZArith/Zmisc.vo theories/ZArith/Znat.vo theories/ZArith/Znumtheory.vo theories/ZArith/ZOdiv_def.vo theories/ZArith/ZOdiv.vo theories/ZArith/Zorder.vo theories/ZArith/Zpow_def.vo theories/ZArith/Zpower.vo theories/ZArith/Zpow_facts.vo theories/ZArith/Zsqrt.vo theories/ZArith/Zwf.vo theories/ZArith/ZOrderedType.vo theories/Setoids/Setoid.vo theories/Lists/ListSet.vo theories/Lists/ListTactics.vo theories/Lists/List.vo theories/Lists/SetoidList.vo theories/Lists/StreamMemo.vo theories/Lists/Streams.vo theories/Lists/TheoryList.vo theories/Strings/Ascii.vo theories/Strings/String.vo theories/Sets/Classical_sets.vo theories/Sets/Constructive_sets.vo theories/Sets/Cpo.vo theories/Sets/Ensembles.vo theories/Sets/Finite_sets_facts.vo theories/Sets/Finite_sets.vo theories/Sets/Image.vo theories/Sets/Infinite_sets.vo theories/Sets/Integers.vo theories/Sets/Multiset.vo theories/Sets/Partial_Order.vo theories/Sets/Permut.vo theories/Sets/Powerset_Classical_facts.vo theories/Sets/Powerset_facts.vo theories/Sets/Powerset.vo theories/Sets/Relations_1_facts.vo theories/Sets/Relations_1.vo theories/Sets/Relations_2_facts.vo theories/Sets/Relations_2.vo theories/Sets/Relations_3_facts.vo theories/Sets/Relations_3.vo theories/Sets/Uniset.vo theories/FSets/FMapAVL.vo theories/FSets/FMapFacts.vo theories/FSets/FMapFullAVL.vo theories/FSets/FMapInterface.vo theories/FSets/FMapList.vo theories/FSets/FMapPositive.vo theories/FSets/FMaps.vo theories/FSets/FMapWeakList.vo theories/FSets/FSetCompat.vo theories/FSets/FSetAVL.vo theories/FSets/FSetPositive.vo theories/FSets/FSetBridge.vo theories/FSets/FSetDecide.vo theories/FSets/FSetEqProperties.vo theories/FSets/FSetFacts.vo theories/FSets/FSetInterface.vo theories/FSets/FSetList.vo theories/FSets/FSetProperties.vo theories/FSets/FSets.vo theories/FSets/FSetToFiniteSet.vo theories/FSets/FSetWeakList.vo theories/MSets/MSetAVL.vo theories/MSets/MSetDecide.vo theories/MSets/MSetEqProperties.vo theories/MSets/MSetFacts.vo theories/MSets/MSetInterface.vo theories/MSets/MSetList.vo theories/MSets/MSetProperties.vo theories/MSets/MSets.vo theories/MSets/MSetToFiniteSet.vo theories/MSets/MSetWeakList.vo theories/MSets/MSetPositive.vo theories/Relations/Operators_Properties.vo theories/Relations/Relation_Definitions.vo theories/Relations/Relation_Operators.vo theories/Relations/Relations.vo theories/Wellfounded/Disjoint_Union.vo theories/Wellfounded/Inclusion.vo theories/Wellfounded/Inverse_Image.vo theories/Wellfounded/Lexicographic_Exponentiation.vo theories/Wellfounded/Lexicographic_Product.vo theories/Wellfounded/Transitive_Closure.vo theories/Wellfounded/Union.vo theories/Wellfounded/Wellfounded.vo theories/Wellfounded/Well_Ordering.vo theories/Reals/Alembert.vo theories/Reals/AltSeries.vo theories/Reals/ArithProp.vo theories/Reals/Binomial.vo theories/Reals/Cauchy_prod.vo theories/Reals/Cos_plus.vo theories/Reals/Cos_rel.vo theories/Reals/DiscrR.vo theories/Reals/Exp_prop.vo theories/Reals/Integration.vo theories/Reals/LegacyRfield.vo theories/Reals/MVT.vo theories/Reals/NewtonInt.vo theories/Reals/PartSum.vo theories/Reals/PSeries_reg.vo theories/Reals/Ranalysis1.vo theories/Reals/Ranalysis2.vo theories/Reals/Ranalysis3.vo theories/Reals/Ranalysis4.vo theories/Reals/Ranalysis.vo theories/Reals/Raxioms.vo theories/Reals/Rbase.vo theories/Reals/Rbasic_fun.vo theories/Reals/Rcomplete.vo theories/Reals/Rdefinitions.vo theories/Reals/Rderiv.vo theories/Reals/Reals.vo theories/Reals/Rfunctions.vo theories/Reals/Rgeom.vo theories/Reals/RiemannInt_SF.vo theories/Reals/RiemannInt.vo theories/Reals/R_Ifp.vo theories/Reals/RIneq.vo theories/Reals/Rlimit.vo theories/Reals/RList.vo theories/Reals/Rlogic.vo theories/Reals/Rpow_def.vo theories/Reals/Rpower.vo theories/Reals/Rprod.vo theories/Reals/Rseries.vo theories/Reals/Rsigma.vo theories/Reals/Rsqrt_def.vo theories/Reals/R_sqrt.vo theories/Reals/R_sqr.vo theories/Reals/Rtopology.vo theories/Reals/Rtrigo_alt.vo theories/Reals/Rtrigo_calc.vo theories/Reals/Rtrigo_def.vo theories/Reals/Rtrigo_fun.vo theories/Reals/Rtrigo_reg.vo theories/Reals/Rtrigo.vo theories/Reals/SeqProp.vo theories/Reals/SeqSeries.vo theories/Reals/SplitAbsolu.vo theories/Reals/SplitRmult.vo theories/Reals/Sqrt_reg.vo theories/Reals/ROrderedType.vo theories/Reals/Rminmax.vo theories/Sorting/Heap.vo theories/Sorting/Permutation.vo theories/Sorting/PermutSetoid.vo theories/Sorting/PermutEq.vo theories/Sorting/Sorted.vo theories/Sorting/Sorting.vo theories/Sorting/Mergesort.vo theories/QArith/Qabs.vo theories/QArith/QArith_base.vo theories/QArith/QArith.vo theories/QArith/Qcanon.vo theories/QArith/Qfield.vo theories/QArith/Qpower.vo theories/QArith/Qreals.vo theories/QArith/Qreduction.vo theories/QArith/Qring.vo theories/QArith/Qround.vo theories/QArith/QOrderedType.vo theories/QArith/Qminmax.vo theories/Numbers/BigNumPrelude.vo theories/Numbers/Cyclic/Abstract/CyclicAxioms.vo theories/Numbers/Cyclic/Abstract/NZCyclic.vo theories/Numbers/Cyclic/DoubleCyclic/DoubleAdd.vo theories/Numbers/Cyclic/DoubleCyclic/DoubleBase.vo theories/Numbers/Cyclic/DoubleCyclic/DoubleCyclic.vo theories/Numbers/Cyclic/DoubleCyclic/DoubleDivn1.vo theories/Numbers/Cyclic/DoubleCyclic/DoubleDiv.vo theories/Numbers/Cyclic/DoubleCyclic/DoubleLift.vo theories/Numbers/Cyclic/DoubleCyclic/DoubleMul.vo theories/Numbers/Cyclic/DoubleCyclic/DoubleSqrt.vo theories/Numbers/Cyclic/DoubleCyclic/DoubleSub.vo theories/Numbers/Cyclic/DoubleCyclic/DoubleType.vo theories/Numbers/Cyclic/Int31/Int31.vo theories/Numbers/Cyclic/Int31/Cyclic31.vo theories/Numbers/Cyclic/Int31/Ring31.vo theories/Numbers/Cyclic/ZModulo/ZModulo.vo theories/Numbers/Integer/Abstract/ZAddOrder.vo theories/Numbers/Integer/Abstract/ZAdd.vo theories/Numbers/Integer/Abstract/ZAxioms.vo theories/Numbers/Integer/Abstract/ZBase.vo theories/Numbers/Integer/Abstract/ZLt.vo theories/Numbers/Integer/Abstract/ZMulOrder.vo theories/Numbers/Integer/Abstract/ZMul.vo theories/Numbers/Integer/Abstract/ZSgnAbs.vo theories/Numbers/Integer/Abstract/ZProperties.vo theories/Numbers/Integer/Abstract/ZDivFloor.vo theories/Numbers/Integer/Abstract/ZDivTrunc.vo theories/Numbers/Integer/Abstract/ZDivEucl.vo theories/Numbers/Integer/BigZ/BigZ.vo theories/Numbers/Integer/BigZ/ZMake.vo theories/Numbers/Integer/Binary/ZBinary.vo theories/Numbers/Integer/NatPairs/ZNatPairs.vo theories/Numbers/Integer/SpecViaZ/ZSig.vo theories/Numbers/Integer/SpecViaZ/ZSigZAxioms.vo theories/Numbers/NaryFunctions.vo theories/Numbers/NatInt/NZAddOrder.vo theories/Numbers/NatInt/NZAdd.vo theories/Numbers/NatInt/NZAxioms.vo theories/Numbers/NatInt/NZBase.vo theories/Numbers/NatInt/NZMulOrder.vo theories/Numbers/NatInt/NZMul.vo theories/Numbers/NatInt/NZOrder.vo theories/Numbers/NatInt/NZProperties.vo theories/Numbers/NatInt/NZDomain.vo theories/Numbers/NatInt/NZDiv.vo theories/Numbers/Natural/Abstract/NAddOrder.vo theories/Numbers/Natural/Abstract/NAdd.vo theories/Numbers/Natural/Abstract/NAxioms.vo theories/Numbers/Natural/Abstract/NBase.vo theories/Numbers/Natural/Abstract/NDefOps.vo theories/Numbers/Natural/Abstract/NIso.vo theories/Numbers/Natural/Abstract/NMulOrder.vo theories/Numbers/Natural/Abstract/NOrder.vo theories/Numbers/Natural/Abstract/NStrongRec.vo theories/Numbers/Natural/Abstract/NSub.vo theories/Numbers/Natural/Abstract/NProperties.vo theories/Numbers/Natural/Abstract/NDiv.vo theories/Numbers/Natural/BigN/BigN.vo theories/Numbers/Natural/BigN/Nbasic.vo theories/Numbers/Natural/BigN/NMake_gen.vo theories/Numbers/Natural/BigN/NMake.vo theories/Numbers/Natural/Binary/NBinary.vo theories/Numbers/Natural/Peano/NPeano.vo theories/Numbers/Natural/SpecViaZ/NSigNAxioms.vo theories/Numbers/Natural/SpecViaZ/NSig.vo theories/Numbers/NumPrelude.vo theories/Numbers/Rational/BigQ/BigQ.vo theories/Numbers/Rational/BigQ/QMake.vo theories/Numbers/Rational/SpecViaQ/QSig.vo theories/Unicode/Utf8.vo theories/Unicode/Utf8_core.vo theories/Classes/Equivalence.vo theories/Classes/EquivDec.vo theories/Classes/Init.vo theories/Classes/Morphisms_Prop.vo theories/Classes/Morphisms_Relations.vo theories/Classes/Morphisms.vo theories/Classes/RelationClasses.vo theories/Classes/SetoidClass.vo theories/Classes/SetoidDec.vo theories/Classes/SetoidTactics.vo theories/Classes/RelationPairs.vo theories/Program/Basics.vo theories/Program/Combinators.vo theories/Program/Equality.vo theories/Program/Program.vo theories/Program/Subset.vo theories/Program/Syntax.vo theories/Program/Tactics.vo theories/Program/Utils.vo theories/Program/Wf.vo theories/Structures/Equalities.vo theories/Structures/EqualitiesFacts.vo theories/Structures/Orders.vo theories/Structures/OrdersEx.vo theories/Structures/OrdersFacts.vo theories/Structures/OrdersLists.vo theories/Structures/OrdersTac.vo theories/Structures/OrdersAlt.vo theories/Structures/GenericMinMax.vo theories/Structures/DecidableType.vo theories/Structures/DecidableTypeEx.vo theories/Structures/OrderedTypeAlt.vo theories/Structures/OrderedTypeEx.vo theories/Structures/OrderedType.vo plugins/omega/OmegaLemmas.vo plugins/omega/OmegaPlugin.vo plugins/omega/Omega.vo plugins/omega/PreOmega.vo plugins/romega/ReflOmegaCore.vo plugins/romega/ROmega.vo plugins/micromega/CheckerMaker.vo plugins/micromega/EnvRing.vo plugins/micromega/Env.vo plugins/micromega/OrderedRing.vo plugins/micromega/Psatz.vo plugins/micromega/QMicromega.vo plugins/micromega/Refl.vo plugins/micromega/RingMicromega.vo plugins/micromega/RMicromega.vo plugins/micromega/Tauto.vo plugins/micromega/VarMap.vo plugins/micromega/ZCoeff.vo plugins/micromega/ZMicromega.vo plugins/ring/LegacyArithRing.vo plugins/ring/LegacyNArithRing.vo plugins/ring/LegacyRing_theory.vo plugins/ring/LegacyRing.vo plugins/ring/LegacyZArithRing.vo plugins/ring/Ring_abstract.vo plugins/ring/Ring_normalize.vo plugins/ring/Setoid_ring_normalize.vo plugins/ring/Setoid_ring_theory.vo plugins/ring/Setoid_ring.vo plugins/field/LegacyField_Compl.vo plugins/field/LegacyField_Tactic.vo plugins/field/LegacyField_Theory.vo plugins/field/LegacyField.vo plugins/fourier/Fourier_util.vo plugins/fourier/Fourier.vo plugins/funind/Recdef.vo plugins/rtauto/Bintree.vo plugins/rtauto/Rtauto.vo plugins/setoid_ring/ArithRing.vo plugins/setoid_ring/BinList.vo plugins/setoid_ring/Field_tac.vo plugins/setoid_ring/Field_theory.vo plugins/setoid_ring/Field.vo plugins/setoid_ring/InitialRing.vo plugins/setoid_ring/NArithRing.vo plugins/setoid_ring/RealField.vo plugins/setoid_ring/Ring_base.vo plugins/setoid_ring/Ring_equiv.vo plugins/setoid_ring/Ring_polynom.vo plugins/setoid_ring/Ring_tac.vo plugins/setoid_ring/Ring_theory.vo plugins/setoid_ring/Ring.vo plugins/setoid_ring/ZArithRing.vo plugins/dp/Dp.vo plugins/quote/Quote.vo plugins/nsatz/Nsatz.vo plugins/extraction/ExtrOcamlBasic.vo plugins/extraction/ExtrOcamlIntConv.vo plugins/extraction/ExtrOcamlBigIntConv.vo plugins/extraction/ExtrOcamlNatInt.vo plugins/extraction/ExtrOcamlNatBigInt.vo plugins/extraction/ExtrOcamlZInt.vo plugins/extraction/ExtrOcamlZBigInt.vo plugins/extraction/ExtrOcamlString.vo plugins/omega/omega_plugin.cma plugins/romega/romega_plugin.cma plugins/micromega/micromega_plugin.cma plugins/quote/quote_plugin.cma plugins/ring/ring_plugin.cma plugins/setoid_ring/newring_plugin.cma plugins/dp/dp_plugin.cma plugins/field/field_plugin.cma plugins/fourier/fourier_plugin.cma plugins/extraction/extraction_plugin.cma plugins/xml/xml_plugin.cma plugins/cc/cc_plugin.cma plugins/firstorder/ground_plugin.cma plugins/subtac/subtac_plugin.cma plugins/rtauto/rtauto_plugin.cma plugins/funind/recdef_plugin.cma plugins/nsatz/nsatz_plugin.cma plugins/syntax/nat_syntax_plugin.cma plugins/syntax/z_syntax_plugin.cma plugins/syntax/numbers_syntax_plugin.cma plugins/syntax/r_syntax_plugin.cma plugins/syntax/ascii_syntax_plugin.cma plugins/syntax/string_syntax_plugin.cma plugins/omega/omega_plugin.cmxs plugins/romega/romega_plugin.cmxs plugins/micromega/micromega_plugin.cmxs plugins/quote/quote_plugin.cmxs plugins/ring/ring_plugin.cmxs plugins/setoid_ring/newring_plugin.cmxs plugins/dp/dp_plugin.cmxs plugins/field/field_plugin.cmxs plugins/fourier/fourier_plugin.cmxs plugins/extraction/extraction_plugin.cmxs plugins/xml/xml_plugin.cmxs plugins/cc/cc_plugin.cmxs plugins/firstorder/ground_plugin.cmxs plugins/subtac/subtac_plugin.cmxs plugins/rtauto/rtauto_plugin.cmxs plugins/funind/recdef_plugin.cmxs plugins/nsatz/nsatz_plugin.cmxs plugins/syntax/nat_syntax_plugin.cmxs plugins/syntax/z_syntax_plugin.cmxs plugins/syntax/numbers_syntax_plugin.cmxs plugins/syntax/r_syntax_plugin.cmxs plugins/syntax/ascii_syntax_plugin.cmxs plugins/syntax/string_syntax_plugin.cmxs install -d "/tmp/pkgsrc/lang/coq/work/.destdir/usr/pkg/lib/coq"/states install -m 644 states/*.coq "/tmp/pkgsrc/lang/coq/work/.destdir/usr/pkg/lib/coq"/states install -d "/tmp/pkgsrc/lang/coq/work/.destdir/usr/pkg/lib/coq"/user-contrib install -m 644 kernel/byterun/dllcoqrun.so "/tmp/pkgsrc/lang/coq/work/.destdir/usr/pkg/lib/coq" ./install.sh "/tmp/pkgsrc/lang/coq/work/.destdir/usr/pkg/lib/coq" config/coq_config.cmo config/coq_config.cmo lib/lib.cma kernel/kernel.cma library/library.cma pretyping/pretyping.cma interp/interp.cma proofs/proofs.cma parsing/parsing.cma tactics/tactics.cma toplevel/toplevel.cma parsing/highparsing.cma tactics/hightactics.cma parsing/grammar.cma # reconstitute the list of core .cmi ./install.sh "/tmp/pkgsrc/lang/coq/work/.destdir/usr/pkg/lib/coq" config/coq_config.cmi \ `cat lib/lib.mllib.d kernel/kernel.mllib.d library/library.mllib.d pretyping/pretyping.mllib.d interp/interp.mllib.d proofs/proofs.mllib.d parsing/parsing.mllib.d tactics/tactics.mllib.d toplevel/toplevel.mllib.d parsing/highparsing.mllib.d tactics/hightactics.mllib.d plugins/omega/omega_plugin.mllib.d plugins/romega/romega_plugin.mllib.d plugins/micromega/micromega_plugin.mllib.d plugins/quote/quote_plugin.mllib.d plugins/ring/ring_plugin.mllib.d plugins/setoid_ring/newring_plugin.mllib.d plugins/dp/dp_plugin.mllib.d plugins/field/field_plugin.mllib.d plugins/fourier/fourier_plugin.mllib.d plugins/extraction/extraction_plugin.mllib.d plugins/xml/xml_plugin.mllib.d plugins/cc/cc_plugin.mllib.d plugins/firstorder/ground_plugin.mllib.d plugins/subtac/subtac_plugin.mllib.d plugins/rtauto/rtauto_plugin.mllib.d plugins/funind/recdef_plugin.mllib.d plugins/nsatz/nsatz_plugin.mllib.d plugins/syntax/nat_syntax_plugin.mllib.d plugins/syntax/z_syntax_plugin.mllib.d plugins/syntax/numbers_syntax_plugin.mllib.d plugins/syntax/r_syntax_plugin.mllib.d plugins/syntax/ascii_syntax_plugin.mllib.d plugins/syntax/string_syntax_plugin.mllib.d | tr ' ' '\n' | sed -n -e "/\.cmo/s/\.cmo/\.cmi/p"` install -m 644 kernel/byterun/libcoqrun.a "/tmp/pkgsrc/lang/coq/work/.destdir/usr/pkg/lib/coq" ./install.sh "/tmp/pkgsrc/lang/coq/work/.destdir/usr/pkg/lib/coq" config/coq_config.cmx config/coq_config.o config/coq_config.cmo lib/lib.cmxa kernel/kernel.cmxa library/library.cmxa pretyping/pretyping.cmxa interp/interp.cmxa proofs/proofs.cmxa parsing/parsing.cmxa tactics/tactics.cmxa toplevel/toplevel.cmxa parsing/highparsing.cmxa tactics/hightactics.cmxa config/coq_config.cmo lib/lib.a kernel/kernel.a library/library.a pretyping/pretyping.a interp/interp.a proofs/proofs.a parsing/parsing.a tactics/tactics.a toplevel/toplevel.a parsing/highparsing.a tactics/hightactics.a plugins/omega/omega_plugin.cmxa plugins/romega/romega_plugin.cmxa plugins/micromega/micromega_plugin.cmxa plugins/quote/quote_plugin.cmxa plugins/ring/ring_plugin.cmxa plugins/setoid_ring/newring_plugin.cmxa plugins/dp/dp_plugin.cmxa plugins/field/field_plugin.cmxa plugins/fourier/fourier_plugin.cmxa plugins/extraction/extraction_plugin.cmxa plugins/xml/xml_plugin.cmxa plugins/cc/cc_plugin.cmxa plugins/firstorder/ground_plugin.cmxa plugins/subtac/subtac_plugin.cmxa plugins/rtauto/rtauto_plugin.cmxa plugins/funind/recdef_plugin.cmxa plugins/nsatz/nsatz_plugin.cmxa plugins/syntax/nat_syntax_plugin.cmxa plugins/syntax/z_syntax_plugin.cmxa plugins/syntax/numbers_syntax_plugin.cmxa plugins/syntax/r_syntax_plugin.cmxa plugins/syntax/ascii_syntax_plugin.cmxa plugins/syntax/string_syntax_plugin.cmxa plugins/omega/omega_plugin.a plugins/romega/romega_plugin.a plugins/micromega/micromega_plugin.a plugins/quote/quote_plugin.a plugins/ring/ring_plugin.a plugins/setoid_ring/newring_plugin.a plugins/dp/dp_plugin.a plugins/field/field_plugin.a plugins/fourier/fourier_plugin.a plugins/extraction/extraction_plugin.a plugins/xml/xml_plugin.a plugins/cc/cc_plugin.a plugins/firstorder/ground_plugin.a plugins/subtac/subtac_plugin.a plugins/rtauto/rtauto_plugin.a plugins/funind/recdef_plugin.a plugins/nsatz/nsatz_plugin.a plugins/syntax/nat_syntax_plugin.a plugins/syntax/z_syntax_plugin.a plugins/syntax/numbers_syntax_plugin.a plugins/syntax/r_syntax_plugin.a plugins/syntax/ascii_syntax_plugin.a plugins/syntax/string_syntax_plugin.a install -d "/tmp/pkgsrc/lang/coq/work/.destdir/usr/pkg/lib/coq"/plugins/micromega install plugins/micromega/csdpcert "/tmp/pkgsrc/lang/coq/work/.destdir/usr/pkg/lib/coq"/plugins/micromega install -m 644 revision "/tmp/pkgsrc/lang/coq/work/.destdir/usr/pkg/lib/coq" install: cannot stat `revision': No such file or directory make[1]: [install-library] Error 1 (ignored) Makefile.build:613: warning: undefined variable `OLDROOT' Makefile.build:613: warning: undefined variable `OLDROOT' install -d "/tmp/pkgsrc/lang/coq/work/.destdir/usr/pkg/man"/man1 install -m 644 man/coq-tex.1 man/coqdep.1 man/gallina.1 man/coqc.1 man/coqtop.1 man/coqtop.byte.1 man/coqtop.opt.1 man/coqwc.1 man/coqdoc.1 man/coqide.1 man/coq_makefile.1 man/coqmktop.1 man/coqchk.1 "/tmp/pkgsrc/lang/coq/work/.destdir/usr/pkg/man"/man1 Makefile.build:617: warning: undefined variable `OLDROOT' Makefile.build:617: warning: undefined variable `OLDROOT' install -d "/tmp/pkgsrc/lang/coq/work/.destdir/usr/pkg/share/emacs/site-lisp" install -m 644 tools/coq-db.el tools/coq-font-lock.el tools/coq-syntax.el tools/coq.el tools/coq-inferior.el "/tmp/pkgsrc/lang/coq/work/.destdir/usr/pkg/share/emacs/site-lisp" Makefile.build:624: warning: undefined variable `OLDROOT' Makefile.build:624: warning: undefined variable `OLDROOT' install -d "/tmp/pkgsrc/lang/coq/work/.destdir/usr/pkg/share/emacs/site-lisp" install -m 644 tools/coqdoc/coqdoc.sty "/tmp/pkgsrc/lang/coq/work/.destdir/usr/pkg/share/emacs/site-lisp" Makefile.build:336: warning: undefined variable `OLDROOT' Makefile.build:336: warning: undefined variable `OLDROOT' install -d "/tmp/pkgsrc/lang/coq/work/.destdir/usr/pkg/lib/coq"/ide install -m 644 ide/coq.png ide/.coqide-gtk2rc "/tmp/pkgsrc/lang/coq/work/.destdir/usr/pkg/lib/coq"/ide Makefile.build:340: warning: undefined variable `OLDROOT' Makefile.build:340: warning: undefined variable `OLDROOT' install -d "/tmp/pkgsrc/lang/coq/work/.destdir/usr/pkg/lib/coq"/ide install -m 644 ide/FAQ "/tmp/pkgsrc/lang/coq/work/.destdir/usr/pkg/lib/coq"/ide make[1]: Leaving directory `/tmp/pkgsrc/lang/coq/work/coq-8.3pl1' => Automatic manual page handling => Generating post-install file lists /tmp/pkgsrc/lang/coq/work/.destdir/usr/pkg/lib/coq/dllcoqrun.so: installed without execute permission; fixing (should use [BSD_]INSTALL_LIB) pkg_create: can't stat `/tmp/pkgsrc/lang/coq/work/.destdir/usr/pkg/share/man/man1/coqtop.opt.1.gz' pkg_create: can't stat `/tmp/pkgsrc/lang/coq/work/.destdir/usr/pkg/share/man/man1/coq-tex.1.gz' pkg_create: can't stat `/tmp/pkgsrc/lang/coq/work/.destdir/usr/pkg/share/man/man1/coq_makefile.1.gz' pkg_create: can't stat `/tmp/pkgsrc/lang/coq/work/.destdir/usr/pkg/share/man/man1/coqc.1.gz' pkg_create: can't stat `/tmp/pkgsrc/lang/coq/work/.destdir/usr/pkg/share/man/man1/coqchk.1.gz' pkg_create: can't stat `/tmp/pkgsrc/lang/coq/work/.destdir/usr/pkg/share/man/man1/coqdep.1.gz' pkg_create: can't stat `/tmp/pkgsrc/lang/coq/work/.destdir/usr/pkg/share/man/man1/coqdoc.1.gz' pkg_create: can't stat `/tmp/pkgsrc/lang/coq/work/.destdir/usr/pkg/share/man/man1/coqide.1.gz' pkg_create: can't stat `/tmp/pkgsrc/lang/coq/work/.destdir/usr/pkg/share/man/man1/coqmktop.1.gz' pkg_create: can't stat `/tmp/pkgsrc/lang/coq/work/.destdir/usr/pkg/share/man/man1/coqtop.1.gz' pkg_create: can't stat `/tmp/pkgsrc/lang/coq/work/.destdir/usr/pkg/share/man/man1/coqtop.byte.1.gz' pkg_create: can't stat `/tmp/pkgsrc/lang/coq/work/.destdir/usr/pkg/share/man/man1/coqwc.1.gz' pkg_create: can't stat `/tmp/pkgsrc/lang/coq/work/.destdir/usr/pkg/share/man/man1/gallina.1.gz' => Checking file-check results for coq-8.3pl1nb8 ERROR: ************************************************************ ERROR: The following files are in the PLIST but not in /usr/pkg: ERROR: /tmp/pkgsrc/lang/coq/work/.destdir/usr/pkg/share/man/man1/coq-tex.1.gz ERROR: /tmp/pkgsrc/lang/coq/work/.destdir/usr/pkg/share/man/man1/coq_makefile.1.gz ERROR: /tmp/pkgsrc/lang/coq/work/.destdir/usr/pkg/share/man/man1/coqc.1.gz ERROR: /tmp/pkgsrc/lang/coq/work/.destdir/usr/pkg/share/man/man1/coqchk.1.gz ERROR: /tmp/pkgsrc/lang/coq/work/.destdir/usr/pkg/share/man/man1/coqdep.1.gz ERROR: /tmp/pkgsrc/lang/coq/work/.destdir/usr/pkg/share/man/man1/coqdoc.1.gz ERROR: /tmp/pkgsrc/lang/coq/work/.destdir/usr/pkg/share/man/man1/coqide.1.gz ERROR: /tmp/pkgsrc/lang/coq/work/.destdir/usr/pkg/share/man/man1/coqmktop.1.gz ERROR: /tmp/pkgsrc/lang/coq/work/.destdir/usr/pkg/share/man/man1/coqtop.1.gz ERROR: /tmp/pkgsrc/lang/coq/work/.destdir/usr/pkg/share/man/man1/coqtop.byte.1.gz ERROR: /tmp/pkgsrc/lang/coq/work/.destdir/usr/pkg/share/man/man1/coqtop.opt.1.gz ERROR: /tmp/pkgsrc/lang/coq/work/.destdir/usr/pkg/share/man/man1/coqwc.1.gz ERROR: /tmp/pkgsrc/lang/coq/work/.destdir/usr/pkg/share/man/man1/gallina.1.gz ERROR: ************************************************************ ERROR: The following files are in /usr/pkg but not in the PLIST: ERROR: /tmp/pkgsrc/lang/coq/work/.destdir/usr/pkg/man/man1/coq-tex.1 ERROR: /tmp/pkgsrc/lang/coq/work/.destdir/usr/pkg/man/man1/coq_makefile.1 ERROR: /tmp/pkgsrc/lang/coq/work/.destdir/usr/pkg/man/man1/coqc.1 ERROR: /tmp/pkgsrc/lang/coq/work/.destdir/usr/pkg/man/man1/coqchk.1 ERROR: /tmp/pkgsrc/lang/coq/work/.destdir/usr/pkg/man/man1/coqdep.1 ERROR: /tmp/pkgsrc/lang/coq/work/.destdir/usr/pkg/man/man1/coqdoc.1 ERROR: /tmp/pkgsrc/lang/coq/work/.destdir/usr/pkg/man/man1/coqide.1 ERROR: /tmp/pkgsrc/lang/coq/work/.destdir/usr/pkg/man/man1/coqmktop.1 ERROR: /tmp/pkgsrc/lang/coq/work/.destdir/usr/pkg/man/man1/coqtop.1 ERROR: /tmp/pkgsrc/lang/coq/work/.destdir/usr/pkg/man/man1/coqtop.byte.1 ERROR: /tmp/pkgsrc/lang/coq/work/.destdir/usr/pkg/man/man1/coqtop.opt.1 ERROR: /tmp/pkgsrc/lang/coq/work/.destdir/usr/pkg/man/man1/coqwc.1 ERROR: /tmp/pkgsrc/lang/coq/work/.destdir/usr/pkg/man/man1/gallina.1 *** Error code 1 Stop. bmake: stopped in /usr/pkgsrc/lang/coq *** Error code 1 Stop. bmake: stopped in /usr/pkgsrc/lang/coq