Email Gateway (Aug 18 2022 at 16:52): Email Gateway (Aug 18 2022 at 16:52):From: Matej Urbas <mu232@cam.ac.uk>
Hi all,
I made some notes about 'building Isabelle on Fedora from stock
dependencies' and I thought it wouldn't hurt to share (see attachments).
Ignore this if there is a better guide around (or if there is a better
way of doing it in general).
Caveat 1: The current version of poly in Fedora 14 is 5.2.
Caveat 2: You might still have to download latest Scala (for older
Fedora versions; for example, it doesn't build on Fedora 11).
Best,
Matej
IsabelleBuildGuide
signature.asc
Email Gateway (Aug 18 2022 at 16:52):From: Alexander Krauss <krauss@in.tum.de>
Matej Urbas wrote:
I made some notes about 'building Isabelle on Fedora from stock
dependencies' and I thought it wouldn't hurt to share (see attachments).Ignore this if there is a better guide around (or if there is a better
way of doing it in general).
Some warnings are appropriate here.
hg clone http://isabelle.in.tum.de/repos/isabelle Isabelle
This gives you an arbitrary development version, which is basically
unsupported and may be broken. For anybody but developers, this is a
very bad idea.
Edit 'Isabelle/etc/settings' to include this:
This file isn't supposed to be edited (and the comment on top of it says
so quite clearly). If you need special settings, put them into
~/.isabelle/etc/settings.
cvs -d :pserver:anon@cvs.inf.ed.ac.uk:/disk/cvs/proofgen login && cvs -d :pserver:anon@cvs.inf.ed.ac.uk:/disk/cvs/proofgen checkout ProofGeneral
Same here. You get an unknown development version, which hasn't been
tested to work properly with Isabelle.
export PROOFGENERAL_HOME="$(pwd)"
the idea of settings like PROOFGENERAL_HOME is that you put them into
.isabelle/etc/settings, instead of a generic environment.
sed --in-place=".backup.$(date '+%Y-%m-%d-%H-%M-%S')" "s|\[ -z \"\$PROOFGENERAL_HOME\" \].*|PROOFGENERAL_HOME=\"$PROOFGENERAL_HOME\"|" lib/Tools/emacs
Not sure what this is for, but the scripts in lib/ are certainly not for
editing. Even if it happens to work, you get a big mess if you have to
update your Isabelle at some point.
In summary, I cannot really recommend following this guide.
Alex
Email Gateway (Aug 18 2022 at 16:52):From: Makarius <makarius@sketis.net>
How about the official Isabelle download page? This is isabelle-users so
it by definition about official end-user releases of Isabelle.
Anybody with spare energies for script hacking and tinkering with system
configuration is invited to join the isabelle-dev mailing list. Right now
we are in the last phase of testing for the next official release. Even
though we've already spent 2 full weeks just refinining and testing the
final packaging there are still some issues to be isolated in the next
couple of days.
Makarius
Last updated: Nov 21 2024 at 12:39 UTC