Re: [isabelle] Isabelle2008 - Can't rebuild Simpl any longer



Hi George,

sorry it took a while, but the AFP is now updated (see separate announcement).

If you download the current version of Simpl, it should now build normally with Isabelle2008.

Cheers,
Gerwin

George Karabotsos wrote:
Hello,

I have just installed Isabelle2008 with Poly/ML 5.1 - downloading Simpl (http://afp.sourceforge.net/entries/Simpl.shtml) and trying to rebuild it gives me the following error:

(30)@kalamata/home/karabot/dev/Isabelle/Simpl > isatool usedir -b HOL simpl
Building simpl ...
simpl FAILED
(see also /home/karabot/isabelle/heaps/Isabelle2008/polyml-5.1_x86-linux/log/simpl)

### "?\<Gamma>\<turnstile> \<langle>?c,Fault ?f\<rangle> \<Rightarrow> Fault ?f"
### Ignoring duplicate introduction (intro)
### "?\<Gamma>\<turnstile> \<langle>?c,Stuck\<rangle> \<Rightarrow> Stuck"
### Ignoring duplicate introduction (intro)
### "?\<Gamma>\<turnstile> \<langle>?c,Abrupt
### ?s\<rangle> \<Rightarrow> Abrupt ?s"
*** Duplicate fact "Semantic.exec_Call_body"
*** At command "done" (line 428 of "/home/karabot/dev/Isabelle/Simpl/Semantic.thy").
Exception- TOPLEVEL_ERROR raised
*** exception Fail raised: ML error

Here's some additional information on my system:
 > uname -a
Linux kalamata 2.6.25.4 #2 SMP Thu May 15 18:20:32 EDT 2008 i686 Intel(R) Pentium(R) D CPU 3.40GHz GenuineIntel GNU/Linux

TIA,

George






This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.