Hello,
after the latest update (3.11 branch), app-coq failed to install on my
Mac OS X (Leopard) machine.
It seems the coq itself was compiled successfully, the problem appears
to be generation of Library.pdf file (the strange part is that the
Library.pdf file was actually generated, with some warnings).
Below is what I've got.
Any ideas why it could happen?
Thanks,
-- Valentyn.
....
(many warnings like 4 below)
...
> ! pdfTeX warning (dest):
name{coq:Coq.Logic.ClassicalFacts.boolPind} has been
r (file Library.tex)
> eferenced but does not exist, replaced by a fixed one
> ! pdfTeX warning (dest):
name{coq:Coq.Logic.Eqdep.EqdepTheory.injpairT2} has
be (file Library.tex)
> en referenced but does not exist, replaced by a fixed one
> ! pdfTeX warning (dest):
name{coq:Coq.Logic.Eqdep.EqdepTheory.injpair2} has b
ee (file Library.tex)
> n referenced but does not exist, replaced by a fixed one
> ! pdfTeX warning (dest):
name{coq:Coq.Logic.Eqdep.EqdepTheory.eqdepeq} has be
---------------------------------------------------------------
(more)----------
[p]rev [n]ext [s]ave protocol [h]elp e[x]it menu
>
+
-----------------------------------------------------------------------------+
| GODI
Console |
+
-----------------------------------------------------------------------------+
renced but does not exist, replaced by a fixed one
</sw/var/lib/texmf/fonts/pk/ljfour/jknappen/ec/ecbx1200.600pk></sw/
share/texmf
-dist/fonts/type1/bluesky/cm/cmr8.pfb> </sw/var/lib/texmf/fonts/pk/
ljfour/jknap
pen/ec/ecsl1095.600pk> </sw/var/lib/texmf/fonts/pk/ljfour/jknappen/ec/
ecbi1440.
600pk> </sw/var/lib/texmf/fonts/pk/ljfour/jknappen/ec/ecss1095.600pk></
sw/share
/texmf-dist/fonts/type1/bluesky/cm/cmr10.pfb> </sw/var/lib/texmf/fonts/
pk/ljfou
r/jknappen/ec/ecti1095.600pk> </sw/var/lib/texmf/fonts/pk/ljfour/
jknappen/ec/ec
bx2074.600pk> </sw/var/lib/texmf/fonts/pk/ljfour/jknappen/ec/
ectt1095.600pk> </
sw/var/lib/texmf/fonts/pk/ljfour/jknappen/ec/ecbx1095.600pk> </sw/var/
lib/texmf
/fonts/pk/ljfour/jknappen/ec/eccc1095.600pk></sw/share/texmf-dist/
fonts/type1/b
luesky/cm/cmsy10.pfb> </sw/var/lib/texmf/fonts/pk/ljfour/jknappen/ec/
ecrm1095.6
00pk> </sw/var/lib/texmf/fonts/pk/ljfour/jknappen/ec/ecrm0900.600pk> </
sw/var/l
ib/texmf/fonts/pk/ljfour/jknappen/ec/ecrm0600.600pk> </sw/var/lib/
texmf/fonts/p
k/ljfour/jknappen/ec/ecrm1000.600pk> </sw/var/lib/texmf/fonts/pk/
ljfour/jknappe
n/ec/ecbx1440.600pk> </sw/var/lib/texmf/fonts/pk/ljfour/jknappen/ec/
ecbx2488.60
0pk>
Output written on Library.pdf (139 pages, 1568698 bytes).
make[8]: *** [doc/stdlib/Library.pdf] Error 1
make[7]: *** [world] Error 2
Error: Exec error: File /opt/local/godi/build/apps/apps-coq/./../../mk/
bsd.pkg.mk, line 1039: Command returned with non-zero exit code
Error: Exec error: File /opt/local/godi/build/apps/apps-coq/./../../mk/
bsd.pkg.mk, line 1378: Command returned with non-zero exit code
_______________________________________________
Godi-list mailing list
Godi-list@ocaml-programming.de
https://godirepo.camlcity.org/mailman/listinfo/godi-list
