shipping executables

[atiti]

{{{

!html

Reply to: Dermot Cochran }}} {{{

Begin forwarded message:

From: Joseph Kiniry kiniry@acm.org Date: February 5, 2008 9:24:26 AM GMT+00:00 To: Ian.Stark@ed.ac.uk Cc: Dermot Cochran Dermot.Cochran@ucd.ie, Robby Robby
robby@ksu.edu Subject: Re: several messages

This sounds like a problem with shipping executables to me. Dermot
is looking into it I'm sure.

Joe

On 1 Feb, 2008, at 16:55, Ian.Stark@ed.ac.uk wrote:

On Fri, 1 Feb 2008, Dermot Cochran wrote:

Which version of linux were you using? I built and tested the
linux version of Simplify on Fedora.

stark@colinsburgh ~ $ uname -a Linux colinsburgh.inf.ed.ac.uk 2.6.20-1.2962_FC6_dice_1.1 #1 SMP
Fri Jul 6 16:56:28 BST 2007 i686 i686 i386 GNU/Linux

It's Fedora Core 6. The acronym "dice" here refers to our
departmental computing environment.

Ironically, I've now had the same problem on an entirely different
Windows XP machine --- the version coming with the ESC/Java2
plugin didn't work for me, but a version (same number) taken from
Key did.

On Jan 30, 2008, at 8:59 PM, Ian.Stark@ed.ac.uk wrote:

Eclipse 3.3 seems essential (which is fine, but our default student installation here happened to be 3.2).

The dependency on Eclipse 3.3 is accidental, due to use of an
eclipse plugin infrastructure which happened to be at version 3.3.

Fair enough, just needs documenting somewhere.

Incidentally, using it in the course is now going just fine,
thanks for the tool.

Ian

Ian Stark http://www.inf.ed.ac.uk/~stark LFCS, School of Informatics, The University of Edinburgh, Scotland

Dermot Cochran Dermot.Cochran@ucd.ie Systems Research Group School of Computer Science & Informatics UCD CASL 8 Belfield Office Park Clonskeagh Dublin 4, Ireland Tel: +353-1-716-5349

}}}

[atiti]

From: Dermot Cochran (GH: None) Date: Tue Feb 5 11:32:09 2008

added mailto line

This message has 1 attachment(s)

[atiti]

From: kiniry (GH: kiniry) Date: Tue Aug 25 15:44:48 2009

Duplicate of #461.