Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] Build Isabelle from stock dependencies (Fedora...


view this post on Zulip 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

view this post on Zulip 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

view this post on Zulip 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: Mar 29 2024 at 08:18 UTC