Am 20.08.2012 13:49:10 schrieb(en) Charles D:
Hi,
I'm using GODI to compile Coq, and I'm running into some issues due
to a change in the latest Camlp5 and a bug in my old version of Coq,
which prevents my Coq version from compiling.
The "standard" solution would be to upgrade Coq (from 8.3pl2 to
8.3pl4), use the latest Campl5 and everything should work. However,
my Coq theories might break if I do this, and I have little time to
upgrade Coq, repair them, etc.
What I'd like to do is: get an old version of Camlp5 (6.05 should be
fine), downgrade my GODI Camlp5, and then compile Coq 8.3pl2.
Apparently it's possible to do this "by hand", but since I wasn't
using GODI at the time, I have no such "godi-camlp5-6.05.tgz"
locally, and I can't find it on the web. Supposing such a file has
existed in the past, could someone please tell me:
a) where to get it;
b) if this might actually work? If not, would the "standard" Camlp5
6.05 file work with my current GODI Ocaml?
Let me answer this step by step.
- Is it possible to downgrade GODI packages?
Well, it's a delicate operation. First, you have to find a
combination
of package versions that work together. Second, you need two things:
- The build instructions (suffix .build.tgz) ("buildfile")
- The original tarball with the software ("distfile")
Put the distfile into <prefix>/build/distfiles.
Remove the old build instructions from
<prefix>/build/{conf,godi,apps}.
Unpack the build.tgz in <prefix>/build/{conf,godi,apps}.
Now you can build it. DO NOT CALL ANY OPERATION THAT HAS "UPDATE"
IN ITS NAME FROM NOW ON.
- From where can I get the buildfile?
Since recently, there are archives:
http://godi-backup2.camlcity.org/godi-build-all/
For packages older than ~June 2012, the only way to get
them is to extract them from svn, and unfortunately, there
is no easy way to do this (i.e. there is no log file that
connects svn revisions with releases, and you need to interpret
the svn log to reconstruct this information). The svn URL is
https://godirepo.camlcity.org/svn/godi-build/, and for the
web interface use
https://godirepo.camlcity.org/wwwsvn/?root=godi-build
E.g. the logs for camlp5:
https://godirepo.camlcity.org/wwwsvn/trunk/godi/godi-camlp5/Makefile
Revision 3145 is the version 5.15, preceding 6.06.
- From where can I get the distfiles?
If the auto-download does not work, get them from here:
http://godi-backup2.camlcity.org/godi-backup-all/
This directory is complete (all distfiles since 2004).
Btw, as there is no distfile for camlp5-6.05, we can see that
this version was never released via GODI.
- Can I manually install libraries and tools?
Yes. So you can install camlp5 yourself. The problem, however,
is to tell coq to use it, if you want to install coq by GODI
package. There is no good solution yet for such "mixed" installs.
If you install both camlp5 and coq yourself, this will work, of
course.
Hope this helps.
Gerd
Regards,
Charles
_______________________________________________
Godi-list mailing list
Godi-list@ocaml-programming.de
https://godirepo.camlcity.org/mailman/listinfo/godi-list
--
------------------------------------------------------------
Gerd Stolpmann, Darmstadt, Germany g...@gerd-stolpmann.de
Creator of GODI and camlcity.org.
Contact details: http://www.camlcity.org/contact.html
Company homepage: http://www.gerd-stolpmann.de
------------------------------------------------------------
_______________________________________________
Godi-list mailing list
Godi-list@ocaml-programming.de
https://godirepo.camlcity.org/mailman/listinfo/godi-list
